default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGwen Salaün
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c110]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Guided Evolution of IEC 61499 Applications. ETFA 2024: 1-8- [c109]Yliès Falcone
, Gwen Salaün, Ahang Zuo:
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE 2024: 56-76 - [c108]Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin:
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT 2024: 1-6 - [c107]Irman Faqrizal, Quentin Nivon, Gwen Salaün:
Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE 2024: 66-76 - [c106]Quentin Nivon, Gwen Salaün:
Semi-Automated Refactoring of BPMN Processes. QRS 2024: 677-688 - [c105]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. QRS 2024: 689-700 - 2023
- [j39]Gwen Salaün:
Editorial for FACS 2021 special section (SoSyM). Softw. Syst. Model. 22(2): 471-472 (2023) - [c104]Quentin Nivon, Gwen Salaün:
Refactoring of Multi-instance BPMN Processes with Time and Resources. SEFM 2023: 226-245 - 2022
- [j38]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things 19: 100515 (2022) - [j37]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Design and Deployment of Expressive and Correct Web of Things Applications. ACM Trans. Internet Things 3(1): 1:1-1:30 (2022) - [c103]Gwen Salaün:
Quantifying the Similarity of BPMN Processes. APSEC 2022: 377-386 - [c102]Quentin Nivon, Gwen Salaün:
Debugging of BPMN Processes Using Coloring Techniques. FACS 2022: 90-109 - [c101]Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
WEASY: A Tool for Modelling Optimised BPMN Processes. FACS 2022: 110-118 - [c100]Irman Faqrizal, Gwen Salaün:
Counting Bugs in Behavioural Models using Counterexample Analysis. FormaliSE@ICSE 2022: 12-22 - [c99]Francisco Durán, Gwen Salaün:
Optimization of BPMN Processes via Automated Refactoring. ICSOC 2022: 3-18 - [c98]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Model Checking of BPMN Processes at Runtime. IFM 2022: 191-208 - [c97]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Probabilistic Analysis of Industrial IoT Applications. IOT 2022: 41-48 - [c96]Yliès Falcone, Irman Faqrizal, Gwen Salaün:
Runtime Enforcement for IEC 61499 Applications. SEFM 2022: 352-368 - [c95]Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo:
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS 2022: 3-21 - 2021
- [j36]Francisco Durán, Camilo Rocha, Gwen Salaün:
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. 123: 100711 (2021) - [j35]Gwen Salaün:
Quantifying the similarity of non-bisimilar labelled transition systems. Sci. Comput. Program. 202: 102580 (2021) - [j34]Peter Csaba Ölveczky, Gwen Salaün:
Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. 20(2): 291-292 (2021) - [j33]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Behavioural Models using Counterexample Analysis. IEEE Trans. Software Eng. 47(6): 1184-1197 (2021) - [c94]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Semi-automated Modelling of Optimized BPMN Processes. SCC 2021: 425-430 - [c93]Gwen Salaün:
Consistent Substitution of Object in Rule-based IoT Applications. COMPSAC 2021: 1040-1048 - [c92]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) 2021: 41-44 - [c91]Ajay Krishna, Gwen Salaün:
Business Process Models for Analysis of Industrial IoT Applications. IOT 2021: 102-109 - [c90]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE 2021: 142-148 - [c89]Yliès Falcone, Gwen Salaün:
Runtime Enforcement with Reordering, Healing, and Suppression. SEFM 2021: 47-65 - [e10]Gwen Salaün, Anton Wijs:
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. Lecture Notes in Computer Science 13077, Springer 2021, ISBN 978-3-030-90635-1 [contents] - 2020
- [j32]Umar Ozeer, Loïc Letondeur, Gwen Salaün, François-Gaël Ottogalli, Jean-Marc Vincent:
F3ARIoT: A framework for autonomic resilience of IoT applications in the Fog. Internet Things 12: 100275 (2020) - [c88]Irman Faqrizal, Gwen Salaün:
Clusters of Faulty States for Debugging Behavioural Models. APSEC 2020: 91-99 - [c87]Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent:
Verification of a Failure Management Protocol for Stateful IoT Applications. FMICS 2020: 272-287 - [c86]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS 2020: 38-56 - [c85]Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün:
MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) 2020: 163-166
2010 – 2019
- 2019
- [j31]Ajay Krishna, Pascal Poizat, Gwen Salaün:
Checking business process evolution. Sci. Comput. Program. 170: 1-26 (2019) - [j30]Francisco Durán, Camilo Rocha, Gwen Salaün:
A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019) - [c84]Umar Ozeer, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent:
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. ICIN 2019: 230-232 - [c83]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün:
IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) 2019: 19-22 - [c82]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün:
Rigorous design and deployment of IoT applications. FormaliSE@ICSE 2019: 21-30 - [c81]Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah:
Visual debugging of behavioural models. ICSE (Companion Volume) 2019: 107-110 - [c80]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of Resource Allocation of BPMN Processes. ICSOC 2019: 452-457 - [c79]Gwen Salaün:
Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. SEFM Workshops 2019: 211-225 - [c78]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Behavioural Models with CLEAR. TACAS (1) 2019: 386-392 - [c77]Francisco Durán, Gwen Salaün, Ajay Krishna:
Automated Composition, Analysis and Deployment of IoT Applications. TOOLS 2019: 252-268 - [e9]Peter Csaba Ölveczky, Gwen Salaün:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11724, Springer 2019, ISBN 978-3-030-30445-4 [contents] - 2018
- [j29]Lakhdar Akroun, Gwen Salaün:
Automated verification of automata communicating via FIFO and bag buffers. Formal Methods Syst. Des. 52(3): 260-276 (2018) - [j28]Francisco Durán, Camilo Rocha, Gwen Salaün:
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168: 1-17 (2018) - [j27]Carlos Canal, Gwen Salaün:
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Sci. Comput. Program. 168: 169-170 (2018) - [c76]Umar Ozeer, Xavier Etchevers, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent:
Resilience of Stateful IoT Applications in a Dynamic Fog Environment. MobiQuitous 2018: 332-341 - [c75]Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün:
Automated analysis of industrial workflow-based models. SAC 2018: 120-127 - [c74]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Counterexample Simplification for Liveness Property Violation. SEFM 2018: 173-188 - [c73]Francisco Durán, Camilo Rocha, Gwen Salaün:
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops 2018: 320-335 - [c72]Francisco Durán, Camilo Rocha, Gwen Salaün:
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS 2018: 76-97 - [e8]Manuel Mazzara, Iulian Ober, Gwen Salaün:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11176, Springer 2018, ISBN 978-3-030-04770-2 [contents] - 2017
- [j26]Mercedes G. Merayo, Gwen Salaün:
Preface: Special issue on software verification and testing. J. Syst. Softw. 132: 317-318 (2017) - [j25]Rim Abid, Gwen Salaün, Noel De Palma:
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Sci. Comput. Program. 146: 87-103 (2017) - [j24]Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma:
Reliable self-deployment of distributed cloud applications. Softw. Pract. Exp. 47(1): 3-20 (2017) - [c71]Francisco Durán, Gwen Salaün:
Verifying Timed BPMN Processes Using Maude. COORDINATION 2017: 219-236 - [c70]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Concurrent Systems Using Counterexample Analysis. FSEN 2017: 20-34 - [c69]Ajay Krishna, Pascal Poizat, Gwen Salaün:
VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM 2017: 323-331 - [c68]Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. SAC 2017: 1334-1340 - 2016
- [j23]Francisco Durán, Gwen Salaün:
Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. 122: 524-537 (2016) - [j22]Rim Abid, Gwen Salaün, Noel De Palma:
Formal design of dynamic reconfiguration protocol for cloud applications. Sci. Comput. Program. 117: 1-16 (2016) - [j21]Gwen Salaün, Mariëlle Stoelinga:
Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. 132: 141-142 (2016) - [j20]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye:
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9(4): 647-660 (2016) - [c67]Pascal Poizat, Gwen Salaün, Ajay Krishna:
Checking Business Process Evolution. FACS 2016: 36-53 - [c66]Carlos Canal, Gwen Salaün:
Stability-Based Adaptation of Asynchronously Communicating Software. SEFM 2016: 321-336 - [c65]Lakhdar Akroun, Gwen Salaün, Lina Ye:
Automated Analysis of Asynchronously Communicating Systems. SPIN 2016: 1-18 - 2015
- [c64]Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye:
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. FACS 2015: 48-65 - [c63]Carlos Canal, Gwen Salaün:
Model-Based Adaptation of Software Communicating via FIFO Buffers. FASE 2015: 252-266 - [c62]Gwen Salaün, Lina Ye:
Debugging Process Algebra Specifications. VMCAI 2015: 245-262 - 2014
- [j19]Mohammad Reza Mousavi, Gwen Salaün:
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). Sci. Comput. Program. 80: 1-2 (2014) - [j18]Gwen Salaün, Bernhard Schätz:
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). Sci. Comput. Program. 80: 107-108 (2014) - [j17]Corina S. Pasareanu, Gwen Salaün:
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Sci. Comput. Program. 91: 1-2 (2014) - [c61]Radu Mateescu, Gwen Salaün, Lina Ye:
Quantifying the parallelism in BPMN processes using model checking. CBSE 2014: 159-168 - [c60]Francisco Durán, Gwen Salaün:
Robust reconfiguration of cloud applications. CBSE 2014: 179-184 - [c59]Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel:
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE 2014: 306-309 - [c58]Carlos Canal, Gwen Salaün:
Adaptation of Asynchronously Communicating Software. ICSOC 2014: 437-444 - [c57]Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël De Palma:
Reliable self-deployment of cloud applications. SAC 2014: 1331-1338 - [e7]Dimitra Giannakopoulou, Gwen Salaün:
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8702, Springer 2014, ISBN 978-3-319-10430-0 [contents] - 2013
- [j16]Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber:
An experience report on the verification of autonomic protocols in the cloud. Innov. Syst. Softw. Eng. 9(2): 105-117 (2013) - [c56]Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma:
Verification of a Dynamic Management Protocol for Cloud Applications. ATVA 2013: 178-192 - [c55]Meriem Ouederni, Gwen Salaün, Tevfik Bultan:
Compatibility Checking for Asynchronously Communicating Software. FACS 2013: 310-328 - [c54]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont:
VerChor: A Framework for Verifying Choreographies. FASE 2013: 226-230 - [c53]Radu Mateescu, Gwen Salaün:
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS 2013: 192-198 - [p1]Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye:
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. Assurances for Self-Adaptive Systems 2013: 60-79 - [e6]Corina S. Pasareanu, Gwen Salaün:
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, ISBN 978-3-642-35860-9 [contents] - 2012
- [j15]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54(7): 701-723 (2012) - [j14]Gwen Salaün, Marjan Sirjani:
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Sci. Comput. Program. 77(7-8): 777-778 (2012) - [j13]Francisco Durán, Meriem Ouederni, Gwen Salaün:
A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77(7-8): 870-886 (2012) - [j12]Carlos Canal, Javier Cámara, Gwen Salaün:
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012) - [j11]Gwen Salaün, Tevfik Bultan, Nima Roohi:
Realizability of Choreographies Using Process Algebra Encodings. IEEE Trans. Serv. Comput. 5(3): 290-304 (2012) - [j10]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. 38(4): 755-777 (2012) - [c52]Matthias Güdemann, Gwen Salaün, Meriem Ouederni:
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA 2012: 238-253 - [c51]Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye:
Verification of a self-configuration protocol for distributed applications in the cloud. SAC 2012: 1278-1283 - [c50]Pascal Poizat, Gwen Salaün:
Checking the realizability of BPMN 2.0 choreographies. SAC 2012: 1927-1934 - 2011
- [j9]Nima Roohi, Gwen Salaün:
Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica (Slovenia) 35(1): 39-49 (2011) - [c49]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel:
Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401 - [c48]Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167 - [c47]Fabienne Boyer, Olivier Gruber, Gwen Salaün:
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. FM 2011: 103-117 - [c46]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel:
Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567 - [c45]Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün:
Automated Configuration of Legacy Applications in the Cloud. UCC 2011: 170-177 - [e5]Gwen Salaün, Bernhard Schätz:
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959, Springer 2011, ISBN 978-3-642-24430-8 [contents] - 2010
- [j8]Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee:
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22(6): 681-711 (2010) - [c44]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel:
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626 - [c43]Radu Mateescu, Gwen Salaün:
Translating Pi-Calculus into LOTOS NT. IFM 2010: 229-244 - [c42]Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) 2010: 112-126 - [c41]Meriem Ouederni, Gwen Salaün:
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability. WCSI 2010: 57-70 - [c40]Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal:
Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77 - [c39]Gwen Salaün:
Analysis and Verification of Service Interaction Protocols - A Brief Survey. TAV-WEB 2010: 75-86 - [c38]Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS 2010: 19-34 - [e4]Mohammad Reza Mousavi, Gwen Salaün:
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. EPTCS 30, 2010 [contents] - [e3]Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents] - [e2]Javier Cámara, Carlos Canal, Gwen Salaün:
Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. EPTCS 37, 2010 [contents]
2000 – 2009
- 2009
- [j7]Hubert Garavel, Gwen Salaün, Wendelin Serwe:
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74(3): 100-127 (2009) - [c37]Javier Cámara, Carlos Canal, Gwen Salaün:
Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37 - [c36]Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel:
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE 2009: 627-630 - [c35]Gwen Salaün, Tevfik Bultan:
Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182 - [c34]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75 - [c33]Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün:
A formal model and composition language for context-aware service protocols. CASTA@ESEC/SIGSOFT FSE 2009: 17-20 - [c32]