Publications


International Journals


  1. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. Radu Mateescu, Pascal Poizat, Gwen Salaün. IEEE Transactions on Software Engineering. To appear.

  2. Realizability of Choreographies using Process Algebra Encodings. Gwen Salaün, Tevfik Bultan, Nima Roohi. IEEE Transactions on Services Computing. To appear.

  3. Interactive Specification and Verification of Behavioural Adaptation Contracts. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Information and Software Technology, Elsevier. To appear.

  4. A Generic Framework for N-Protocol Compatibility Checking. Francisco Durán, Meriem Ouederni, Gwen Salaün. Science of Computer Programming, Elsevier. To appear.

  5. Structural Reconfiguration of Components under Behavioral Adaptation. Carlos Canal, Javier Cámara, Gwen Salaün. Science of Computer Programming, Elsevier. To appear.

  6. Realizability and Dynamic Reconfiguration of Chor Specifications. Nima Roohi, Gwen Salaün. Informatica, 35(1):39-49, 2011.

  7. Translating FSP into LOTOS and Networks of Automata. Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee. Formal Aspects of Computing, 22(6):681-711, Springer, 2010.

  8. On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP. Hubert Garavel, Gwen Salaün, Wendelin Serwe. Science of Computer Programming, 74(3):100-127, Elsevier, 2009.

  9. Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. Javier Cámara, Gwen Salaün, Carlos Canal. Journal of Universal Computer Science, 14(13):2182-2211, 2008.

  10. Model-Based Adaptation of Behavioural Mismatching Components. Carlos Canal, Pascal Poizat, Gwen Salaün. IEEE Transactions on Software Engineering, 34(4):546-563, 2008.

  11. Encoding Process Algebraic Descriptions of Web Services into BPEL. Antonella Chirichiello, Gwen Salaün. Web Intelligence and Agent Systems, 5(4):419-434, IOS Press, 2007.

  12. A Formal and Tool-equipped Approach for the Integration of State Diagrams and Formal Datatypes. Christian Attiogbé, Pascal Poizat, Gwen Salaün. IEEE Transactions on Software Engineering, 33(3):157-170, 2007.

  13. Describing and Reasoning on Web Services using Process Algebra. Gwen Salaün, Lucas Bordeaux, Marco Schaerf. International Journal on Business Process and Integration Management, 1(2):116-128, 2006.

  14. MIAOw: a Method to Integrate a Process Algebra with Formal Data. Gwen Salaün, Christian Attiogbé. Informatica, 28(2):207-219, 2004.


International Conferences


  1. Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. Gwen Salaün, Xavier Etchevers, Noel de Palma, Fabienne Boyer, Thierry Coupaye. In Proc. of SAC'12, March 2012, Riva del Garda, Italy. To appear.

  2. Checking the Realizability of BPMN 2.0 Choreographies. Pascal Poizat, Gwen Salaün. In Proc. of SAC'12, March 2012, Riva del Garda, Italy. To appear.

  3. Self-configuration of Legacy Distributed Applications in the Cloud. Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel de Palma, Gwen Salaün. In Proc. of UCC'11, December 2011, Melbourne, Australia. To appear.

  4. Realizability of Choreographies for Services Interacting Asynchronously. Gregor Gössler, Gwen Salaün. In Proc. of FACS'11, September 2011, Olso, Norway. To appear.

  5. Client Update: A Solution for Service Evolution. Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. In Proc. of SCC'11, IEEE Computer Society Press, pages 394-401, July 2011, Washington DC, USA.

  6. Specifying and Verifying the Synergy Reconfiguration Protocol with LOTOS NT and CADP. Fabienne Boyer, Olivier Gruber, Gwen Salaün. In Proc. of FM'11, LNCS 6664, Springer, pages 103-117, June 2011, Limerick, Ireland.

  7. Measuring the Compatibility of Service Interaction Protocols. Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. In Proc. of SAC'11, ACM Press, pages 1560-1567, March 2011, TaiChung, Taiwan.

  8. Quantifying Service Compatibility: A Step Beyond the Boolean Approaches. Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. In Proc. of ICSOC'10, LNCS 6470, Springer, pages 619-626, December 2010, San Francisco, USA.

  9. A Case Study in Model-based Adaptation of Web Services. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. In Proc. of ISOLA'10, LNCS 6416, Springer, pages 112-126, October 2010, Amirandes, Heraclion, Crete.

  10. Translating Pi-Calculus into LOTOS NT. Radu Mateescu, Gwen Salaün. In Proc. of IFM'10, LNCS 6396, Springer, pages 229-244, October 2010, Nancy, France.

  11. Interactive Specification and Verification of Behavioural Adaptation Contracts. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. In Proc. of QSIC'09, IEEE Computer Society Press, pages 65-75, August 2009, Jeju, Korea.

  12. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (formal demo paper). Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel. In Proc. of ICSE'09, IEEE Computer Society Press, pages 627-630, May 2009, Vancouver, Canada.

  13. Realizability of Choreographies using Process Algebra Encodings. Gwen Salaün, Tevfik Bultan. In Proc. of IFM'09, LNCS 5423, Springer, pages 167-182, February 2009, Düsseldorf, Germany.

  14. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. Radu Mateescu, Pascal Poizat, Gwen Salaün. In Proc. of ICSOC'08, LNCS 5364, Springer, pages 84-99, December 2008, Sydney, Australia.

  15. Generation of Service Wrapper Protocols from Choreography Specifications. Gwen Salaün. In Proc. of SEFM'08, IEEE Computer Society Press, pages 313-322, November 2008, Cape Town, South Africa.

  16. Clint: A Composition Language Interpreter (tool paper). Javier Cámara, Gwen Salaün, Carlos Canal. In Proc. of FASE'08, LNCS 4961, Springer, pages 423-427, April 2008, Budapest, Hungary.

  17. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. Radu Mateescu, Pascal Poizat, Gwen Salaün. In Proc. of ASE'07, IEEE Computer Society Press, November 2007, Atlanta, USA.

  18. Run-Time Composition and Adaptation of Mismatching Behavioural Transactions. Javier Cámara, Gwen Salaün, Carlos Canal. In Proc. of SEFM'07, IEEE Computer Society Press, pages 381-390, September 2007, London, UK.

  19. Translating FSP into LOTOS and Networks of Automata. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee. In Proc. of IFM'07, LNCS 4591, Springer, pages 558-578, July 2007, Oxford, England.

  20. Adaptation of Open Component-based Systems. Pascal Poizat, Gwen Salaün. In Proc. of FMOODS'07, LNCS 4468, Springer, pages 141-156, June 2007, Paphos, Cyprus.

  21. Context-Based Adaptation of Component Behavioural Interfaces. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel. In Proc. of Coordination'07, LNCS 4467, Springer, pages 305-323, June 2007, Paphos, Cyprus.

  22. Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-Chip. Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet. In Proc. of ASYNC'07, IEEE Computer Society Press, March 2007, Berkeley, California, USA.

  23. Synchronizing Behavioural Mismatch in Software Composition. Carlos Canal, Pascal Poizat, Gwen Salaün. In Proc. of FMOODS'06, LNCS 4037, Springer, pages 63-77, June 2006, Bologna, Italy.

  24. Bounded Analysis and Decomposition for Behavioural Description of Components. Pascal Poizat, Jean-Claude Royer, Gwen Salaün. In Proc. of FMOODS'06, LNCS 4037, Springer, pages 33-47, June 2006, Bologna, Italy.

  25. Translating Hardware Process Algebras into Standard Process Algebras - Illustration with CHP and LOTOS. Gwen Salaün, Wendelin Serwe. In Proc. of IFM'05, LNCS 3771, Springer, pages 287-306, December 2005, Eindhoven, The Netherlands.

  26. Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Antonella Chirichiello, Gwen Salaün. In Proc. of WI'05, IEEE Computer Society Press, pages 457-463, September 2005, Compiègne, France.

  27. Negotiation among Web Services using LOTOS/CADP. Gwen Salaün, Andrea Ferrara, Antonella Chirichiello. In Proc. of ECOWS'04, LNCS 3250, Springer, pages 198-212, September 2004, Erfurt, Germany.

  28. Describing and Reasoning on Web Services using Process Algebra. Gwen Salaün, Lucas Bordeaux, Marco Schaerf. In Proc. of ICWS'04, IEEE Computer Society Press, pages 43-51, July 2004, San Diego, USA. Best paper runners up.

  29. Formalising an Integrated Language in PVS. Gwen Salaün, Christian Attiogbé. In Proc. of ICFEM'03, LNCS 2885, Springer, pages 187-205, November 2003, Singapore.

  30. Integration of Formal Datatypes within State Diagrams. Christian Attiogbé, Pascal Poizat, Gwen Salaün. In Proc. of FASE'03, LNCS 2621, Springer, pages 341-355, April 2003, Warsaw, Poland.

  31. A Method to Combine any Process Algebra with an Algebraic Specification Language: the pi-Calculus Example. Gwen Salaün, Michel Allemand, Christian Attiogbé. In Proc. of COMPSAC'02, IEEE Computer Society Press, pages 385-390, August 2002, Oxford, England.

  32. Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview. Gwen Salaün, Michel Allemand, Christian Attiogbé . In Proc. of APSEC'01, IEEE Computer Society Press, pages 299-302, December 2001, Macau, China.

  33. A Practical Combination of a Process Algebra with an Algebraic Specification Language. Gwen Salaün, Michel Allemand, Christian Attiogbé. In Proc. of PDPTA'01, CSREA Press, pages 73-79, June 2001, Las Vegas, USA.


International Workshops


  1. Analysis and Verification of Service Interaction Protocols - A Brief Survey. Gwen Salaün. In Proc. of TAV-WEB'10, Electronic Proceedings in Theoretical Computer Science Series, vol. 35, pages 75-86, September 2010, Antwerp, Belgium.

  2. Handling Data-Based Concurrency in Context-Aware Service Protocols. Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal. In Proc. of FOCLASA'10, Electronic Proceedings in Theoretical Computer Science Series, vol. 30, pages 62-76, September 2010, Paris, France.

  3. Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability. Meriem Ouederni, Gwen Salaün. In Proc. of WCSI'10, Electronic Proceedings in Theoretical Computer Science Series, vol. 37, pages 57-69, June 2010, Malaga, Spain.

  4. Semi-automatic Specification of Behavioural Service Adaptation Contracts. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. In Proc. of FESCA'10, Electronic Notes in Theoretical Computer Science Series, vol. 264(1), pages 19-34, March 2010, Paphos, Cyprus.

  5. A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo. In Proc. of FACS'09, Electronic Notes in Theoretical Computer Science Series, vol. 263, pages 95-110, November 2009, Eindhoven, the Netherlands.

  6. On Realizability and Dynamic Reconfiguration of Choreographies. Gwen Salaün, Nima Roohi. In Proc. of WASELF-*'09, September 2009, San Sebastian, Spain.

  7. On Behavioural Interfaces and Contracts for Software Adaptation. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. In Proc. of FLACOS'09, September 2009, Toledo, Spain.

  8. A Formal Model and Composition Language for Context-Aware Service Protocols. Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün. In Proc. of CASTA'09, ACM Digital Library, pages 17-20, August 2009, Amsterdam, The Netherlands.

  9. Analyzing Chor Specifications by Translation into FSP. Nima Roohi, Gwen Salaün, Seyyed Hassan Mirian. In Proc. of FOCLASA'09, Electronic Notes in Theoretical Computer Science Series, vol. 255, pages 159-176, July 2009, Rhodes, Greece.

  10. Checking Protocol Compatibility using Maude. Francisco Durán, Meriem Ouederni, Gwen Salaün. In Proc. of FOCLASA'09, Electronic Notes in Theoretical Computer Science Series, vol. 255, pages 65-81, July 2009, Rhodes, Greece.

  11. Behavioural Self-Adaptation of Services in Ubiquitous Computing Environments. Javier Cámara, Carlos Canal, Gwen Salaün. In Proc. of SEAMS'09, IEEE Computer Society Press, pages 28-37, May 2009, Vancouver, Canada.

  12. Towards Self-Adaptation in Dynamic Service Ecosystems. Javier Cámara, Carlos Canal, Gwen Salaün. In Proc. of WASELF-*'08, October 2008, Gijon, Spain.

  13. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. In Proc. of FACS'07, Electronic Notes in Theoretical Computer Science Series, vol. 215, pages 39-55, September 2007, Nice, France.

  14. Multiple Concern Adaptation for Run-Time Composition in Context-Aware Systems. Javier Cámara, Carlos Canal, Gwen Salaün. In Proc. of FACS'07, Electronic Notes in Theoretical Computer Science Series, vol. 215, pages 111-130, September 2007, Nice, France.

  15. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. In Proc. of WCOP'07, July 2007, Berlin, Germany.

  16. On Run-time Behavioural Adaptation in Context-Aware Systems. Javier Cámara, Carlos Canal, Gwen Salaün. In Proc. of M-ADAPT'07, July 2007, Berlin, Germany.

  17. On Dynamic Reconfiguration of Software Adaptations. Pascal Poizat, Gwen Salaün, Massimo Tivoli. In Proc. of WCAT'06, July 2006, Nantes, France.

  18. Formal Development of Web Services. Antonella Chirichiello, Gwen Salaün. In Proc. of AISC'06, September 2006, Trento, Italy.

  19. An Adaptation-based Approach to Incrementally Build Component Systems. Pascal Poizat, Gwen Salaün, Massimo Tivoli. In Proc. of FACS'06, Electronic Notes in Theoretical Computer Science Series, vol. 182, pages 155-170, September 2006, Prague, Czech Republic.

  20. When are 2 Web Services Compatible?. Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella. In Proc. of TES'04, LNCS 3324, Springer, pages 15-28, August 2004, Toronto, Canada.

  21. Using Process Algebra for Web Services: Early Results and Perspectives. Lucas Bordeaux, Gwen Salaün. In Proc. of TES'04, LNCS 3324, Springer, pages 54-68, August 2004, Toronto, Canada.

  22. Formal Methods for Component Description, Coordination and Adaptation. Pascal Poizat, Jean-Claude Royer, Gwen Salaün. In Proc. of WCAT'04, pages 89-100, June 2004, Oslo, Norway.

  23. Interacting Extended State Diagrams. Gwen Salaün, Pascal Poizat. In Proc. of SFEDL'04, Electronic Notes in Theoretical Computer Science Series, vol. 115, pages 49-57, April 2004, Barcelona, Spain.

  24. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. Christian Attiogbé, Pascal Poizat, Gwen Salaün. In Proc. of FMPPTA'03, IEEE Computer Society Press, April 2003, Nice, France.

  25. Foundations for a Combination of Heterogeneous Specification Components. Gwen Salaün, Michel Allemand, Christian Attiogbé. In Proc. of FMCI'02, Electronic Notes in Theoretical Computer Science Series, vol. 66(4), July 2002, Malaga, Spain.

  26. Specification of an Access Control System with a Formalism Combining CCS and CASL. Gwen Salaün, Michel Allemand, Christian Attiogbé. In Proc. of FMPPTA'02, IEEE Computer Society Press, April 2002, Marriott Marina Fort Lauderdale, Florida, USA.

  27. SHE'S Project: a Report of Joint Works on Integration of Formal Specification Techniques. Michel Allemand, Christian Attiogbé, Pascal Poizat, Jean-Claude Royer, Gwen Salaün. In Proc. of INT'02, pages 29-36, April 2002, Grenoble, France.

  28. Formal Combination of the CCS Process Algebra with the CASL Algebraic Specification Language. Gwen Salaün, Michel Allemand, Christian Attiogbé. In Proc. of WADT'01, April 2001, Genova, Italy.