Documentation
Français (FR)

Anglais (EN)

Marie Duflot

21

Documents

Publications

	Le jeu du robot : analyse d’une activité d’informatique débranchée sous la perspective de la cognition incarnée. Margarida Romero , Marie Duflot , Thierry Viéville Review of science, mathematics and ICT education, 2019, 13 (1), ⟨10.26220/rev.3089⟩ Article dans une revue hal-02144467v1
	HASL: A new approach for performance evaluation and model checking from concepts to experimentation Paolo Ballarini , Benoît Barbot , Marie Duflot , Serge Haddad , Nihal Pekergin Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩ Article dans une revue hal-01221815v1
	Applications of an expressive statistical model checking approach to the analysis of genetic circuits Paolo Ballarini , Marie Duflot Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩ Article dans une revue hal-01250521v2
	Bounding messages for free in security protocols – extension to various security properties Myrto Arapinis , Marie Duflot Information and Computation, 2014, pp.34. ⟨10.1016/j.ic.2014.09.003⟩ Article dans une revue hal-01083657v1
	Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations Jingshu Chen , Marie Duflot , Stephan Merz Electronic Communications of the EASST, 2014, Automated Verification of Critical Systems 2014, 70, pp.14 Article dans une revue hal-01087871v1

	PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental Gilbert Busana , Brigitte Denis , Marie Duflot-Kremer , Sarah Higuet , Lara Kataja Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France Communication dans un congrès hal-02463940v1
	PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education Yannick Parmentier , Robert Reuter , Sarah Higuet , Lara Kataja , Yves Kreis AACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322 Communication dans un congrès hal-02888504v1
	Statistical Model Checking of Distributed Programs within SimGrid Marie Duflot , Yann Duplouy SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France Communication dans un congrès hal-02978389v1
	Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees Margaux Duroeulx , Nicolae Brinzei , Marie Duflot , Stephan Merz 29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩ Communication dans un congrès hal-02262205v1
	Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques Sara Himmiche , Pascale Marangé , Alexis Aubry , Marie Duflot , Jean-François Pétin 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France Communication dans un congrès hal-01652138v1
	Satisfiability techniques for computing minimal tie sets in reliability assessment Margaux Duroeulx , Nicolae Brinzei , Marie Duflot , Stephan Merz 10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8 Communication dans un congrès hal-01630851v1
	Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule Sara Himmiche , Alexis Aubry , Pascale Marangé , Jean-François Pétin , Marie Duflot 7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France Communication dans un congrès hal-01652140v1
	When sharing computer science with everyone also helps avoiding digital prejudices Marie Duflot , Martin Quinson , Florent Masseglia , Didier Roy , Julien Vaubourg SCRATCH, Aug 2015, Amsterdam, Netherlands Communication dans un congrès hal-01154767v1
	HASL: An Expressive Language for Statistical Verification of Stochastic Models Paolo Ballarini , Hilal Djafri , Marie Duflot , Serge Haddad , Nihal Pekergin VALUETOOLS’11, 2011, Cachan, France Communication dans un congrès hal-01113442v1
	Bounding Messages for Free in Security Protocols Myrto Arapinis , Marie Duflot FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387 Communication dans un congrès hal-01195943v1
	A Probabilistic Property-Specific Approach to Information Flow Marie Duflot , Danièle Beauquier , Marius Minea 2005, pp.206-220, ⟨10.1007/11560326_16⟩ Communication dans un congrès hal-00091587v1
	Unavoidable Configurations of Parameterized Rings of Processes Marie Duflot , Laurent Fribourg , Ulf Nilsson 2001, pp.472-486 Communication dans un congrès hal-00091546v1

	PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental Gilbert Busana , Brigitte Denis , Marie Duflot-Kremer , Sarah Higuet , Lara Kataja 2019 Pré-publication, Document de travail hal-02424418v2
	Satisfiability techniques for computing minimal tie sets in reliability assessment Margaux Duroeulx , Nicolae Brinzei , Marie Duflot , Stephan Merz 2017 Pré-publication, Document de travail hal-01518920v1

	Activity for learning computational thinking in plugged and unplugged mode Margarida Romero , Thierry Viéville , Marie Duflot-Kremer [Research Report] 006, UCA - INSPE Académie de Nice. 2022 Rapport hal-03793719v1

	Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe Marie Duflot Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. Français. ⟨NNT : ⟩ Thèse tel-00091429v1