C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

A list of publications related to the CADP software is available here.

The list of publications of the former VASY team is available here.

2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  ]

2 0 1 9

Journals

Book Chapters

  • Hunting Superfluous Locks with Model Checking
    Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, and Eric Jenn
    From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Porto, Portugal), October 8, 2019.
    Full text: Logo PDF

Conferences and Workshops

  • Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case
    Umar Ozeer, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, and Jean-Marc Vincent
    Proceedings of the 22nd Conference on Innovation in Clouds, Internet and Networks ICIN'2019 (Paris, France), February 19-21, 2019.
    Full text: Logo PDF

  • Debugging of Behavioural Models with CLEAR
    Gianluca Barbon, Vincent Leroy, and Gwen Salaün
    Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2019 (Prague, Czech Republic), April 6-11, 2019.
    Full text: Logo PDF

  • TOOLympics 2019: An Overview of Competitions in Formal Methods
    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, and Akihisa Yamada
    Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2019 (Prague, Czech Republic), April 6-11, 2019.
    Full text: Logo PDF

  • The Rewrite Engines Competitions: A RECtrospective
    Francisco Durán and Hubert Garavel
    Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2019, Part III: TOOLympics (Prague, Czech Republic), April 6-11, 2019.
    Full text: Logo PDF      Slides: Logo PDF

  • Visual Debugging of Behavioural Models
    Gianluca Barbon, Vincent Leroy, Gwen Salaün, and Emmanuel Yah
    Proceedings of the 41st ACM/IEEE International Conference on Software Engineering ICSE'2019 (Montréal, Canada), May 25-31, 2019.
    Full text: Logo PDF

  • IoT Composer: Composition and Deployment of IoT Applications
    Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, and Gwen Salaün
    Proceedings of the 41st ACM/IEEE International Conference on Software Engineering ICSE'2019 (Montréal, Canada), May 25-31, 2019.
    Full text: Logo PDF

  • Rigorous Design and Deployment of IoT Applications
    Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, and Gwen Salaün
    Proceedings of the 7th International Conference on Formal Methods in Software Engineering FormaliSE'2019 (Montréal, Canada), May 27, 2019.
    Full text: Logo PDF

  • Compositional Verification of Concurrent Systems by Combining Bisimulations
    Frédéric Lang, Radu Mateescu, and Franco Mazzanti
    Proceedings of the 3rd World Congress on Formal Methods FM'2019 (Porto, Portugal), October 7-11, 2019.
    Full text: Logo PDF

  • Automated Composition, Analysis and Deployment of IoT Applications
    Francisco Durán, Gwen Salaün, and Ajay Krishna
    Proceedings of the 51st International Conference on Software Technology: Methods and Tools TOOLS'2019 (Innopolis, Russia), October 15-17, 2019.
    Full text: Logo PDF

  • Analysis of Resource Allocation of BPMN Processes
    Francisco Durán, Camilo Rocha, and Gwen Salaün
    Proceedings of the 17th International Conference on Service-Oriented Computing ICSOC'2019 (Toulouse, France), October 28-31, 2019.
    Full text: Logo PDF

  • Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving
    Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, and Christian Laugier
    Proceedings of the 9th IEEE International Conference on Cybernetics and Intelligent Systems, Robotics, Automation and Mechatronics CIS-RAM'2019 (Bangkok, Thailand), November 18-20, 2019.
    Full text: Logo PDF

2 0 1 8

Activity Report 2018      Logo PDF

Journals

Conferences and Workshops

Theses

Journals and Proceedings Edited

2 0 1 7

Activity Report 2017      Logo PDF

Journals

Book Chapters

  • From LOTOS to LNT
    Hubert Garavel, Frédéric Lang, and Wendelin Serwe
    ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Twente, The Netherlands), October 18, 2017.
    Full text: Logo PDF      Slides: Logo PDF

Conferences and Workshops

Journals and Proceedings Edited

2 0 1 6

Activity Report 2016      Logo PDF

Journals

Conferences and Workshops

Theses

Journals and Proceedings Edited

2 0 1 5

Activity Report 2015      Logo PDF

Journals

Conferences and Workshops

Theses

Research Reports

2 0 1 4

Activity Report 2014      Logo PDF

Journals

Conferences and Workshops

Research Reports

Journals and Proceedings Edited

2 0 1 3

Activity Report 2013      Logo PDF

Journals

Book Chapters

Conferences and Workshops

Journals and Proceedings Edited

2 0 1 2

Activity Report 2012      Logo PDF

Journals

Conferences and Workshops

Journals and Proceedings Edited

Miscellaneous

 
 
Logo Twitter
 
Last modified: 2019/12/03 13:52:37.