Mattias Roux

According to our database¹, Mattias Roux authored at least 3 papers between 2017 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Extensions de l'algorithme d'atteignabilité arrière dans le cadre de la vérification de modèles modulo théories. (Extensions of the backward reachability algorithm in the model checking modulo theories framework).

[BibT_eX]

[DOI]

Mattias Roux

PhD thesis, 2019

Reasoning About Universal Cubes in MCMT.

[BibT_eX]

[DOI]

Sylvain Conchon

Mattias Roux

Proceedings of the Formal Methods and Software Engineering, 2019

2017

FAR-Cubicle - A new reachability algorithm for Cubicle.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Mattias Roux

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...