Marion Guthmuller
Marion Guthmuller
Bestätigte E-Mail-Adresse bei loria.fr
Titel
Zitiert von
Zitiert von
Jahr
System-level state equality detection for the formal dynamic verification of legacy distributed applications
M Guthmuller, M Quinson, G Corona
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
52015
Émulation d'applications distribuées sur des plates-formes virtuelles simulées
M Guthmuller, L Nussbaum, M Quinson
Rencontres francophones du Parallélisme (RenPar'20), 2011
32011
Interception systeme pour la capture et le rejeu de traces
M Guthmuller, M Quinson, L Nussbaum
Technical Report. Laboratoire lorrain de Recherche en Informatique et ses …, 2010
12010
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
M Guthmuller
Université de Lorraine, 2015
2015
System-level State Equality Detection for the Dynamic Verification of Distributed Applications
M Guthmuller, M Quinson
EuroSys-9th European Conference on Computer Systems, 2014
2014
State equality detection for implementation-level model-checking of distributed applications
M Guthmuller
18th International Symposium on Formal Methods-Doctoral Symposium, 2012
2012
Verification of Distributed Applications
M Guthmuller, M Quinson
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7