Follow
Gwen Salaün
Gwen Salaün
Université Grenoble Alpes, LIG, Inria
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Describing and reasoning on web services using process algebra
G Salaun, L Bordeaux, M Schaerf
International Journal of Business Process Integration and Management 1 (2 …, 2006
4722006
When are two web services compatible?
L Bordeaux, G Salaün, D Berardi, M Mecella
Technologies for E-Services: 5th International Workshop, TES 2004, Toronto …, 2005
3122005
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
IEEE Transactions on Software Engineering 34 (4), 546-563, 2008
1952008
Adaptation of service protocols using process algebra and on-the-fly reduction techniques
R Mateescu, P Poizat, G Salaün
IEEE Transactions on Software Engineering 38 (4), 755-777, 2011
1932011
Checking the realizability of BPMN 2.0 choreographies
P Poizat, G Salaün
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1927-1934, 2012
962012
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
852009
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006
802006
Realizability of choreographies using process algebra encodings
G Salaün, T Bultan, N Roohi
IEEE Transactions on Services Computing 5 (3), 290-304, 2011
772011
Realizability of choreographies using process algebra encodings
G Salaün, T Bultan
Integrated Formal Methods, 167-182, 2009
662009
Negotiation among web services using LOTOS/CADP
G Salaün, A Ferrara, A Chirichiello
Web Services: European Conference, ECOWS 2004, Erfurt, Germany, September 27 …, 2004
612004
A model-based approach to the verification and adaptation of WF/. NET components
J Cubo, G Salaün, C Canal, E Pimentel, P Poizat
Electronic Notes in Theoretical Computer Science 215, 39-55, 2008
562008
Behavioral adaptation of component compositions based on process algebra encodings
R Mateescu, P Poizat, G Salaün
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
562007
Counterexample guided synthesis of monitors for realizability enforcement
M Güdemann, G Salaün, M Ouederni
Automated Technology for Verification and Analysis: 10th International …, 2012
512012
Using process algebra for web services: Early results and perspectives
L Bordeaux, G Salaün
Technologies for E-Services: 5th International Workshop, TES 2004, Toronto …, 2005
482005
Generation of service wrapper protocols from choreography specifications
G Salaün
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
442008
Formal verification of CHP specifications with CADP illustration on an asynchronous network-on-chip
G Salaun, W Serwe, Y Thonnart, P Vivet
13th IEEE International Symposium on Asynchronous Circuits and Systems …, 2007
422007
Resilience of stateful IoT applications in a dynamic fog environment
U Ozeer, X Etchevers, L Letondeur, FG Ottogalli, G Salaün, JM Vincent
Proceedings of the 15th EAI International Conference on Mobile and …, 2018
402018
VerChor: a framework for the design and verification of choreographies
M Güdemann, P Poizat, G Salaün, L Ye
IEEE Transactions on Services Computing 9 (4), 647-660, 2015
402015
Adaptation of open component-based systems
P Poizat, G Salaün
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007
392007
Encoding abstract descriptions into executable web services: Towards a formal development
A Chirichiello, G Salaun
The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05 …, 2005
392005
The system can't perform the operation now. Try again later.
Articles 1–20