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 : 119.

titre
Refactoring of Multi-instance BPMN Processes with Time and Resources
auteur
Quentin Nivon, Gwen Salaün
article
SEFM 2023 - International Conference on Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.226-245, ⟨10.1007/978-3-031-47115-5_13⟩
titre
Editorial for FACS 2021 special section (SoSyM)
auteur
Gwen Salaün
article
Software and Systems Modeling, 22 (2), pp.471-472, 2023, ⟨10.1007/s10270-023-01088-3⟩
titre
Rapport d’évaluation de l’unité FEMTO-ST – Franche-Comté Électronique, Mécanique, Thermique et Optiques - Sciences et Technologies
auteur
Éric Tournié, Jean-Marc Allain, Mathieu Arnoux, Nathalie Bardou, Skandar Basrour, Jean-Marc. Bassat, Christian Bergaud, Xavier Brun, Nathalie Destouches, Aurelian Fatu, David Folio, Antoine Grall, Luca Guidoni, Alexandre Guitton, Pierre-Yves Joubert, Arnaud Landragin, Daniel Racoceanu, Christine Restoin, Gwen Salaün, Roger Serra, Didier Trichet
article
C2023-EV-0251215K-DER-PUR230023102-RF, Hcéres. 2023
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, Nov 2022, Oslo, Norway. ⟨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. ⟨10.1145/3567445.3567461⟩
titre
Runtime Enforcement for IEC 61499 Applications
auteur
Yliès Falcone, Gwen Salaün, Irman Faqrizal
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