Damien Thivolle

According to our database¹, Damien Thivolle authored at least 3 papers between 2008 and 2011.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2011

Langages modernes pour la modélisation et la vérification des systèmes asynchrones. (Modern languages for modeling and verifying asynchronous systems).

[BibT_eX]

[DOI]

Damien Thivolle

PhD thesis, 2011

2009

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.

[BibT_eX]

[DOI]

Hubert Garavel

Damien Thivolle

Proceedings of the Model Checking Software, 2009

2008

A Model Checking Language for Concurrent Value-Passing Systems.

[BibT_eX]

[DOI]

Radu Mateescu

Damien Thivolle

Proceedings of the FM 2008: Formal Methods, 2008

Damien Thivolle

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...