Alain Mebsout

According to our database1, Alain Mebsout authored at least 13 papers between 2012 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Qualification of a Model Checker for Avionics Software Verification.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Proof certificates for SMT-based model checkers for infinite-state systems.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

The Kind 2 Model Checker.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Certificates for Parameterized Model Checking.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems).
PhD thesis, 2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Invariants for finite instances and beyond.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012


  Loading...