Marion Guthmuller

According to our database¹, Marion Guthmuller authored at least 2 papers in 2015.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles. (Dynamic formal verification of temporal properties on legacy distributed applications).

[BibT_eX]

[DOI]

Marion Guthmuller

PhD thesis, 2015

System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.

[BibT_eX]

[DOI]

Marion Guthmuller

Martin Quinson

Gabriel Corona

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Marion Guthmuller

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...