DECIDE!

News

Conferences
- 28 - 30 mai 2018 GT Verif 2018
- 13 July 2018 ADSL 2018
- 26-28 september 2018 VECoS 2018
- 10-13 November 2018 RV 2018

Seminars
- 31 May 2018 Cristina Serban: Automated reasoning in separation logic with inductive definitions (Phd)
- 25 June 2018 Stefano Berardi: Martin-lof's inductive definitions are not equivalent to cyclic proofs

Recent Publications
- Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger: Counterexample-Guided Refinement of Template Polyhedra
- Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, others: The W-SEPT Project: Towards Semantic-Aware WCET Estimation
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Eviter les collisions dans les réseaux 6TiSCH
- Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: L-Exclusion autostabilisante revisitée
- Karine Altisen, Pierre Corbineau: Composition certifié d'algorithmes autostabilisants silencieux
- Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe: ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics