Yann Thierry-Mieg
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j8]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. T. Petri Nets and Other Models of Concurrency 13: 181-209 (2018) - [c23]Fabrice Kordon, Yann Thierry-Mieg:
Self-adaptive Model Checking, the Next Step? Petri Nets 2018: 3-15 - [c22]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
- [j7]Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil:
Formal verification of mobile robot protocols. Distributed Computing 29(6): 459-487 (2016) - [c21]Yann Thierry-Mieg:
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. PNSE @ Petri Nets 2016: 30-32 - 2015
- [c20]
- 2014
- [j6]Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg:
Controllability for discrete event systems modelled in VeriJ. IJCCBS 5(3/4): 218-240 (2014) - [c19]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
- [j5]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets and Other Models of Concurrency 8: 24-47 (2013) - [c18]Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV 2013: 830-845 - [c17]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 - [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
- [j4]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 and Other Models of Concurrency 6: 169-196 (2012) - [c16]Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir:
State Space Analysis Using Symmetries on Decision Diagrams. ACSD 2012: 164-172 - [c15]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE 2012: 60-76 - [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
- [c14]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 - [c13]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 - [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) - 2010
- [c12]Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371 - [c11]Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg:
Automated controllability and synthesis with hierarchical set decision diagrams. WODES 2010: 281-286
2000 – 2009
- 2009
- [j3]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Inform. 94(3-4): 413-437 (2009) - [c10]Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15 - 2008
- [j2]Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. ISSE 4(3): 293-300 (2008) - [c9]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230 - [c8]Fabrice Kordon, Yann Thierry-Mieg:
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop 2008: 181-200 - 2007
- [c7]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504 - [c6]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8 - 2006
- [c5]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 - [c4]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
- [j1]Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005) - [c3]Jean-Michel Couvreur, Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE 2005: 443-457 - 2004
- [c2]Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
A Symbolic Symbolic State Space Representation. FORTE 2004: 276-291 - 2003
- [c1]Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. ICATPN 2003: 82-101
Coauthor Index
last updated on 2019-01-24 23:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint