Guillaume Verdier

According to our database¹, Guillaume Verdier authored at least 4 papers between 2014 and 2016.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2016

Variants of acceptance specifications for modular system design. (Variantes de spécifications à ensemble d'acceptation pour la conception modulaire de systèmes).

[BibT_eX]

[DOI]

Guillaume Verdier

PhD thesis, 2016

2015

Real-Time Model Checking Support for AADL.

[BibT_eX]

[DOI]

CoRR, 2015

Quotient of Acceptance Specifications Under Reachability Constraints.

[BibT_eX]

[DOI]

Guillaume Verdier

Jean-Baptiste Raclet

Proceedings of the Language and Automata Theory and Applications, 2015

2014

MAccS: A Tool for Reachability by Design.

[BibT_eX]

[DOI]

Guillaume Verdier

Jean-Baptiste Raclet

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Guillaume Verdier

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...