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
4322006
When are two web services compatible?
L Bordeaux, G SalaŁn, D Berardi, M Mecella
International Workshop on Technologies for E-Services, 15-28, 2004
2812004
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G SalaŁn
IEEE Transactions on Software Engineering 34 (4), 546-563, 2008
1772008
Adaptation of service protocols using process algebra and on-the-fly reduction techniques
R Mateescu, P Poizat, G SalaŁn
International Conference on Service-Oriented Computing, 84-99, 2008
1032008
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J CŠmara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
802009
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
782011
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G SalaŁn
International Conference on Formal Methods for Open Object-Based Distributed†…, 2006
772006
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
722012
Realizability of choreographies using process algebra encodings
G SalaŁn, T Bultan, N Roohi
IEEE Transactions on Services Computing 5 (3), 290-304, 2011
602011
Realizability of choreographies using process algebra encodings
G SalaŁn, T Bultan
Integrated Formal Methods, 167-182, 2009
572009
Negotiation among web services using LOTOS/CADP
G SalaŁn, A Ferrara, A Chirichiello
European conference on web services, 198-212, 2004
562004
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
512008
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
502007
Generation of service wrapper protocols from choreography specifications
G SalaŁn
2008 Sixth IEEE International Conference on Software Engineering and Formal†…, 2008
442008
Counterexample guided synthesis of monitors for realizability enforcement
M GŁdemann, G SalaŁn, M Ouederni
International Symposium on Automated Technology for Verification and†…, 2012
412012
Using process algebra for web services: Early results and perspectives
L Bordeaux, G SalaŁn
International Workshop on Technologies for E-Services, 54-68, 2004
402004
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
392007
Adaptation of open component-based systems
P Poizat, G SalaŁn
International Conference on Formal Methods for Open Object-Based Distributed†…, 2007
382007
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
G SalaŁn, X Etchevers, N De Palma, F Boyer, T Coupaye
Assurances for Self-Adaptive Systems, 60-79, 2013
352013
A formal framework for structural reconfiguration of components under behavioural adaptation
A Cansado, C Canal, G SalaŁn, J Cubo
Electronic Notes in Theoretical Computer Science 263, 95-110, 2010
352010
The system can't perform the operation now. Try again later.
Articles 1–20