Marion Guthmuller

According to our database, Marion Guthmuller authored at least 2 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

System-level state equality detection for the formal dynamic verification of legacy distributed applications.

Marion Guthmuller, Gabriel Corona, Martin Quinson

J. Log. Algebraic Methods Program., 2018

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).

Marion Guthmuller

PhD thesis, 2015