Login / Signup
Marie Duflot-Kremer
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Automated Verification
Reactive Systems
Temporal Properties
Model Checking
Top Venues
SIMULTECH
SOHOMA
</>
Publications
</>
Marie Duflot-Kremer
,
Yann Duplouy
Statistical Model Checking of Distributed Programs within SimGrid.
SIMULTECH
(2020)
Sara Himmiche
,
Alexis Aubry
,
Pascale Marangé
,
Marie Duflot-Kremer
,
Jean-François Pétin
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
SOHOMA
(2017)