| 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 | 6 | 2018 |
| É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 | 3 | 2011 |
| State equality detection for implementation-level model-checking of distributed applications M Guthmuller 18th International Symposium on Formal Methods-Doctoral Symposium, 2012 | 1 | 2012 |
| 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 | 1 | 2010 |
| Dynamic formal verification of temporal properties on legacy distributed applications M Guthmuller < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2015 | | 2015 |
| 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 |
| Verification of Distributed Applications M Guthmuller, M Quinson | | |
