default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYann Thierry-Mieg
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2016
[b1]Yann Thierry-Mieg:
From Symbolic Verification To Domain Specific Languages. (De la vérification Symbolique aux langages dédiés à un domaine). Sorbonne Université, Paris, France, 2016
Journal Articles
- 2024
- [j9]Yann Thierry-Mieg, Etienne Renault
, Emmanuel Paviot-Adet, Denis Poitrenaud:
A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. 235: 103089 (2024) - 2021
- [j8]Yann Thierry-Mieg:
Symbolic and Structural Model-Checking. Fundam. Informaticae 183(3-4): 319-342 (2021) - 2018
- [j7]Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018) - 2016
- [j6]Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil:
Formal verification of mobile robot protocols. Distributed Comput. 29(6): 459-487 (2016) - 2014
- [j5]Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg:
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5(3/4): 218-240 (2014) - 2013
- [j4]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. 8: 24-47 (2013) - 2012
- [j3]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012) - 2009
- [j2]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae 94(3-4): 413-437 (2009) - 2008
- [j1]Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. 4(3): 293-300 (2008)
Conference and Workshop Papers
- 2023
- [c29]Yann Thierry-Mieg:
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. PNSE@Petri Nets 2023: 17-33 - 2022
- [c28]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE 2022: 170-187 - 2020
- [c27]Yann Thierry-Mieg:
Structural Reductions Revisited. Petri Nets 2020: 303-323 - 2019
- [c26]Sophie Pinchinat, Barbara Fila, Florence Wacheux, Yann Thierry-Mieg:
Attack Trees: A Notion of Missing Attacks. GraMSec@CSF 2019: 23-49 - [c25]Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - 2018
- [c24]Fabrice Kordon, Yann Thierry-Mieg:
Self-adaptive Model Checking, the Next Step? Petri Nets 2018: 3-15 - [c23]Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz:
Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS 2018: 88-103 - 2016
- [c22]Yann Thierry-Mieg:
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. PNSE @ Petri Nets 2016: 30-32 - 2015
- [c21]Yann Thierry-Mieg:
Symbolic Model-Checking Using ITS-Tools. TACAS 2015: 231-237 - 2014
- [c20]Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg:
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS 2014: 440-454 - 2013
- [c19]Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV 2013: 830-845 - [c18]Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg:
Semi-automatic controller design of Java-like models. FTfJP@ECOOP 2013: 3:1-3:7 - 2012
- [c17]Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir:
State Space Analysis Using Symmetries on Decision Diagrams. ACSD 2012: 164-172 - [c16]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE 2012: 60-76 - 2011
- [c15]Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets 2011: 338-347 - [c14]Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg:
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA 2011: 336-350 - 2010
- [c13]Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371 - [c12]Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg:
Automated controllability and synthesis with hierarchical set decision diagrams. WODES 2010: 281-286 - 2009
- [c11]Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15 - 2008
- [c10]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230 - [c9]Fabrice Kordon, Yann Thierry-Mieg:
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop 2008: 181-200 - 2007
- [c8]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504 - [c7]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8 - 2006
- [c6]Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD 2006: 273-275 - [c5]Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg:
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365 - 2005
- [c4]Jean-Michel Couvreur, Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE 2005: 443-457 - 2004
- [c3]Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
A Symbolic Symbolic State Space Representation. FORTE 2004: 276-291 - [c2]Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. FMICS 2004: 139-157 - 2003
- [c1]Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. ICATPN 2003: 82-101
Parts in Books or Collections
- 2019
- [p1]Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. Computing and Software Science 2019: 393-419
Informal and Other Publications
- 2022
- [i6]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
Structural Reductions and Stutter Sensitive Properties. CoRR abs/2212.04218 (2022) - 2021
- [i5]Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL under reductions with weaker conditions than stutter-invariance. CoRR abs/2111.03342 (2021) - 2020
- [i4]Yann Thierry-Mieg:
Structural Reductions Revisited. CoRR abs/2005.12911 (2020) - 2013
- [i3]Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013) - 2012
- [i2]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012) - 2011
- [i1]Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg:
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking. CoRR abs/1106.5700 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-03 00:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
