2024
Journal articles
- titre
- Formal Methods in Industry
- auteur
- Maurice ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim Willemse, Lijun Zhang
- article
- Formal Aspects of Computing, 2024, pp.1-34. ⟨10.1145/3689374⟩
- Accès au bibtex
-
-
- titre
- Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- ACM Transactions on Autonomous and Adaptive Systems, In press, pp.1-31. ⟨10.1145/3691345⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional verification of priority systems using sharp bisimulation
- auteur
- Luca Di Stefano, Frédéric Lang
- article
- Formal Methods in System Design, 2024, 62, pp.1-40. ⟨10.1007/s10703-023-00422-1⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Automated Generation of BPMN Processes from Textual Requirements
- auteur
- Quentin Nivon, Gwen Salaün
- article
- ICSOC 2024 - 22nd International Conference on Service-Oriented Computing, Dec 2024, Tunis, Tunisia. pp.1-16
- Accès au texte intégral et bibtex
-
-
- titre
- Scenario-based Validation of Autonomous Vehicles using Augmented Reality
- auteur
- Jean-Baptiste Horel, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
- article
- ICRA 2024 - 40th Anniversary of the IEEE Conference on Robotics and Automation, IEEE, Sep 2024, Rotterdam, Netherlands. pp.1-3
- Accès au texte intégral et bibtex
-
-
- titre
- Guided Evolution of IEC 61499 Applications
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- ETFA 2024 - 29th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, Sep 2024, Padova, Italy. pp.1-8
- Accès au texte intégral et bibtex
-
-
- titre
- Improving PSS Test Generation Using Model Checking and Conformance Testing
- auteur
- Philippe Ledent, Radu Mateescu, Wendelin Serwe
- article
- FDL 2024 - 27th Forum on specification and Design Languages, Sep 2024, Stockholm, Sweden. pp.1-9, ⟨10.1109/FDL63219.2024.10673842⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Semi-Automated Refactoring of BPMN Processes
- auteur
- Quentin Nivon, Gwen Salaün
- article
- QRS 2024 - IEEE 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12
- Accès au texte intégral et bibtex
-
-
- titre
- Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- QRS 2024 - 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets
- auteur
- Pierre Bouvier, Hubert Garavel
- article
- PETRI NETS 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Genève, Switzerland. pp.379-401
- Accès au bibtex
-
-
- titre
- Automated Repair of Violated Eventually Properties in Concurrent Programs
- auteur
- Irman Faqrizal, Quentin Nivon, Gwen Salaün
- article
- FormaliSE 2024 - 12th IEEE/ACM International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbon, Portugal. pp.1-11, ⟨10.1145/3644033.3644383⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Probabilistic Runtime Enforcement of Executable BPMN Processes
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg City, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_3⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Testing Resource Isolation for System-on-Chip Architectures
- auteur
- Philippe Ledent, Radu Mateescu, Wendelin Serwe
- article
- MARS 2024 - 6th Workshop on Models for Formal Analysis of Real Systems, Apr 2024, Luxembourg, Luxembourg. pp.1-40, ⟨10.48550/arXiv.2403.18720⟩
- Accès au texte intégral et bibtex
-
- titre
- Four Formal Models of IEEE 1394 Link Layer
- auteur
- Hubert Garavel, Bas Luttik
- article
- Proceedings of the 6th Workshop on Models for Formal Analysis of Real Systems (MARS 2O24), Apr 2024, Luxembourg, Luxembourg. ⟨10.48550/arXiv.2403.18723⟩
- Accès au bibtex
-
-
- titre
- Probabilistic Model Checking for IEC 61499: A Manufacturing Application
- auteur
- Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
- article
- ICIT 2024 - 25th IEEE International Conference on Industrial Technology, IEEE, Mar 2024, Bristol, United Kingdom. pp.1-6
- Accès au texte intégral et bibtex
-
Videos
-
- titre
- Scenario-based Validation of Autonomous Vehicles using Augmented Reality
- auteur
- Jean-Baptiste Horel, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
-
- titre
- A Toolchain to Compute Concurrent Places of Petri Nets
- auteur
- Nicolas Amat, Pierre Bouvier, Hubert Garavel
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 2023, Lecture Notes in Computer Science, 14150, pp.1-26. ⟨10.1007/978-3-662-68191-6_1⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model
- auteur
- Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
- article
- Journal of Intelligent and Robotic Systems, 2023, 107 (4), pp.1-45. ⟨10.1007/s10846-023-01808-3⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- A Navigation-Based Evaluation Metric for Probabilistic Occupancy Grids: Pathfinding Cost Mean Squared Error
- auteur
- Jean-Baptiste Horel, Robin Baruffa, Lukas Rummelhard, Alessandro Renzaglia, Christian Laugier
- article
- ITSC 2023 - 26th IEEE International Conference on Intelligent Transportation Systems, IEEE, Sep 2023, Bilbao, Spain, Spain. pp.1-6
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional Verification of Stigmergic Collective Systems
- auteur
- Luca Di Stefano, Frederic Lang
- article
- VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. pp.1-22, ⟨10.1007/978-3-031-24950-1_8⟩
- Accès au texte intégral et bibtex
-
Special issue
-
- 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⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Rapport d’évaluation de l’unité FEMTO-ST – Franche-Comté Électronique, Mécanique, Thermique et Optiques - Sciences et Technologies
- auteur
- Eric 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, pp.1-51
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Hierarchical concurrent systems : equivalence, analysis and structuring
- auteur
- Pierre Bouvier
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes [2020-..], 2023. Français. ⟨NNT : 2023GRALM045⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of Distributed Systems via Sequential Emulation
- auteur
- Luca Di Stefano, Rocco de Nicola, Omar Inverso
- article
- ACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
- auteur
- Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
- article
- Mars 2022 - 5th Workshop on Models for Formal Analysis of Real Systems, Apr 2022, Munich, Germany. pp.60-117, ⟨10.4204/EPTCS.355.5⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
- auteur
- Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
- article
- DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- Equivalence Checking 40 Years After: A Review of Bisimulation Tools
- auteur
- Hubert Garavel, Frédéric Lang
- article
- A Journey from Process Algebra via Timed Automata to Model Learning, 13560, Springer Nature Switzerland; Springer Nature Switzerland, pp.213-265, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15629-8_13⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Compositional Verification of Priority Systems using Sharp Bisimulation
- auteur
- Luca Di Stefano, Frédéric Lang
- article
- [Research Report] INRIA. 2022, pp.1-32
- Accès au texte intégral et bibtex
-
2021
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional Verification of Concurrent Systems by Combining Bisimulations
- auteur
- Frederic Lang, Radu Mateescu, Franco Mazzanti
- article
- Formal Methods in System Design, 2021, ⟨10.1007/s10703-021-00360-w⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- Is CADP an Applicable Formal Method?
- auteur
- Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe
- article
- AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Verifying Temporal Properties of Stigmergic Collective Systems Using CADP
- auteur
- Luca Di Stefano, Frédéric Lang
- article
- ISoLA 2021 - 10th International Symposium on Leveraging Applications of Formal Methods, Oct 2021, Rhodes, Greece. pp.473-489, ⟨10.1007/978-3-030-89159-6_29⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
- auteur
- Pierre Bouvier, Hubert Garavel
- article
- PETRI NETS 2021 - 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
Special issue
-
- 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⟩
- Accès au texte intégral et bibtex
-
Books
-
- 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⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- The VLSAT-3 Benchmark Suite
- auteur
- Pierre Bouvier
- article
- [Research Report] RT-0516, INRIA Grenoble Rhône-Alpes. 2021, pp.1-20
- Accès au texte intégral et bibtex
-
-
- titre
- The VLSAT-2 Benchmark Suite
- auteur
- Pierre Bouvier, Hubert Garavel
- article
- [Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
- Accès au texte intégral et bibtex
-
2020
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional model checking with divergence preserving branching bisimilarity is lively
- auteur
- Sander de Putter, Frédéric Lang, Anton Wijs
- article
- Science of Computer Programming, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩
- Accès au texte intégral et bibtex
-
-
- titre
- So, what exactly is a qualitative calculus?
- auteur
- Armen Inants, Jérôme Euzenat
- article
- Artificial Intelligence, 2020, 289, pp.103385. ⟨10.1016/j.artint.2020.103385⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Automated Transition Coverage in Behavioural Conformance Testing
- auteur
- Lina Marsso, Radu Mateescu, Wendelin Serwe
- article
- ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- The 2020 Expert Survey on Formal Methods
- auteur
- Hubert Garavel, Maurice ter Beek, Jaco van de Pol
- article
- FMICS 2020 - 25th International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria. pp.3-69, ⟨10.1007/978-3-030-58298-2_1⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account
- auteur
- Pierre Bouvier, Hubert Garavel, Hernan Ponce de León
- article
- PETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France
- Accès au texte intégral et bibtex
-
-
- titre
- Combining SLiVER with CADP to Analyze Multi-agent Systems
- auteur
- Luca Di Stefano, Frédéric Lang, Wendelin Serwe
- article
- COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Specifying a Cryptographical Protocol in Lustre and SCADE
- auteur
- Lina Marsso
- article
- MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, Apr 2020, Dublin, Ireland. pp.149-199, ⟨10.4204/EPTCS.316.7⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
- auteur
- Frédéric Lang, Radu Mateescu, Franco Mazzanti
- article
- TACAS 2020 - Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.57-76, ⟨10.1007/978-3-030-45237-7_4⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Using Model Checking to Identify Timing Interferences on Multicore Processors
- auteur
- Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu
- article
- ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10
- Accès au texte intégral et bibtex
-
-
- titre
- Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
- auteur
- Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
- article
- MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Proposal for Adding Useful Features to Petri-Net Model Checkers
- auteur
- Hubert Garavel
- article
- [Research Report] Inria Grenoble - Rhône-Alpes. 2020
- Accès au texte intégral et bibtex
-
-
- titre
- The VLSAT-1 Benchmark Suite
- auteur
- Pierre Bouvier, Hubert Garavel
- article
- [Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Models and Verification for Composition and Reconfiguration of Web of Things Applications
- auteur
- Ajay Krishna Muroor Nadumane
- article
- Other [cs.OH]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM067⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Nested-unit Petri nets
- auteur
- Hubert Garavel
- article
- Journal of Logical and Algebraic Methods in Programming, 2019, 104, pp.60-85. ⟨10.1016/j.jlamp.2018.11.005⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Asynchronous Testing of Synchronous Components in GALS Systems
- auteur
- Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
- article
- IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving
- auteur
- Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
- article
- CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM), Nov 2019, Bangkok, Thailand. pp.1-6
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional Verification of Concurrent Systems by Combining Bisimulations
- auteur
- Frédéric Lang, Radu Mateescu, Franco Mazzanti
- article
- FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- TOOLympics 2019: An Overview of Competitions in Formal Methods
- auteur
- Ezio Bartocci, Dirk Beyer, Paul Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
- article
- 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
- Accès au bibtex
-
-
- titre
- The Rewrite Engines Competitions: A RECtrospective
- auteur
- Francisco Durán, Hubert Garavel
- article
- Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part III: TOOLympics, Apr 2019, Prague, Czech Republic. pp.1-9, ⟨10.1007/978-3-030-17502-3⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- Hunting Superfluous Locks with Model Checking
- auteur
- Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
- article
- From Software Engineering to Formal Methods and Tools, and Back, 11865, Springer Verlag, pp.416-432, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-30985-5_24⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Reflections on Bernhard Steffen’s Physics of Software Tools
- auteur
- Hubert Garavel, Radu Mateescu
- article
- Models, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Autonomic resilience of distributed IoT applications in the Fog
- auteur
- Umar Ibn Zaid Ozeer
- article
- Databases [cs.DB]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM054⟩
- Accès au texte intégral et bibtex
-
-
- titre
- On Model-based Testing of GALS Systems
- auteur
- Lina Marsso
- article
- Formal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM078⟩
- Accès au texte intégral et bibtex
-
2018
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- auteur
- Radu Mateescu, José Ignacio Requeno
- article
- International Journal on Software Tools for Technology Transfer, 2018, 20 (5), pp.563-587. ⟨10.1007/s10009-018-0499-0⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Compositional Verification in Action
- auteur
- Hubert Garavel, Frédéric Lang, Laurent Mounier
- article
- FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Using LNT Formal Descriptions for Model-Based Diagnosis
- auteur
- Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
- article
- DX 2018 - 29th International Workshop on Principles of Diagnosis, Aug 2018, Warsaw, Poland. pp.1-8
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits
- auteur
- Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- ASYNC'18 - 24th IEEE International Symposium on Asynchronous Circuits and Systems , May 2018, Vienne, Austria
- Accès au texte intégral et bibtex
-
-
- titre
- Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
- auteur
- Hubert Garavel, Lina Marsso
- article
- MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.41 - 87, ⟨10.4204/EPTCS.268.2⟩
- Accès au texte intégral et bibtex
-
-
- titre
- A Formal TLS Handshake Model in LNT
- auteur
- Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
- article
- MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
- auteur
- Lina Marsso, Radu Mateescu, Wendelin Serwe
- article
- TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.211-228, ⟨10.1007/978-3-319-89963-3_13⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition
- auteur
- Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
- article
- Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), 2018, Thessaloniki, Greece
- Accès au texte intégral et bibtex
-
Special issue
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Recent advances in interactive and automated analysis
- auteur
- Radu Mateescu
- article
- France. International Journal on Software Tools for Technology Transfer, 20 (2), pp.119 - 123, 2018, ⟨10.1007/s10009-017-0477-y⟩
- Accès au texte intégral et bibtex
-
Proceedings
-
- titre
- MCC’2017 - The Seventh Model Checking Contest
- auteur
- Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Debugging of Behavioural Models using Counterexample Analysis
- auteur
- Gianluca Barbon
- article
- Systems and Control [cs.SY]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM077⟩
- Accès au texte intégral et bibtex
-
2017
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous
- auteur
- Hugues Evrard, Frédéric Lang
- article
- Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- On the Most Suitable Axiomatization of Signed Integers
- auteur
- Hubert Garavel
- article
- 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2017, Gregynog, Wales, UK, United Kingdom. pp.120-134, ⟨10.1007/978-3-319-72044-9_9⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking
- auteur
- Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
- article
- 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
- auteur
- Hubert Garavel, Wendelin Serwe
- article
- 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.230 - 270, ⟨10.4204/EPTCS.244.10⟩
- Accès au texte intégral et bibtex
-
-
- titre
- A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
- auteur
- Hubert Garavel, Lina Marsso
- article
- 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.129 - 183, ⟨10.4204/EPTCS.244.6⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- From LOTOS to LNT
- auteur
- Hubert Garavel, Frédéric Lang, Wendelin Serwe
- article
- Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩
- Accès au texte intégral et bibtex
-
Special issue
-
- 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⟩
- Accès au texte intégral et bibtex
-
2016
Journal articles
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Modelling and Verification of GALS Systems Using GRL and CADP
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of EB3 specifications using CADP
- auteur
- Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
- article
- Formal Aspects of Computing, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications
- auteur
- Rim Abid, Gwen Salaün, Noël de Palma
- article
- Science of Computer Programming, 2016, 117, pp.1-16. ⟨10.1016/j.scico.2015.12.001⟩
- Accès au texte intégral et bibtex
-
-
- titre
- An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis
- auteur
- Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
- article
- Science of Computer Programming, 2016, ⟨10.1016/j.scico.2016.01.002⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Taking Arduino to the Internet of Things: the ASIP programming model
- auteur
- Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin
- article
- Computer Communications, 2016, 00, pp.1 - 15. ⟨10.1016/j.comcom.2016.03.016⟩
- Accès au texte intégral et bibtex
-
-
- titre
- MCC’2015 – The Fifth Model Checking Contest
- auteur
- Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- DAPA: Degradation-Aware Privacy Analysis of Android Apps
- auteur
- Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
- article
- STM 2016 - 12th International Workshop on Security and Trust Management, Sep 2016, Heraklion, Greece. pp.32 - 46, ⟨10.1007/978-3-319-46598-2_3⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- auteur
- Radu Mateescu, José Ignacio Requeno
- article
- 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_13⟩
- Accès au texte intégral et bibtex
-
-
- titre
- DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
- auteur
- Hugues Evrard
- article
- TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩
- Accès au texte intégral et bibtex
-
- titre
- Using formal models to cross check an implementation
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Danièle Dadolle
- article
- Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016, 2016, Brussels, Belgium, Belgium. pp.126-137, ⟨10.1145/2933242.2933257⟩
- Accès au bibtex
-
Special issue
-
- titre
- Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
- auteur
- Frédéric Lang, Francesco Flammini
- article
- France. Science of Computer Programming, 118, pp.1-2, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), ⟨10.1016/j.scico.2016.01.004⟩
- Accès au texte intégral et bibtex
-
Books
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Formal framework for modelling and verifying globally asynchronous locally synchronous systems
- auteur
- Fatma Jebali
- article
- Computation and Language [cs.CL]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM036⟩
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Verification of Plastic Interactive Systems
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- i-com, 2015, 14 (3), pp.192-204. ⟨10.1515/icom-2015-0036⟩
- Accès au bibtex
-
- titre
- Compositional Verification of Asynchronous Concurrent Systems using CADP
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu
- article
- Acta Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
- Accès au bibtex
-
-
- titre
- Revisiting sequential composition in process calculi
- auteur
- Hubert Garavel
- article
- Journal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
- auteur
- Wendelin Serwe
- article
- Proceedings of the first Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Nov 2015, Suva, Fiji. ⟨10.4204/EPTCS.196.6⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
- auteur
- Rim Abid, Gwen Salaün, Noël 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
- Accès au texte intégral et bibtex
-
- titre
- Equivalence Checking for Comparing User Interfaces
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2774844⟩
- Accès au bibtex
-
- titre
- Plasticity of User Interfaces: Formal Verification of Consistency
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2775078⟩
- Accès au bibtex
-
-
- titre
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- auteur
- Hubert Garavel
- article
- 36th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS'2015, Jun 2015, Brussels, Belgium. ⟨10.1007/978-3-319-19488-2_9⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Reasoning in description logics with variables: preliminary results regarding the EL logic.
- auteur
- Lakhdar Akroun, Lhouari Nourine, Farouk Toumani
- article
- 28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
- Accès au texte intégral et bibtex
-
-
- titre
- Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, UK, France. pp.708--722, ⟨10.1007/978-3-662-46681-0_62⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
- auteur
- Hugues Evrard, Frédéric Lang
- article
- 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu
- article
- [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision
- auteur
- Raquel Araùjo De Oliveira
- article
- Computation and Language [cs.CL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM025⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Methods for Functional Verification of Cache-Coherent System-on-Chip
- auteur
- Abderahman Kriouile
- article
- Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent
- auteur
- Abderahman Kriouile
- article
- Micro and nanotechnologies/Microelectronics. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM041⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
- auteur
- Hugues Evrard
- article
- Génie logiciel [cs.SE]. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM020⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
-
- titre
- Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity
- auteur
- Radu Mateescu, Anton Wijs
- article
- Science of Computer Programming, 2014, ⟨10.1016/j.scico.2014.04.004⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP
- auteur
- Etienne Lantreibecq, Wendelin Serwe
- article
- Science of Computer Programming, 2014, 80, pp.130-149. ⟨10.1016/j.scico.2013.01.003⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
- auteur
- Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
- article
- 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, Sep 2014, Florence, Italy. pp.48-62, ⟨10.1007/978-3-319-10702-8_4⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
- titre
- Formal verification of UI using the power of a recent tool suite
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Calvary Gaëlle
- article
- EICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, ⟨10.1145/2607023.2610280⟩
- Accès au bibtex
-
-
- titre
- Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones
- auteur
- Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, Ioannis Parissis
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
- Accès au texte intégral et bibtex
-
-
- titre
- A Model-Based Certification Framework for the EnergyBus Standard
- auteur
- Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
- article
- 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
Books
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Methods for Industrial Critical Systems
- auteur
- Frédéric Lang, Francesco Flammini
- article
- 2014
- Accès au bibtex
-
- titre
- Software Engineering and Formal Methods
- auteur
- Gwen Salaün, Dimitra Giannakopoulou
- article
- 2014, ⟨10.1007/978-3-319-10431-7⟩
- Accès au bibtex
-
Reports
-
- titre
- Stability of Asynchronously Communicating Systems
- auteur
- Gwen Salaün, Lina Ye
- article
- [Research Report] RR-8561, INRIA. 2014
- Accès au texte intégral et bibtex
-
-
- titre
- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- [Research Report] RR-8527, INRIA. 2014
- Accès au texte intégral et bibtex
-
-
- titre
- Flooding-Based Algorithm for Behavioural Compatibility Measuring
- auteur
- Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- Formal Modeling and Verification of GALS Systems Using GRL and CADP
- auteur
- Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu
- article
- 2014
- Accès au texte intégral et bibtex
-
2013
Journal articles
-
- titre
- Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
- auteur
- Frederic Lang, Radu Mateescu
- article
- Logical Methods in Computer Science, 2013, 9 (4)
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Optimization of Large Probabilistic Models
- auteur
- Simon Struck, Matthias Güdemann, Frank Ortmeier
- article
- Journal of Systems and Software, 2013, ⟨10.1016/j.jss.2013.03.078⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Composition and abstraction of logical regulatory modules: application to multicellular systems
- auteur
- Nuno D Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
- article
- Bioinformatics, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩
- Accès au texte intégral et bibtex
-
-
- titre
- CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
- article
- International Journal on Software Tools for Technology Transfer, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Predictability Analysis of Distributed Discrete Event Systems
- auteur
- Lina Ye, Philippe Dague, Farid Nouioua
- article
- 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.5009-5015
- Accès au texte intégral et bibtex
-
-
- titre
- Compatibility Checking for Asynchronously Communicating Software
- auteur
- Meriem Ouederni, Gwen Salaün, Tevfik Bultan
- article
- FACS 2013, Oct 2013, Nanchang, China
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain. pp.108-122
- Accès au texte intégral et bibtex
-
-
- titre
- Analyse formelle du protocole ACE : cohérence de caches des systèmes sur puce
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- École d'été Temps-Réel 2013, Aug 2013, Toulouse, France. pp.130-133
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of EB3 Specifications Using CADP
- auteur
- Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
- article
- iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Verification of Distributed Branching Multiway Synchronization Protocols
- auteur
- Hugues Evrard, Frédéric Lang
- article
- 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000
- auteur
- Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France
- Accès au texte intégral et bibtex
-
Book sections
-
- 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⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- Formal Aspects of Component Software
- auteur
- Gwen Salaün, Corina Pasareanu
- article
- 2013, ⟨10.1007/978-3-642-35861-6⟩
- Accès au bibtex
-
2012
Journal articles
-
- titre
- La fiabilité des systèmes devient un défi majeur
- auteur
- Hubert Garavel, Isabelle Bellin
- article
- Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 3 p
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
- titre
- On Explicit Substitution with Names
- auteur
- Kristoffer H. Rose, Roel Bloo, Frederic Lang
- article
- Journal of Automated Reasoning, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩
- Accès au bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols
- auteur
- Radu Mateescu, Wendelin Serwe
- article
- Science of Computer Programming, 2012, 78 (7), pp.843-861. ⟨10.1016/j.scico.2012.01.003⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Sequential and distributed on-the-fly computation of weak tau-confluence
- auteur
- Radu Mateescu, Anton Wijs
- article
- Science of Computer Programming, 2012, 77 (10-11), pp.1075-1094. ⟨10.1016/j.scico.2011.07.004⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Multi-Objective Optimization of Formal Specifications
- auteur
- Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
- article
- HASE 2012 - 14th High Assurance System Engineering Symposium, Oct 2012, Omaha, United States. pp.201-208, ⟨10.1109/HASE.2012.21⟩
- Accès au texte intégral et bibtex
-
-
- 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids
- auteur
- Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom
- Accès au texte intégral et bibtex
-
-
- titre
- Trajectory Description Conception for Industrial Robots
- auteur
- Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
- article
- ROBOTIK 2012 - 7th German Conference on Robotics, May 2012, Munich, Germany. pp.365-370
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- titre
- Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
- auteur
- Frédéric Lang, Radu Mateescu
- article
- Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia
- Accès au texte intégral et bibtex
-
-
- titre
- Unifying Probabilistic and Traditional Formal Model Based Analysis
- auteur
- Matthias Güdemann, Michael Lipaczewski, Simon Struck, Frank Ortmeier
- article
- 8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany
- Accès au texte intégral et bibtex
-
Books
-
- 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⟩
- Accès au texte intégral et bibtex
-
Documents associated with scientific events
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et bibtex
-
