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.

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

2 0 1 8

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: 2018/11/14 09:21:13.