Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

128 Results
authFullName_s : Gwen Salaün
Image document

Verification of a Failure Management Protocol for Stateful IoT Applications

Umar Ozeer , Gwen Salaün , Loic Letondeur , François-Gaël Ottogalli , Jean-Marc Vincent
Proc. of FMICS'20, Sep 2020, Vienne, Austria. ⟨10.1007/978-3-030-58298-2_12⟩
Conference papers hal-02930872v1
Image document

Seamless Reconfiguration of Rule-Based IoT Applications

Francisco Durán , Ajay Krishna , Michel Le Pallec , Radu Mateescu , Gwen Salaün
SEAMS 2021 - 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2021, Madrid / Virtual, Spain. pp.142-148
Conference papers hal-03254192v1
Image document

Interactive specification and verification of behavioral adaptation contracts

Javier Cámara , Gwen Salaün , Carlos Canal , Meriem Ouederni
Information and Software Technology, 2012, 54 (7), pp.701-723
Journal articles hal-00694516v1
Image document

IoT Composer: Composition and Deployment of IoT Applications

Ajay Krishna , Michel Le Pallec , Radu Mateescu , Ludovic Noirie , Gwen Salaün
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⟩
Conference papers hal-02146569v1
Image document

Model-based Adaptation of Behavioural Mismatching Components

Carlos Canal , Pascal Poizat , Gwen Salaün
IEEE Transactions on Software Engineering, 2008, 34 (4), pp.546--563. ⟨10.1109/TSE.2008.31⟩
Journal articles hal-00340122v1
Image document

Automated Analysis of Asynchronously Communicating Systems

Lakhdar Akroun , Gwen Salaün , Lina Ye
23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
Conference papers hal-01280164v1
Image document

Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)

Gwen Salaün , Mariëlle Stoelinga
Books hal-01419302v1

Software Engineering and Formal Methods

Gwen Salaün , Dimitra Giannakopoulou
Books hal-01272610v1
Image document

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes

Christian Attiogbe , Pascal Poizat , Gwen Salaün
IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
Journal articles hal-00470280v1
Image document

Automated Analysis of Industrial Workflow-based Models

Mario Cortes-Cornax , Ajay Krishna , Adrian Mos , Gwen Salaün
SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩
Conference papers hal-01781315v1
Image document

Asynchronous synthesis techniques for coordinating autonomic managers in the cloud

Rim Abid , Gwen Salaün , Noël de Palma
Science of Computer Programming, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩
Journal articles hal-01630717v1
Image document

Quantifying the Similarity of BPMN Processes

Gwen Salaün
APSEC 2022 - 29th Asia-Pacific Software Engineering Conference, Dec 2022, Virtual, Japan. pp.1-10
Conference papers hal-03890531v1
Image document

Quantifying the Parallelism in BPMN Processes using Model Checking

Radu Mateescu , Gwen Salaün , Lina Ye
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
Conference papers hal-01016412v1
Image document

Structural Reconfiguration of Systems under Behavioral Adaptation

Carlos Canal , Javier Cámara , Gwen Salaün
Science of Computer Programming, 2012, 78 (1), pp.46-64
Journal articles hal-00734057v1

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Conference papers hal-00458164v1
Image document

Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)

Gwen Salaün , Bernhard Schätz
Gwen Salaün; Bernhard Schätz. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2013.01.008⟩
Books hal-00919803v1
Image document

Realizability of Choreographies using Process Algebra Encodings

Gwen Salaün , Tevfik Bultan , Nima Roohi
IEEE Transactions on Services Computing, 2012, 5 (3), pp.290-304
Journal articles hal-00726448v1
Image document

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Gwen Salaün
4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86
Conference papers inria-00539017v1

Quantifying Service Compatibility: A Step Beyond the Boolean Approaches

Meriem Ouederni , Gwen Salaün , Ernesto Pimentel
8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626
Conference papers inria-00538963v1
Image document

Quantifying the Similarity of Non-bisimilar Labelled Transition Systems

Gwen Salaün
FOCLASA 2019 - 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. pp.1-14
Conference papers hal-02933345v1
Image document

Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS

Gwen Salaün , Wendelin Serwe
RR-5666, INRIA. 2005, pp.25
Reports inria-00070342v1
Image document

Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems

Carlos Canal , Gwen Salaün
Science of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩
Special issue hal-01898179v1
Image document

Verification of a Self-configuration Protocol for Distributed Applications in the Cloud

Gwen Salaün , Xavier Etchevers , Noël de Palma , Fabienne Boyer , Thierry Coupaye
27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283
Conference papers hal-00685394v1
Image document

Stability of Asynchronously Communicating Systems

Gwen Salaün , Lina Ye
[Research Report] RR-8561, INRIA. 2014
Reports hal-01020777v2
Image document

Consistent Substitution of Object in Rule-based IoT Applications

Gwen Salaün
COMPSAC 2021 - Computer Software and Applications Conference, Jul 2021, Virtual, United States. pp.1-9
Conference papers hal-03484028v1
Image document

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Radu Mateescu , Gwen Salaün
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⟩
Conference papers hal-00805533v1

Behavioral Adaptation of Component Compositions based on Process Algebra Encodings

Radu Mateescu , Pascal Poizat , Gwen Salaün
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⟩
Conference papers hal-00342148v1
Image document

On Dynamic Reconfiguration of Behavioural Adaptation

Pascal Poizat , Gwen Salaün , Massimo Tivoli
Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69
Conference papers hal-00342163v1
Image document

Counterexample Guided Synthesis of Monitors for Realizability Enforcement

Matthias Güdemann , Gwen Salaün , Meriem Ouederni
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⟩
Conference papers hal-00742159v1

Formal Aspects of Component Software

Gwen Salaün , Corina Pasareanu
Books hal-01272595v1