
Marie Duflot
23
Documents
Publications
Publications
|
Diagnosis of Stochastic Systems: Optimising Costs and DelaysQEST-FORMATS 2024, Sep 2024, Calgary, Alberta, Canada, Canada
Communication dans un congrès
hal-04617663
v1
|
|
Execution-time opacity control for timed automata22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩
Communication dans un congrès
hal-04732493
v2
|
|
PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement FondamentalDidapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France
Communication dans un congrès
hal-02463940
v1
|
|
Statistical Model Checking of Distributed Programs within SimGridSIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Communication dans un congrès
hal-02978389
v1
|
|
PIAF: Developing Computational and Algorithmic Thinking in Fundamental EducationAACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322
Communication dans un congrès
hal-02888504
v1
|
|
Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩
Communication dans un congrès
hal-02262205
v1
|
|
Satisfiability techniques for computing minimal tie sets in reliability assessment10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8
Communication dans un congrès
hal-01630851
v1
|
|
Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France
Communication dans un congrès
hal-01652140
v1
|
|
Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès
hal-01652138
v1
|
|
When sharing computer science with everyone also helps avoiding digital prejudicesSCRATCH, Aug 2015, Amsterdam, Netherlands
Communication dans un congrès
hal-01154767
v1
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France
Communication dans un congrès
hal-01113442
v1
|
|
Bounding Messages for Free in Security ProtocolsFSTTCS 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-01195943
v1
|
|
A Probabilistic Property-Specific Approach to Information Flow2005, pp.206-220, ⟨10.1007/11560326_16⟩
Communication dans un congrès
istex
hal-00091587
v1
|
|
Unavoidable Configurations of Parameterized Rings of Processes2001, pp.472-486
Communication dans un congrès
hal-00091546
v1
|
|
PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental2019
Pré-publication, Document de travail
hal-02424418
v2
|
|
Satisfiability techniques for computing minimal tie sets in reliability assessment2017
Pré-publication, Document de travail
hal-01518920
v1
|
|
Activity for learning computational thinking in plugged and unplugged mode[Research Report] 006, UCA - INSPE Académie de Nice. 2022
Rapport
(rapport de recherche)
hal-03793719
v1
|
|
Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministeAutre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. Français. ⟨NNT : ⟩
Thèse
tel-00091429
v1
|
Chargement...
Chargement...