Please check dblp or Google Scholar for full lists of publications.

  1. Models and analysis for user-driven reconfiguration of rule-based IoT applications. Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. Internet of Things, 19, Elsevier, 2022.
  2. Design and Deployment of Expressive and Correct Web of Things Applications. Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. ACM Transactions on Internet of Things, 3(1): 1-30, 2022.
  3. Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. Francisco Durán, Camilo Rocha, Gwen Salaün. J. Log. Algebraic Methods Program., 123, Elsevier, 2021.
  4. Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. Gwen Salaün. Science of Computer Programming, 202, Elsevier, 2021.
  5. Debugging of Behavioural Models using Counterexample Analysis. Gianluca Barbon, Vincent Leroy, Gwen Salaün. IEEE Transactions on Software Engineering, 47(6): 1184-1197, 2021.
  6. F3ARIoT: A Frame- work for Autonomic Resilience of IoT Applications in the Fog. Umar Ozeer, Loic Letondeur, Gwen Salaün, Francois-Gael Ottogalli, Jean-Marc Vincent. Internet of Things Journal, 12, Elsevier, 2020.
  7. A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models. Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming, 183, Elsevier, 2019.
  8. Checking Business Process Evolution. Ajay Krishna, Pascal Poizat, Gwen Salaün. Science of Computer Programming, 170: 1-26, Elsevier, 2019.
  9. Stochastic Analysis of BPMN with Time in Rewriting Logic. Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming, 168: 1-17, Elsevier, 2018.
  10. Automated Verification of Automata Communicating via FIFO and Bag Buffers. Lakhdar Akroun, Gwen Salaün. Formal Methods in System Design, 52(3):260-276, Springer, 2018.
  11. Asynchronous Synthesis Techniques for Coordinating Autonomic Managers in the Cloud. Rim Abid, Gwen Salaün, Noel De Palma. Science of Computer Programming, 146:87-103, Elsevier, 2017.
  12. Reliable Self-deployment of Distributed Cloud Applications. Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel de Palma. Software: Practice and Experience, 47(1):3-20, Wiley, 2017.
  13. Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications. Rim Abid, Gwen Salaün, Noel De Palma. Science of Computer Programming, 117:1-16, Elsevier, 2016.
  14. VerChor: A Framework for the Design and Verification of Choreographies. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. IEEE Transactions on Services Computing, 9(4):647-660, 2016.
  15. Robust and Reliable Reconfiguration of Cloud Applications. Francisco Durán, Gwen Salaün. Journal of Systems and Software, 122:524-537, Elsevier, 2016.
  16. An Experience Report on the Verification of Autonomic Protocols in the Cloud. Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel de Palma, Xavier Etchevers, Olivier Gruber. Innovations in Systems and Software Engineering, Springer, 9(2):105-117, 2013.
  17. Realizability of Choreographies using Process Algebra Encodings. Gwen Salaün, Tevfik Bultan, Nima Roohi. IEEE Transactions on Services Computing, 5(3):290-304, 2012.
  18. Structural Reconfiguration of Components under Behavioral Adaptation. Carlos Canal, Javier Cámara, Gwen Salaün. Science of Computer Programming, 78(1):46-64, Elsevier, 2012.
  19. 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, 38(4):755-777, 2012.
  20. A Generic Framework for N-Protocol Compatibility Checking. Francisco Durán, Meriem Ouederni, Gwen Salaün. Science of Computer Programming, 77(7-8):870-886, Elsevier, 2012.
  21. Interactive Specification and Verification of Behavioural Adaptation Contracts. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Information and Software Technology, 54(7):701-723, Elsevier, 2012.
  22. Realizability and Dynamic Reconfiguration of Chor Specifications. Nima Roohi, Gwen Salaün. Informatica, 35(1):39-49, 2011.
  23. 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.
  24. 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.
  25. 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.
  26. Model-Based Adaptation of Behavioural Mismatching Components. Carlos Canal, Pascal Poizat, Gwen Salaün. IEEE Transactions on Software Engineering, 34(4):546-563, 2008.
  27. 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.
  28. 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.
  29. 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.
  30. MIAOw: a Method to Integrate a Process Algebra with Formal Data. Gwen Salaün, Christian Attiogbé. Informatica, 28(2):207-219, 2004.

  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 Assurances for Self-Adaptive Systems, LNCS 7740, Springer, pages 60-79, 2013.

  1. Probabilistic Model Checking of BPMN Processes at Runtime. Ylies Falcone, Gwen Salaün, Ahang Zuo. In Proc. of IFM'22, LNCS 13274, Springer, pages 191-208, June 2022, Lugano, Switzerland.
  2. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. Francisco Duran, Ylies Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo. In Proc. of WRLA'22, LNCS 13252, Springer, pages 3-21, April 2022, Munchen, Germany.
  3. Counting Bugs in Behavioural Models using Counterexample Analysis. Irman Faqrizal, Gwen Salaün. In Proc. of FORMALISE'22, ACM, pages 12-22, May 2022, Pittsburgh, USA.
  4. Runtime Enforcement with Reordering, Healing, and Suppression. Ylies Falcone, Gwen Salaün. In Proc. of SEFM'21, LNCS 13085, Springer, pages 47-65, December 2021, Virtual Event.
  5. Business Process Models for Analysis of Industrial IoT Applications. Ajay Krishna, Gwen Salaün. In Proc. of IoT'21, ACM, November 2021, St Gallen, Switzerland.
  6. Semi-automated Modelling of Optimized BPMN Processes. Ylies Falcone, Gwen Salaün, Ahang Zuo. In Proc. of SCC'21, IEEE, pages 425-430, September 2021, Virtual Event.
  7. Consistent Substitution of Object in Rule-based IoT Applications. Gwen Salaün. In Proc. of COMPSAC'21, IEEE, pages 1040-1048, July 2021, Virtual Event.
  8. R-MOZART: A Reconfiguration Tool for WebThings Applications. Francisco Duran, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. In Proc. of ICSE'21, ACM/IEEE, pages 41-44, May 2021, Virtual Event.
  9. Seamless Reconfiguration of Rule-based IoT Applications. Francisco Duran, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. In Proc. of SEAMS'21, ACM, pages 142-148, May 2021, Virtual Event.
  10. Clusters of Faulty States for Debugging Behavioural Models. Irman Faqrizal, Gwen Salaün. In Proc. of APSEC'20, IEEE, pages 91-99, December 2020, Virtual Event.
  11. Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. Francisco Duran, Camilo Rocha, Gwen Salaün. In Proc. of WRLA'20, LNCS 12328, Springer, pages 38-56, October 2020, Virtual Event.
  12. Verification of a Failure Management Protocol for Stateful IoT Applications. Umar Ozeer, Gwen Salaün, Loic Letondeur, Francois-Gael Ottogalli, Jean-Marc Vincent. In Proc. of FMICS'20, LNCS 12327, Springer, pages 272-287, September 2020, Virtual Event.
  13. MOZART: Design and Deployment of Advanced IoT Applications. Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün. In Proc. of WWW'20, ACM, pages 163-166, April 2020, Virtual Event.
  14. Automated Composition, Analysis and Deployment of IoT Applications. Francisco Duran, Gwen Salaün, Ajay Krishna. In Proc. of TOOLS'19, LNCS 11771, Springer, pages 252-268, October 2019, Kazan, Russia.
  15. Towards the Resource Allocation Analysis of Business Process using Maude. Francisco Duran, Camilo Rocha, Gwen Salaün. In Proc. of ICSOC'19, LNCS 11895, Springer, pages 452-457, October 2019, Toulouse, France.
  16. Visual Debugging of Behavioural Models. Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah. In Proc. of ICSE'19, ACM, pages 107-110, May 2019, Montreal, Canada.
  17. IoT Composer: Composition and Deployment of IoT Applications. Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün. In Proc. of ICSE'19, ACM, pages 19-22, May 2019, Montreal, Canada.
  18. Rigorous Design and Deployment of IoT Applications. Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün. In Proc. of FORMALISE'19, ACM, pages 21-30, May 2019, Montreal, Canada.
  19. Debugging of Behavioural Models with CLEAR. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of TACAS'19, LNCS 11427, Springer, pages 386-392, April 2019, Prague, Czech Republic.
  20. Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. Umar Ozeer, Loic Letondeur, Francois-Gael Ottogalli, Gwen Salaün, Jean-Marc Vincent. In Proc. of ICIN'19, IEEE, pages 230-232, February 2019, Paris, France.
  21. Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT. Francisco Duran, Camilo Rocha, Gwen Salaün. In Proc. of WRLA'18, LNCS 11152, Springer, pages 76-97, April 2018, Thessaloniki, Greece.
  22. Resilience of Stateful IoT Applications in a Dynamic Fog Environment. Umar Ozeer, Xavier Etchevers, Loic Letondeur, Francois-Gael Ottogalli, Gwen Salaün, Jean-Marc Vincent. In Proc. of MobiQuitous'18, ACM, pages 332-341, November 2018, New York, USA.
  23. Counterexample Simplification for Liveness Property Violation. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of SEFM'18, LNCS 10886, Springer, pages 173-188, June 2018, Toulouse, France.
  24. Automated Analysis of Industrial Workflow-based Models. Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün. In Proc. of SAC'18, ACM Press, pages 120-127, April 2018, Pau, France.
  25. VBPMN: Automated Verification of BPMN Processes. Ajay Krishna, Pascal Poizat, Gwen Salaün. In Proc. of IFM'17, LNCS 10510, Springer, pages 323-331, September 2017, Torino, Italy.
  26. Verifying Timed BPMN Processes using Maude. Francisco Duran, Gwen Salaün. In Proc. of COORDINATION'17, LNCS 10319, Springer, pages 219-236, June 2017, Neuchatel, Switzerland.
  27. Debugging of Concurrent Systems using Counterexample Analysis. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of FSEN'17, LNCS 10522, Springer, pages 20-34, April 2017, Tehran, Iran.
  28. Compatibility Flooding: Measuring Interaction of Services Interfaces. Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. In Proc. of SAC'17, ACM Press, pages 1334-1340, April 2017, Marrakech, Morocco.
  29. Checking Business Process Evolution. Pascal Poizat, Gwen Salaün, Ajay Krishna. In Proc. of FACS'16, LNCS 10231, Springer, pages 36-53, October 2016, Besancon, France.
  30. Stability-based Adaptation of Asynchronously Communicating Software. Carlos Canal, Gwen Salaün. In Proc. of SEFM'16, LNCS 9763, Springer, pages 321-336, July 2016, Vienna, Austria.
  31. Automated Analysis of Asynchronously Communicating Systems. Lakhdar Akroun, Gwen Salaün, Lina Ye. In Proc. of SPIN'16, LNCS 9641, Springer, pages 1-18, April 2016, Eindhoven, The netherlands.
  32. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye. In Proc. of FACS'15, LNCS 9539, Springer, pages 48-65, October 2015, Rio de Janeiro, Brazil.
  33. Model-Based Adaptation of Software Communicating via FIFO Buffers. Carlos Canal, Gwen Salaün. In Proc. of FASE'15, LNCS 9033, Springer, pages 252-266, April 2015, London, France.
  34. Debugging Process Algebra Specifications. Gwen Salaün, Lina Ye. In Proc. of VMCAI'15, LNCS 8931, Springer, pages 245-262, January 2015, Mumbai, India.
  35. Adaptation of Asynchronously Communicating Software. Carlos Canal, Gwen Salaün. In Proc. of ICSOC'14, LNCS 8831, Springer, pages 437-444, November 2014, Paris, France.
  36. Quantifying the Parallelism in BPMN Processes using Model Checking. Radu Mateescu, Gwen Salaün, Lina Ye. In Proc. of CBSE'14, ACM Press, pages 159-168, July 2014, Lille, France.
  37. Robust Reconfiguration of Cloud Applications. Francisco Durán, Gwen Salaün. In Proc. of CBSE'14, ACM Press, pages 179-184, July 2014, Lille, France.
  38. Reliable Self-Deployment of Cloud Applications. Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma. In Proc. of SAC'14, ACM Press, pages 1331-1338, March 2014, Gyeongju, Korea.
  39. Comparator: A Tool for Quantifying Behavioural Compatibility. Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel. In Proc. of FASE'14, LNCS 8411, Springer, pages 306-309, April 2014, Grenoble, France.
  40. Compatibility Checking for Asynchronously Communicating Software. Meriem Ouederni, Gwen Salaün, Tevfik Bultan. In Proc. of FACS'13, LNCS 8348, Springer, pages 310-328, October 2013, Nanchang, China.
  41. Verification of a Dynamic Management Protocol for Cloud Applications. Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel de Palma. In Proc. of ATVA'13, LNCS 8172, Springer, pages 178-192, October 2013, Hanoi, Vietnam.
  42. PIC2LNT: Model Transformation for Model Checking an Applied Pi-calculus. Radu Mateescu, Gwen Salaün. In Proc. of TACAS'13, LNCS 7795, Springer, pages 192-198, March 2013, Rome, Italy.
  43. VerChor: A Framework for Verifying Choreographies. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. In Proc. of FASE'13, LNCS 7793, Springer, pages 226-230, March 2013, Rome, Italy.
  44. Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Matthias Güdemann, Gwen Salaün, Meriem Ouederni. In Proc. of ATVA'12, LNCS 7561, Springer, pages 238-253, October 2012, Thiruvananthapuram, Kerala, India.
  45. 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, ACM Press, pages 1278-1283, March 2012, Riva del Garda, Italy.
  46. Checking the Realizability of BPMN 2.0 Choreographies. Pascal Poizat, Gwen Salaün. In Proc. of SAC'12, ACM Press, pages 1927-1934, March 2012, Riva del Garda, Italy.
  47. 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, IEEE Computer Society Press, pages 170-177, December 2011, Melbourne, Australia.
  48. Realizability of Choreographies for Services Interacting Asynchronously. Gregor Gössler, Gwen Salaün. In Proc. of FACS'11, LNCS 7253, Springer, pages 151-167, September 2011, Olso, Norway.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. A Case Study in Model-based Adaptation of Web Services. Javier Cámara, José Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel. In Proc. of ISOLA'10, LNCS 6416, Springer, pages 112-126, October 2010, Amirandes, Heraclion, Crete.
  54. 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.
  55. 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.
  56. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (formal demo paper). Javier Cámara, José Antonio Martin, 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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.
  69. 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.
  70. 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, Compiegne, France.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.