Publications HAL de Gwen,SALAUN de la collection LIG

Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Gwen,SALAUN", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 116.

titre: Models and analysis for user-driven reconfiguration of rule-based IoT applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: Internet of Things, 2022, 19, pp.100515. ⟨10.1016/j.iot.2022.100515⟩

titre: Design and Deployment of Expressive and Correct Web of Things Applications
auteur: Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: ACM Transactions on Internet of Things, 2022, 3, pp.1 - 30. ⟨10.1145/3475964⟩

titre: Quantifying the Similarity of BPMN Processes
auteur: Gwen Salaün
article: APSEC 2022 - 29th Asia-Pacific Software Engineering Conference, Dec 2022, Virtual, Japan. pp.1-10

titre: Optimization of BPMN Processes via Automated Refactoring
auteur: Francisco Durán, Gwen Salaün
article: ICSOC 2022 - 20th International Conference on Service-Oriented Computing, Nov 2022, Sevilla, Spain. pp.1-15, ⟨10.1007/978-3-031-20984-0_1⟩

titre: WEASY: A Tool for Modelling Optimised BPMN Processes
auteur: Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
article: FACS 2022 - 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩

titre: Debugging of BPMN Processes Using Coloring Techniques
auteur: Quentin Nivon, Gwen Salaün
article: FACS 2022 - 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Virtual, Norway. pp.90-109, ⟨10.1007/978-3-031-20872-0_6⟩

titre: Probabilistic Analysis of Industrial IoT Applications
auteur: Yliès Falcone, Irman Faqrizal, Gwen Salaün
article: IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands

titre: Runtime Enforcement for IEC 61499 Applications
auteur: Yliès Falcone, Irman Faqrizal, Gwen Salaün
article: SEFM 2022 - 20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩

titre: Probabilistic Model Checking of BPMN Processes at Runtime
auteur: Yliès Falcone, Gwen Salaün, Ahang Zuo
article: iFM 2022 - International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.1-17, ⟨10.1007/978-3-031-07727-2_11⟩

titre: Counting Bugs in Behavioural Models using Counterexample Analysis
auteur: Irman Faqrizal, Gwen Salaün
article: FormaliSE 2022 - International Conference on Formal Methods in Software Engineering, May 2022, Pittsburgh, United States. pp.1-11, ⟨10.1145/3524482.3527647⟩

titre: From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
auteur: Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
article: WRLA 2022 - 14th International Workshop on Rewriting Logic and its Applications, Apr 2022, Munich, Germany. pp.1-18, ⟨10.1007/978-3-031-12441-9_1⟩

titre: Resource Provisioning Strategies for BPMN Processes: Specification and Analysis using Maude
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: Journal of Logical and Algebraic Methods in Programming, 2021, pp.1-50. ⟨10.1016/j.jlamp.2021.100711⟩

titre: Debugging of Behavioural Models using Counterexample Analysis
auteur: Gianluca Barbon, Vincent Leroy, Gwen Salaün
article: IEEE Transactions on Software Engineering, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩

titre: Quantifying the Similarity of Non-bisimilar Labelled Transition Systems
auteur: Gwen Salaün
article: Science of Computer Programming, 2021, 202, ⟨10.1016/j.scico.2020.102580⟩

titre: Runtime Enforcement with Reordering, Healing, and Suppression
auteur: Yliès Falcone, Gwen Salaün
article: SEFM 2021 - 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20

titre: Business Process Models for Analysis of Industrial IoT Applications
auteur: Ajay Krishna, Gwen Salaün
article: IoT 2021 - 11th International Conference on the Internet of Things, Nov 2021, St. Gallen, Switzerland. pp.1-8, ⟨10.1145/3494322.3494336⟩

titre: Semi-automated Modelling of Optimized BPMN Processes
auteur: Yliès Falcone, Gwen Salaün, Ahang Zuo
article: SCC 2021 - IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6

titre: Consistent Substitution of Object in Rule-based IoT Applications
auteur: Gwen Salaün
article: COMPSAC 2021 - Computer Software and Applications Conference, Jul 2021, Virtual, United States. pp.1-9

titre: R-MOZART: A Reconfiguration Tool for WebThings Applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2021, Madrid / Virtual, Spain. pp.41-44, ⟨10.1109/ICSE-Companion52605.2021.00031⟩

titre: Seamless Reconfiguration of Rule-Based IoT Applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: SEAMS 2021 - 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2021, Madrid / Virtual, Spain. pp.142-148

titre: Preface: Special issue on Software Engineering and Formal Methods
auteur: Peter Csaba C Ölveczky, Gwen Salaün
article: Software and Systems Modeling, 20 (2), pp.291-292, 2021, ⟨10.1007/s10270-021-00874-1⟩

titre: Formal Aspects of Component Software
auteur: Gwen Salaün, Anton Wijs
article: Springer International Publishing, 13077, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-90636-8⟩

titre: F 3 ARIoT: A Framework for Autonomic Resilience of IoT Applications in the Fog
auteur: Umar Ozeer, Loic Letondeur, Gwen Salaün, François-Gaël Ottogalli, Jean-Marc Vincent
article: Internet of Things, 2020, pp.1-54. ⟨10.1016/j.iot.2020.100275⟩

titre: Clusters of Faulty States for Debugging Behavioural Models
auteur: Irman Faqrizal, Gwen Salaün
article: APSEC 2020 - 27th Asia-Pacific Software Engineering Conference, Dec 2020, Singapore, Singapore. pp.1-9

titre: Verification of a Failure Management Protocol for Stateful IoT Applications
auteur: Umar Ozeer, Gwen Salaün, Loic Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent
article: Proc. of FMICS'20, Sep 2020, Vienne, Austria. ⟨10.1007/978-3-030-58298-2_12⟩

titre: Analysis of the Runtime Resource Provisioning of BPMN Processes using Maude
auteur: Francisco Duran, Camilo Rocha, Gwen Salaün
article: WRLA 2020 - 13th International Workshop on Rewriting Logic and its Applications, Apr 2020, Dublin, Ireland. pp.1-16

titre: MOZART: Design and Deployment of Advanced IoT Applications
auteur: Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
article: WWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩

titre: A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: Science of Computer Programming, 2019, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩

titre: Checking Business Process Evolution
auteur: Ajay Krishna, Pascal Poizat, Gwen Salaün
article: Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩

titre: Analysis of Resource Allocation of BPMN Processes
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: ICSOC 2019 - 17th International Conference on Service-Oriented Computing, Oct 2019, Toulouse, France. pp.452-457, ⟨10.1007/978-3-030-33702-5_35⟩

titre: Automated Composition, Analysis and Deployment of IoT Applications
auteur: Francisco Durán, Gwen Salaün, Ajay Krishna
article: TOOLS 2019 - 51st International Conference on Software Technology: Methods and Tools, Oct 2019, Innopolis, Russia. pp.252-268, ⟨10.1007/978-3-030-29852-4_21⟩

titre: Quantifying the Similarity of Non-bisimilar Labelled Transition Systems
auteur: Gwen Salaün
article: FOCLASA 2019 - 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. pp.1-14

titre: Rigorous Design and Deployment of IoT Applications
auteur: Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article: FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩

titre: IoT Composer: Composition and Deployment of IoT Applications
auteur: Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article: ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩

titre: Visual Debugging of Behavioural Models
auteur: Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
article: ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩

titre: Debugging of Behavioural Models with CLEAR
auteur: Gianluca Barbon, Vincent Leroy, Gwen Salaün
article: TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩

titre: Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case
auteur: Umar Ozeer, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
article: ICIN 2019 - 22nd Conference on Innovation in Clouds, Internet and Networks, Feb 2019, Paris, France. pp.230-232, ⟨10.1109/ICIN.2019.8685909⟩

titre: Stochastic Analysis of BPMN with Time in Rewriting Logic
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: Science of Computer Programming, 2018, 168, pp.1-17. ⟨10.1016/j.scico.2018.08.007⟩

titre: Automated verification of automata communicating via FIFO and bag buffers
auteur: Lakhdar Akroun, Gwen Salaün
article: Formal Methods in System Design, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩

titre: Resilience of Stateful IoT Applications in a Dynamic Fog Environment
auteur: Umar Ozeer, Xavier Etchevers, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
article: EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), Nov 2018, New York, United States. pp.1-10, ⟨10.1145/3286978.3287007⟩

titre: Counterexample Simplification for Liveness Property Violation
auteur: Gianluca Barbon, Vincent Leroy, Gwen Salaün
article: SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩

titre: Computing the Parallelism Degree of Timed BPMN Processes
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: FOCLASA 2018 - 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems, Jun 2018, Toulouse, France. pp.1-16, ⟨10.1007/978-3-030-04771-9_24⟩

titre: Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT
auteur: Francisco Durán, Camilo Rocha, Gwen Salaün
article: WRLA 2018 : 12th International Workshop on Rewriting Logic and its Applications, Apr 2018, Thessaloniki, Greece. pp.1-20

titre: Automated Analysis of Industrial Workflow-based Models
auteur: Mario Cortes-Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
article: SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩

titre: Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems
auteur: Carlos Canal, Gwen Salaün
article: Science of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩

titre: Software Technologies: Applications and Foundations (STAF 2018)
auteur: Manuel Mazzara, Iulian Ober, Gwen Salaün
article: Mazzara, Manuel; Ober, Iulian; Salaun, Gwen. STAF 2018 - Federation of International Conferences on Software Technologies: Applications and Foundations, Jun 2018, Toulouse, France. 11176, Springer, XXI, 658 p., 2018, Programming and Software Engineering book series, 978-3030047702. ⟨10.1007/978-3-030-04771-9⟩

titre: Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
auteur: Rim Abid, Gwen Salaün, Noël de Palma
article: Science of Computer Programming, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩

titre: Reliable Self-deployment of Distributed Cloud Applications
auteur: Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
article: Software: Practice and Experience, 2017, 47 (1), pp.3-20. ⟨10.1002/spe.2400⟩

titre: VBPMN: Automated Verification of BPMN Processes
auteur: Ajay Krishna, Pascal Poizat, Gwen Salaün
article: 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy

titre: Verifying Timed BPMN Processes Using Maude
auteur: Francisco Durán, Gwen Salaün
article: 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩

titre: Debugging of Concurrent Systems using Counterexample Analysis
auteur: Gianluca Barbon, Vincent Leroy, Gwen Salaün
article: 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩

titre: Preface: Special issue on software verification and testing
auteur: Mercedes Merayo, Gwen Salaün
article: Journal of Systems and Software, 132, pp.317 - 318, 2017, ⟨10.1016/j.jss.2017.07.025⟩

titre: VerChor: A Framework for the Design and Verification of Choreographies
auteur: Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
article: IEEE Transactions on Services Computing, 2016, 9 (4), pp.647-660. ⟨10.1109/TSC.2015.2413401⟩

titre: Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications
auteur: Rim Abid, Gwen Salaün, Noel de Palma
article: Science of Computer Programming, 2016, 117, pp.1-16. ⟨10.1016/j.scico.2015.12.001⟩

titre: Robust and reliable reconfiguration of cloud applications
auteur: Francisco Durán, Gwen Salaün
article: Journal of Systems and Software, 2016, 122, pp.524-537. ⟨10.1016/j.jss.2015.09.020⟩

titre: Checking Business Process Evolution
auteur: Pascal Poizat, Gwen Salaün, Ajay Krishna
article: 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France

titre: Stability-Based Adaptation of Asynchronously Communicating Software
auteur: Carlos Canal, Gwen Salaün
article: 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. ⟨10.1007/978-3-319-41591-8_22⟩

titre: Automated Analysis of Asynchronously Communicating Systems
auteur: Lakhdar Akroun, Gwen Salaün, Lina Ye
article: 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩

titre: Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)
auteur: Gwen Salaün, Mariëlle Stoelinga
article: ACM, 2016, ⟨10.1016/j.scico.2016.10.001⟩

titre: Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)
auteur: Dimitra Giannakopoulou, Gwen Salaün, Michael Butler
article: Springer, 2016, ⟨10.1007/s00165-016-0368-0⟩

titre: Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
auteur: Rim Abid, Gwen Salaün, Noel de Palma, Soguy Mak-Karé Gueye
article: 12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil

titre: Model-Based Adaptation of Software Communicating via FIFO Buffers
auteur: Carlos Canal, Gwen Salaün
article: 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46675-9_17⟩

titre: Debugging Process Algebra Specifications
auteur: Gwen Salaün, Lina Ye
article: VMCAI 2015, Jan 2015, Mumbai, India. pp.18, ⟨10.1007/978-3-662-46081-8_14⟩

titre: Adaptation of Asynchronously Communicating Software
auteur: Carlos Canal, Gwen Salaün
article: 12th International Conference on Service Oriented Computing (ICSOC 2014), Nov 2014, Paris, France

titre: Quantifying the Parallelism in BPMN Processes using Model Checking
auteur: Radu Mateescu, Gwen Salaün, Lina Ye
article: The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France

titre: Robust Reconfiguration of Cloud Applications
auteur: Francisco Durán, Gwen Salaün
article: The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France

titre: Comparator: A Tool for Quantifying Behavioural Compatibility
auteur: Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
article: FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.306-309, ⟨10.1007/978-3-642-54804-8_21⟩

titre: Reliable Self-Deployment of Cloud Applications
auteur: Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
article: SAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea

titre: Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
auteur: Corina Pasareanu, Gwen Salaün
article: Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014

titre: Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)
auteur: Gwen Salaün, Bernhard Schätz
article: Gwen Salaün; Bernhard Schätz. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2013.01.008⟩

titre: Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10)
auteur: Mohammad Reza Mousavi, Gwen Salaün
article: Mousavi, Mohammad Reza; Salaün, Gwen. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2012.03.003⟩

titre: Software Engineering and Formal Methods
auteur: Gwen Salaün, Dimitra Giannakopoulou
article: 2014, ⟨10.1007/978-3-319-10431-7⟩

titre: Stability of Asynchronously Communicating Systems
auteur: Gwen Salaün, Lina Ye
article: [Research Report] RR-8561, INRIA. 2014

titre: Flooding-Based Algorithm for Behavioural Compatibility Measuring
auteur: Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
article: [Research Report] Inria Rennes. 2014

titre: An Experience Report on the Verification of Autonomic Protocols in the Cloud
auteur: Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma, Xavier Etchevers, Olivier Gruber
article: Innovations in Systems and Software Engineering, 2013, ⟨10.1007/s11334-013-0204-0⟩

titre: Compatibility Checking for Asynchronously Communicating Software
auteur: Meriem Ouederni, Gwen Salaün, Tevfik Bultan
article: FACS 2013, Oct 2013, Nanchang, China

titre: Verification of a Dynamic Management Protocol for Cloud Applications
auteur: Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma
article: 11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192, ⟨10.1007/978-3-319-02444-8_14⟩

titre: VerChor: A Framework for Verifying Choreographies
auteur: Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
article: Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩

titre: PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
auteur: Radu Mateescu, Gwen Salaün
article: TACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩

titre: Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
auteur: Gwen Salaün, Xavier Etchevers, Noël de Palma, Fabienne Boyer, Thierry Coupaye
article: Camara, Javier and de Lemos, Rogerio and Ghezzi, Carlo and Lopes, Antonia. Assurances for Self-Adaptive Systems, Springer, 2013, ⟨10.1007/978-3-642-36249-1_3⟩

titre: Formal Aspects of Component Software
auteur: Gwen Salaün, Corina Pasareanu
article: 2013, ⟨10.1007/978-3-642-35861-6⟩

titre: Structural Reconfiguration of Systems under Behavioral Adaptation
auteur: Carlos Canal, Javier Cámara, Gwen Salaün
article: Science of Computer Programming, 2012, 78 (1), pp.46-64

titre: Realizability of Choreographies using Process Algebra Encodings
auteur: Gwen Salaün, Tevfik Bultan, Nima Roohi
article: IEEE Transactions on Services Computing, 2012, 5 (3), pp.290-304

titre: Interactive specification and verification of behavioral adaptation contracts
auteur: Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
article: Information and Software Technology, 2012, 54 (7), pp.701-723

titre: A generic framework for n-protocol compatibility checking
auteur: Francisco Durán, Meriem Ouederni, Gwen Salaün
article: Science of Computer Programming, 2012, 77 (7-8), pp.870-886

titre: Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur: Radu Mateescu, Pascal Poizat, Gwen Salaün
article: IEEE Transactions on Software Engineering, 2012, ⟨10.1109/TSE.2011.62⟩

titre: Counterexample Guided Synthesis of Monitors for Realizability Enforcement
auteur: Matthias Güdemann, Gwen Salaün, Meriem Ouederni
article: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩

titre: Checking the Realizability of BPMN 2.0 Choreographies
auteur: Pascal Poizat, Gwen Salaün
article: 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934

titre: Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
auteur: Gwen Salaün, Xavier Etchevers, Noël de Palma, Fabienne Boyer, Thierry Coupaye
article: 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283

titre: Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)
auteur: Gwen Salaün, Marjan Sirjani
article: Gwen Salaün and Marjan Sirjani. Elsevier, 77, pp.3, 2012, ⟨10.1016/j.scico.2011.09.006⟩

titre: CADP: A Toolbox for the Construction and Analysis of Distributed Processes
auteur: Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article: FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France

titre: CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués
auteur: Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article: Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012

titre: Realizability and Dynamic Reconfiguration of Chor Specifications
auteur: Nima Roohi, Gwen Salaün
article: Informatica, 2011

titre: Automated Configuration of Legacy Applications in the Cloud
auteur: Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel de Palma, Gwen Salaün
article: UCC 2011 - International Conference on Utility and Cloud Computing, Dec 2011, Victoria, NSW, Australia. pp.170-177, ⟨10.1109/UCC.2011.32⟩

titre: Client Update: A Solution for Service Evolution
auteur: Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article: 8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States

titre: Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP
auteur: Fabienne Boyer, Olivier Gruber, Gwen Salaün
article: 17th International Symposium on Formal Methods (FM'11), Jun 2011, Limerick, Ireland. pp.103-117, ⟨10.1007/978-3-642-21437-0_10⟩

titre: Measuring the Compatibility of Service Interaction Protocols
auteur: Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article: 26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan

titre: Translating FSP into LOTOS and Networks of Automata
auteur: Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
article: Formal Aspects of Computing, 2010, 22, pp.681-711

titre: Quantifying Service Compatibility: A Step Beyond the Boolean Approaches
auteur: Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
article: 8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626

titre: A Case Study in Model-based Adaptation of Web Services
auteur: Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel
article: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. pp.112--126

titre: Translating Pi-Calculus into LOTOS NT
auteur: Radu Mateescu, Gwen Salaün
article: Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244

titre: Analysis and Verification of Service Interaction Protocols - A Brief Survey
auteur: Gwen Salaün
article: 4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86

titre: Handling Data-Based Concurrency in Context-Aware Service Protocols
auteur: Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
article: 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10), Sep 2010, Paris, France. pp.62-77

titre: Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
auteur: Meriem Ouederni, Gwen Salaün
article: International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70

titre: Semi-automatic Specification of Behavioural Service Adaptation Contracts
auteur: Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel
article: 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. pp.19-34

titre: On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP
auteur: Hubert Garavel, Gwen Salaun, Wendelin Serwe
article: Science of Computer Programming, 2009

titre: Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur: Radu Mateescu, Pascal Poizat, Gwen Salaün
article: 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩

titre: A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
auteur: Christian Attiogbe, Pascal Poizat, Gwen Salaün
article: IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩

titre: Translating FSP into LOTOS and Networks of Automata
auteur: Gwen Salaun, Jeff Kramer, Frederic Lang, Jeff Magee
article: 6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom

titre: Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-Chip
auteur: Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
article: Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007, Mar 2007, Berkeley, California, United States

titre: Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur: Radu Mateescu, Pascal Poizat, Gwen Salaün
article: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩

titre: Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur: Radu Mateescu, Pascal Poizat, Gwen Salaun
article: [Research Report] RR-6362, INRIA. 2007, pp.25

titre: An Adaptation-based Approach to Incrementally Build Component Systems
auteur: Pascal Poizat, Gwen Salaün, Massimo Tivoli
article: Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. pp.155--170, ⟨10.1016/j.entcs.2006.09.037⟩

titre: On Dynamic Reconfiguration of Behavioural Adaptation
auteur: Pascal Poizat, Gwen Salaün, Massimo Tivoli
article: Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69

titre: Synchronizing Behavioural Mismatch in Software Composition
auteur: Carlos Canal, Pascal Poizat, Gwen Salaün
article: Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. pp.63--77, ⟨10.1007/11768869_7⟩

titre: Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS
auteur: Gwen Salaün, Wendelin Serwe
article: RR-5666, INRIA. 2005, pp.25