Sylvain Conchon | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Rupak Majumdar
36 publications
Thierry Lecomte
4 publications
Fatiha Zaidi
4 publications
David Deharbe
3 publications
Emmanuel Chailloux
3 publications
Etienne Prun
2 publications
Amit Goel
1 publication
Sava Krstic
1 publication
Mattias Roux
1 publication
David Declerck
1 publication
Adilla Susungi
1 publication

research

∙ 05/13/2020

Low Cost High Integrity Platform

Developing safety critical applications often require rare human resourc...

0 Thierry Lecomte, et al. ∙

research

∙ 11/20/2018

FAR-Cubicle - A new reachability algorithm for Cubicle

We present a fully automatic algorithm for verifying safety properties o...

0 Sylvain Conchon, et al. ∙

research

∙ 05/15/2018

Parameterized Model Checking Modulo Explicit Weak Memory Models

We present a modular framework for model checking parameterized array-ba...

0 Sylvain Conchon, et al. ∙