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
[j40]Irman Faqrizal
, Gwen Salaün, Yliès Falcone:
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 19(4): 24:1-24:31 (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]Francisco Durán, Meriem Ouederni, Gwen Salaün:
Checking Protocol Compatibility using Maude. FOCLASA 2009: 65-81 - [c31]Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. FACS@FMWeek 2009: 95-110 - [c30]Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi:
Analyzing Chor Specifications by Translation into FSP. FOCLASA 2009: 159-176 - [e1]Gwen Salaün, Marjan Sirjani:
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009. Electronic Notes in Theoretical Computer Science 255, Elsevier 2009 [contents] - 2008
- [j6]Javier Cámara, Gwen Salaün, Carlos Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. 14(13): 2182-2211 (2008) - [j5]Carlos Canal, Pascal Poizat, Gwen Salaün:
Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008) - [c29]Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427 - [c28]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99 - [c27]Gwen Salaün:
Generation of Service Wrapper Protocols from Choreography Specifications. SEFM 2008: 313-322 - 2007
- [j4]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33(3): 157-170 (2007) - [j3]Antonella Chirichiello, Gwen Salaün:
Encoding process algebraic descriptions of web services into BPEL. Web Intell. Agent Syst. 5(4): 419-434 (2007) - [c26]Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet:
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. ASYNC 2007: 73-82 - [c25]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323 - [c24]Pascal Poizat, Gwen Salaün:
Adaptation of Open Component-Based Systems. FMOODS 2007: 141-156 - [c23]Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee:
Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578 - [c22]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388 - [c21]Javier Cámara, Gwen Salaün, Carlos Canal:
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390 - [c20]Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS 2007: 39-55 - [c19]Javier Cámara, Carlos Canal, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. FACS 2007: 111-130 - 2006
- [j2]Gwen Salaün, Lucas Bordeaux, Marco Schaerf:
Describing and reasoning on Web Services using Process Algebra. Int. J. Bus. Process. Integr. Manag. 1(2): 116-128 (2006) - [c18]Carlos Canal, Pascal Poizat, Gwen Salaün:
Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL 2006: 31-39 - [c17]Pascal Poizat, Jean-Claude Royer, Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47 - [c16]Carlos Canal, Pascal Poizat, Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77 - [c15]Pascal Poizat, Gwen Salaün, Massimo Tivoli:
An Adaptation-based Approach to Incrementally Build Component Systems. FACS 2006: 155-170 - 2005
- [c14]Gwen Salaün, Wendelin Serwe:
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM 2005: 287-306 - [c13]Antonella Chirichiello, Gwen Salaün:
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Web Intelligence 2005: 457-463 - 2004
- [j1]Gwen Salaün, J. Christian Attiogbé:
MIAOw: a Method to Integrate a Process Algebra with Formal Data. Informatica (Slovenia) 28(2): 207-219 (2004) - [c12]Gwen Salaün, Andrea Ferrara, Antonella Chirichiello:
Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212 - [c11]Gwen Salaün, Lucas Bordeaux, Marco Schaerf:
Describing and Reasoning on Web Services using Process Algebra. ICWS 2004: 43- - [c10]Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella:
When are Two Web Services Compatible? TES 2004: 15-28 - [c9]Lucas Bordeaux, Gwen Salaün:
Using Process Algebra for Web Services: Early Results and Perspectives. TES 2004: 54-68 - [c8]Gwen Salaün, Pascal Poizat:
Interacting Extended State Diagrams. SFEDL@ETAPS 2004: 49-57 - 2003
- [c7]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355 - [c6]Gwen Salaün, J. Christian Attiogbé:
Formalising an Integrated Language in PVS. ICFEM 2003: 187-205 - [c5]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240 - 2002
- [c4]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC 2002: 385-392 - [c3]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002 - [c2]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components. Formal Methods and Component Interaction @ ICALP 2002: 114-133 - 2001
- [c1]Gwen Salaün, Michel Allemand, J. Christian Attiogbé:
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC 2001: 299-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
