Παρακολούθηση
Marion Guthmuller
Marion Guthmuller
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα loria.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
62018
É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
State equality detection for implementation-level model-checking of distributed applications
M Guthmuller
18th International Symposium on Formal Methods-Doctoral Symposium, 2012
12012
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
Verification of Distributed Applications
M Guthmuller, M Quinson
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–7