Gwen Salaün - RankMe

167 papers A* 2A 10B 28C 12Misc 8Journal 41Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Semantic comparison of business process models assisted by syntactic matching. Inf. Softw. Technol. Francisco Durán, Gwen Salaün
2025	—	`conf`	Blockchain as a Service for Electronic Health Records. ICDH Suraj Gupta, Frédéric Lang, Umar Ozeer, Gwen Salaün
2025	—	`conf`	GIVUP: Automated Generation and Verification of Textual Process Descriptions. SIGSOFT FSE Companion Quentin Nivon, Gwen Salaün, Frédéric Lang
2025	B	`conf`	Incremental Synchronization of BPMN Models and Documentations by Leveraging Structural Algorithms and LLMs. CoopIS David Cremer, Benjamin Dalmas, Quentin Nivon, Gwen Salaün
2024	J	`jnl`	Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. Irman Faqrizal, Gwen Salaün, Yliès Falcone
2024	—	`conf`	Automated Generation of BPMN Processes from Textual Requirements. ICSOC (1) Quentin Nivon, Gwen Salaün
2024	—	`conf`	Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE Irman Faqrizal, Quentin Nivon, Gwen Salaün
2024	C	`conf`	Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. QRS Yliès Falcone, Gwen Salaün, Ahang Zuo
2024	C	`conf`	Guided Evolution of IEC 61499 Applications. ETFA Irman Faqrizal, Gwen Salaün, Yliès Falcone
2024	—	`conf`	Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
2024	B	`conf`	Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE Yliès Falcone, Gwen Salaün, Ahang Zuo
2024	C	`conf`	Semi-Automated Refactoring of BPMN Processes. QRS Quentin Nivon, Gwen Salaün
2023	J	`jnl`	Editorial for FACS 2021 special section (SoSyM). Softw. Syst. Model. Gwen Salaün
2023	—	`conf`	Modelling and Verification of an Application for Managing Sensitive Health Data. DataMod Almo Cuci, Umar Ozeer, Gwen Salaün
2023	B	`conf`	Refactoring of Multi-instance BPMN Processes with Time and Resources. SEFM Quentin Nivon, Gwen Salaün
2022	—	`conf`	Counting Bugs in Behavioural Models using Counterexample Analysis. FormaliSE@ICSE Irman Faqrizal, Gwen Salaün
2022	—	`conf`	Debugging of BPMN Processes Using Coloring Techniques. FACS Quentin Nivon, Gwen Salaün
2022	J	`jnl`	Design and Deployment of Expressive and Correct Web of Things Applications. ACM Trans. Internet Things Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022	—	`conf`	From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
2022	J	`jnl`	Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022	A	`conf`	Optimization of BPMN Processes via Automated Refactoring. ICSOC Francisco Durán, Gwen Salaün
2022	—	`conf`	Probabilistic Analysis of Industrial IoT Applications. IOT Irman Faqrizal, Gwen Salaün, Yliès Falcone
2022	B	`conf`	Probabilistic Model Checking of BPMN Processes at Runtime. IFM Yliès Falcone, Gwen Salaün, Ahang Zuo
2022	C	`conf`	Quantifying the Similarity of BPMN Processes. APSEC Gwen Salaün
2022	B	`conf`	Runtime Enforcement for IEC 61499 Applications. SEFM Yliès Falcone, Irman Faqrizal, Gwen Salaün
2022	—	`conf`	WEASY: A Tool for Modelling Optimised BPMN Processes. FACS Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
2021	—	`conf`	Business Process Models for Analysis of Industrial IoT Applications. IOT Ajay Krishna, Gwen Salaün
2021	B	`conf`	Consistent Substitution of Object in Rule-based IoT Applications. COMPSAC Gwen Salaün
2021	J	`jnl`	Debugging of Behavioural Models using Counterexample Analysis. IEEE Trans. Software Eng. Gianluca Barbon, Vincent Leroy, Gwen Salaün
2021	—	`ed.`	Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings FACS Gwen Salaün, Anton Wijs
2021	J	`jnl`	Quantifying the similarity of non-bisimilar labelled transition systems. Sci. Comput. Program. Gwen Salaün
2021	—	`conf`	R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021	J	`jnl`	Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2021	B	`conf`	Runtime Enforcement with Reordering, Healing, and Suppression. SEFM Yliès Falcone, Gwen Salaün
2021	—	`conf`	Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021	—	`conf`	Semi-automated Modelling of Optimized BPMN Processes. SCC Yliès Falcone, Gwen Salaün, Ahang Zuo
2021	J	`jnl`	Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. Peter Csaba Ölveczky, Gwen Salaün
2020	—	`conf`	Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA Francisco Durán, Camilo Rocha, Gwen Salaün
2020	C	`conf`	Clusters of Faulty States for Debugging Behavioural Models. APSEC Irman Faqrizal, Gwen Salaün
2020	J	`jnl`	F Internet Things Umar Ozeer, Loïc Letondeur, Gwen Salaün, François-Gaël Ottogalli, Jean-Marc Vincent
2020	—	`conf`	MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
2020	C	`conf`	Verification of a Failure Management Protocol for Stateful IoT Applications. FMICS Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent
2019	J	`jnl`	A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2019	A	`conf`	Analysis of Resource Allocation of BPMN Processes. ICSOC Francisco Durán, Camilo Rocha, Gwen Salaün
2019	—	`conf`	Automated Composition, Analysis and Deployment of IoT Applications. TOOLS Francisco Durán, Gwen Salaün, Ajay Krishna
2019	J	`jnl`	Checking business process evolution. Sci. Comput. Program. Ajay Krishna, Pascal Poizat, Gwen Salaün
2019	—	`conf`	Debugging of Behavioural Models with CLEAR. TACAS (1) Gianluca Barbon, Vincent Leroy, Gwen Salaün
2019	Misc	`conf`	Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. ICIN Umar Ozeer, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
2019	—	`conf`	IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2019	—	`conf`	Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. SEFM Workshops Gwen Salaün
2019	—	`conf`	Rigorous design and deployment of IoT applications. FormaliSE@ICSE Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2019	B	`ed.`	Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings SEFM Peter Csaba Ölveczky, Gwen Salaün
2019	—	`conf`	Visual debugging of behavioural models. ICSE (Companion Volume) Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
2018	Misc	`conf`	Automated analysis of industrial workflow-based models. SAC Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
2018	J	`jnl`	Automated verification of automata communicating via FIFO and bag buffers. Formal Methods Syst. Des. Lakhdar Akroun, Gwen Salaün
2018	—	`conf`	Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops Francisco Durán, Camilo Rocha, Gwen Salaün
2018	B	`conf`	Counterexample Simplification for Liveness Property Violation. SEFM Gianluca Barbon, Vincent Leroy, Gwen Salaün
2018	J	`jnl`	Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Sci. Comput. Program. Carlos Canal, Gwen Salaün
2018	C	`conf`	Resilience of Stateful IoT Applications in a Dynamic Fog Environment. MobiQuitous Umar Ozeer, Xavier Etchevers, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
2018	—	`ed.`	Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers STAF Workshops Manuel Mazzara, Iulian Ober, Gwen Salaün
2018	J	`jnl`	Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2018	—	`conf`	Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA Francisco Durán, Camilo Rocha, Gwen Salaün
2017	J	`jnl`	Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Sci. Comput. Program. Rim Abid, Gwen Salaün, Noel De Palma
2017	Misc	`conf`	Compatibility flooding: measuring interaction of services interfaces. SAC Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
2017	—	`conf`	Debugging of Concurrent Systems Using Counterexample Analysis. FSEN Gianluca Barbon, Vincent Leroy, Gwen Salaün
2017	J	`jnl`	Preface: Special issue on software verification and testing. J. Syst. Softw. Mercedes G. Merayo, Gwen Salaün
2017	J	`jnl`	Reliable self-deployment of distributed cloud applications. Softw. Pract. Exp. Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
2017	B	`conf`	VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM Ajay Krishna, Pascal Poizat, Gwen Salaün
2017	C	`conf`	Verifying Timed BPMN Processes Using Maude. COORDINATION Francisco Durán, Gwen Salaün
2016	—	`conf`	Automated Analysis of Asynchronously Communicating Systems. SPIN Lakhdar Akroun, Gwen Salaün, Lina Ye
2016	—	`conf`	Checking Business Process Evolution. FACS Pascal Poizat, Gwen Salaün, Ajay Krishna
2016	J	`jnl`	Formal design of dynamic reconfiguration protocol for cloud applications. Sci. Comput. Program. Rim Abid, Gwen Salaün, Noel De Palma
2016	J	`jnl`	Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. Francisco Durán, Gwen Salaün
2016	J	`jnl`	Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. Gwen Salaün, Mariëlle Stoelinga
2016	B	`conf`	Stability-Based Adaptation of Asynchronously Communicating Software. SEFM Carlos Canal, Gwen Salaün
2016	J	`jnl`	VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
2015	—	`conf`	Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. FACS Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye
2015	B	`conf`	Debugging Process Algebra Specifications. VMCAI Gwen Salaün, Lina Ye
2015	B	`conf`	Model-Based Adaptation of Software Communicating via FIFO Buffers. FASE Carlos Canal, Gwen Salaün
2014	A	`conf`	Adaptation of Asynchronously Communicating Software. ICSOC Carlos Canal, Gwen Salaün
2014	B	`conf`	Comparator: A Tool for Quantifying Behavioural Compatibility. FASE Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
2014	J	`jnl`	Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). Sci. Comput. Program. Gwen Salaün, Bernhard Schätz
2014	J	`jnl`	Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). Sci. Comput. Program. Mohammad Reza Mousavi, Gwen Salaün
2014	—	`conf`	Quantifying the parallelism in BPMN processes using model checking. CBSE Radu Mateescu, Gwen Salaün, Lina Ye
2014	Misc	`conf`	Reliable self-deployment of cloud applications. SAC Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël De Palma
2014	—	`conf`	Robust reconfiguration of cloud applications. CBSE Francisco Durán, Gwen Salaün
2014	B	`ed.`	Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings SEFM Dimitra Giannakopoulou, Gwen Salaün
2014	J	`jnl`	Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Sci. Comput. Program. Corina S. Pasareanu, Gwen Salaün
2013	J	`jnl`	An experience report on the verification of autonomic protocols in the cloud. Innov. Syst. Softw. Eng. Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber
2013	—	`conf`	Compatibility Checking for Asynchronously Communicating Software. FACS Meriem Ouederni, Gwen Salaün, Tevfik Bultan
2013	—	`ed.`	Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers FACS Corina S. Pasareanu, Gwen Salaün
2013	A	`conf`	PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS Radu Mateescu, Gwen Salaün
2013	B	`conf`	VerChor: A Framework for Verifying Choreographies. FASE Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
2013	B	`conf`	Verification of a Dynamic Management Protocol for Cloud Applications. ATVA Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma
2013	—	`ch.`	Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. Assurances for Self-Adaptive Systems Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye
2012	J	`jnl`	A generic framework for n-protocol compatibility checking. Sci. Comput. Program. Francisco Durán, Meriem Ouederni, Gwen Salaün
2012	J	`jnl`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. Radu Mateescu, Pascal Poizat, Gwen Salaün
2012	Misc	`conf`	Checking the realizability of BPMN 2.0 choreographies. SAC Pascal Poizat, Gwen Salaün
2012	B	`conf`	Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA Matthias Güdemann, Gwen Salaün, Meriem Ouederni
2012	J	`jnl`	Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2012	J	`jnl`	Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Sci. Comput. Program. Gwen Salaün, Marjan Sirjani
2012	J	`jnl`	Realizability of Choreographies Using Process Algebra Encodings. IEEE Trans. Serv. Comput. Gwen Salaün, Tevfik Bultan, Nima Roohi
2012	J	`jnl`	Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. Carlos Canal, Javier Cámara, Gwen Salaün
2012	Misc	`conf`	Verification of a self-configuration protocol for distributed applications in the cloud. SAC Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye
2011	Misc	`conf`	Automated Configuration of Legacy Applications in the Cloud. UCC Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün
2011	—	`conf`	Client Update: A Solution for Service Evolution. IEEE SCC Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2011	C	`ed.`	Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings FMICS Gwen Salaün, Bernhard Schätz
2011	Misc	`conf`	Measuring the compatibility of service interaction protocols. SAC Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2011	J	`jnl`	Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica (Slovenia) Nima Roohi, Gwen Salaün
2011	—	`conf`	Realizability of Choreographies for Services Interacting Asynchronously. FACS Gregor Gößler, Gwen Salaün
2011	B	`conf`	Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. FM Fabienne Boyer, Olivier Gruber, Gwen Salaün
2010	—	`conf`	A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010	—	`conf`	Analysis and Verification of Service Interaction Protocols - A Brief Survey TAV-WEB Gwen Salaün
2010	—	`conf`	Handling Data-Based Concurrency in Context-Aware Service Protocols FOCLASA Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
2010	—	`ed.`	Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. TAV-WEB Gwen Salaün, Xiang Fu, Sylvain Hallé
2010	—	`ed.`	Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. WCSI Javier Cámara, Carlos Canal, Gwen Salaün
2010	—	`ed.`	Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. FOCLASA Mohammad Reza Mousavi, Gwen Salaün
2010	A	`conf`	Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2010	—	`conf`	Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010	—	`conf`	Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability WCSI Meriem Ouederni, Gwen Salaün
2010	J	`jnl`	Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
2010	B	`conf`	Translating Pi-Calculus into LOTOS NT. IFM Radu Mateescu, Gwen Salaün
2009	—	`conf`	A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. FACS@FMWeek Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo
2009	—	`conf`	A formal model and composition language for context-aware service protocols. CASTA@ESEC/SIGSOFT FSE Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün
2009	—	`conf`	Analyzing Chor Specifications by Translation into FSP. FOCLASA Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi
2009	A	`conf`	Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS Javier Cámara, Carlos Canal, Gwen Salaün
2009	—	`conf`	Checking Protocol Compatibility using Maude. FOCLASA Francisco Durán, Meriem Ouederni, Gwen Salaün
2009	A*	`conf`	ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
2009	—	`conf`	Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2009	J	`jnl`	On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. Hubert Garavel, Gwen Salaün, Wendelin Serwe
2009	—	`ed.`	Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009 FOCLASA Gwen Salaün, Marjan Sirjani
2009	B	`conf`	Realizability of Choreographies Using Process Algebra Encodings. IFM Gwen Salaün, Tevfik Bultan
2008	A	`conf`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC Radu Mateescu, Pascal Poizat, Gwen Salaün
2008	B	`conf`	Clint: A Composition Language Interpreter (Tool Paper). FASE Javier Cámara, Gwen Salaün, Carlos Canal
2008	J	`jnl`	Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. Javier Cámara, Gwen Salaün, Carlos Canal
2008	B	`conf`	Generation of Service Wrapper Protocols from Choreography Specifications. SEFM Gwen Salaün
2008	J	`jnl`	Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. Carlos Canal, Pascal Poizat, Gwen Salaün
2007	J	`jnl`	A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2007	—	`conf`	A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
2007	—	`conf`	Adaptation of Open Component-Based Systems. FMOODS Pascal Poizat, Gwen Salaün
2007	A*	`conf`	Behavioral adaptation of component compositions based on process algebra encodings. ASE Radu Mateescu, Pascal Poizat, Gwen Salaün
2007	C	`conf`	Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
2007	J	`jnl`	Encoding process algebraic descriptions of web services into BPEL. Web Intell. Agent Syst. Antonella Chirichiello, Gwen Salaün
2007	—	`conf`	Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. ASYNC Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
2007	—	`conf`	Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. FACS Javier Cámara, Carlos Canal, Gwen Salaün
2007	B	`conf`	Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM Javier Cámara, Gwen Salaün, Carlos Canal
2007	B	`conf`	Translating FSP into LOTOS and Networks of Automata. IFM Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
2006	—	`conf`	Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL Carlos Canal, Pascal Poizat, Gwen Salaün
2006	—	`conf`	An Adaptation-based Approach to Incrementally Build Component Systems. FACS Pascal Poizat, Gwen Salaün, Massimo Tivoli
2006	—	`conf`	Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS Pascal Poizat, Jean-Claude Royer, Gwen Salaün
2006	J	`jnl`	Describing and reasoning on Web Services using Process Algebra. Int. J. Bus. Process. Integr. Manag. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
2006	—	`conf`	Synchronizing Behavioural Mismatch in Software Composition. FMOODS Carlos Canal, Pascal Poizat, Gwen Salaün
2005	—	`conf`	Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Web Intelligence Antonella Chirichiello, Gwen Salaün
2005	B	`conf`	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM Gwen Salaün, Wendelin Serwe
2004	A	`conf`	Describing and Reasoning on Web Services using Process Algebra. ICWS Gwen Salaün, Lucas Bordeaux, Marco Schaerf
2004	—	`conf`	Interacting Extended State Diagrams. SFEDL@ETAPS Gwen Salaün, Pascal Poizat
2004	J	`jnl`	MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica (Slovenia) Gwen Salaün, J. Christian Attiogbé
2004	—	`conf`	Negotiation Among Web Services Using LOTOS/CADP. ECOWS Gwen Salaün, Andrea Ferrara, Antonella Chirichiello
2004	—	`conf`	Using Process Algebra for Web Services: Early Results and Perspectives. TES Lucas Bordeaux, Gwen Salaün
2004	—	`conf`	When are Two Web Services Compatible? TES Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
2003	C	`conf`	Formalising an Integrated Language in PVS. ICFEM Gwen Salaün, J. Christian Attiogbé
2003	B	`conf`	Integration of Formal Datatypes within State Diagrams. FASE J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2003	A	`conf`	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2002	B	`conf`	A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC Gwen Salaün, Michel Allemand, J. Christian Attiogbé
2002	—	`conf`	Foundations for a Combination of Heterogeneous Specification Components. Formal Methods and Component Interaction @ ICALP Gwen Salaün, Michel Allemand, J. Christian Attiogbé
2002	A	`conf`	Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS Gwen Salaün, Michel Allemand, J. Christian Attiogbé
2001	C	`conf`	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC Gwen Salaün, Michel Allemand, J. Christian Attiogbé