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

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

2 0 1 8

Activity Report 2018      Logo PDF

Journals

Conferences and Workshops

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/06/05 13:39:37.