Alain Mebsout
According to our database1,
Alain Mebsout
authored at least 14 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
0
1
2
3
4
5
1
2
4
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021
2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
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
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012