Publis

 

Liste de publications générée automatiquement à partir de HAL

Elle n’est pas tout à fait complète, certaines « anciennes » publications doivent être ajoutées.

Publications HAL de marie duflot

Journal articles

2015

titre
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
auteur
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
article
Performance Evaluation, Elsevier, 2015, 90, pp.53-77. 〈10.1016/j.peva.2015.04.003〉
typdoc
Journal articles
DOI
DOI : 10.1016/j.peva.2015.04.003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01221815/file/main.pdf BibTex
titre
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
auteur
Paolo Ballarini, Marie Duflot
article
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 599, pp.30. 〈10.1016/j.tcs.2015.05.018〉
typdoc
Journal articles
DOI
DOI : 10.1016/j.tcs.2015.05.018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250521/file/TCS_CMSB12.pdf BibTex

2014

titre
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
auteur
Jingshu Chen, Marie Duflot, Stephan Merz
article
Electronic Communications of the EASST, 2014, Automated Verification of Critical Systems 2014, 70, pp.14. 〈http://journal.ub.tu-berlin.de/eceasst/article/view/978〉
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087871/file/postproceedings.pdf BibTex
titre
Bounding messages for free in security protocols – extension to various security properties
auteur
Myrto Arapinis, Marie Duflot
article
Information and Computation, Elsevier, 2014, pp.34. 〈10.1016/j.ic.2014.09.003〉
typdoc
Journal articles
DOI
DOI : 10.1016/j.ic.2014.09.003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01083657/file/versionjournal.pdf BibTex

Conference papers

2015

titre
When sharing computer science with everyone also helps avoiding digital prejudices.
auteur
Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, Thierry Viéville
article
Scratch2015AMS, Aug 2015, Amsterdam, Netherlands. 2015
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01154767/file/When%20sharing%20computer%20science%20with%20everyone%20also%20helps%20avoiding%20digital%20prejudices%20%281%29.pdf BibTex

2011

titre
HASL: An Expressive Language for Statistical Verification of Stochastic Models
auteur
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
article
VALUETOOLS’11, 2011, Cachan, France. Proceedings of VALUETOOLS’11
typdoc
Conference papers
Accès au bibtex
BibTex

2007

titre
Bounding Messages for Free in Security Protocols
auteur
Myrto Arapinis, Marie Duflot
article
V. Arvind and S. Prasad. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown or Invalid Region. Springer, 4855, pp.376–387, 2007, Lecture Notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex

2005

titre
A Probabilistic Property-Specific Approach to Information Flow
auteur
Marie Duflot, Danièle Beauquier, Marius Minea
article
2005, Springer, pp.206-220, 2005, LNCS 3685. 〈10.1007/11560326_16〉
typdoc
Conference papers
DOI
DOI : 10.1007/11560326_16
Accès au bibtex
BibTex

2001

titre
Unavoidable Configurations of Parameterized Rings of Processes
auteur
Marie Duflot, Laurent Fribourg, Ulf Nilsson
article
2001, Springer, pp.472-486, 2001, LNCS 2154
typdoc
Conference papers
Accès au bibtex
BibTex

Theses

2003

titre
Algorithmes distribués sur des anneaux paramétrés – Preuves de convergence probabiliste et déterministe
auteur
Marie Duflot
article
Autre [cs.OH]. École normale supérieure de Cachan – ENS Cachan, 2003. Français
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00091429/file/these.pdf BibTex

Preprints, Working Papers, …

2017

titre
Satisfiability techniques for computing minimal tie sets in reliability assessment
auteur
Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article
2017
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01518920/file/Techreport%20-%20Satisfiability%20techniques%20for%20computing%20minimal%20tie%20sets%20in%20reliability%20assessment.pdf BibTex