HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-01630851v1  Conference papers
Margaux DuroeulxNicolae BrinzeiMarie DuflotStephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment
10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8
...
hal-01652138v1  Conference papers
Sara HimmichePascale MarangéAlexis AubryMarie DuflotJean-François Pétin. Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques
11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
...
hal-01087871v1  Journal articles
Jingshu ChenMarie DuflotStephan Merz. Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2014, Automated Verification of Critical Systems 2014, 70, pp.14
...
hal-02978389v1  Conference papers
Marie DuflotYann Duplouy. Statistical Model Checking of Distributed Programs within SimGrid
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
...
hal-01652140v1  Conference papers
Sara HimmicheAlexis AubryPascale MarangéJean-François PétinMarie Duflot. Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule
7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France
...
hal-02144467v1  Journal articles
Margarida RomeroMarie DuflotThierry Viéville. Le jeu du robot : analyse d’une activité d’informatique débranchée sous la perspective de la cognition incarnée.
Review of science, mathematics and ICT education, Laboratory of Didactics of Sciences, Mathematics and ICT, Department of Educational Sciences and Early Childhood Education - University of Patras., 2019, 13 (1), ⟨10.26220/rev.3089⟩