Follow
Marion Guthmuller
Marion Guthmuller
Verified email at loria.fr
Title
Cited by
Cited by
Year
System-level state equality detection for the formal dynamic verification of legacy distributed applications
M Guthmuller, G Corona, M Quinson
Journal of Logical and Algebraic Methods in Programming 96, 1-11, 2018
52018
É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
The system can't perform the operation now. Try again later.
Articles 1–7