ask others

Yann Thierry-Mieg

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/KordonT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/KordonT18
Fabrice Kordon, Yann Thierry-Mieg:
Self-adaptive Model Checking, the Next Step? Petri Nets 2018: 3-15
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1803-10323
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10323
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dc/BerardLMPTT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dc/BerardLMPTT16
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/apn/Thierry-Mieg16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Thierry-Mieg16
Yann Thierry-Mieg:
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. PNSE @ Petri Nets 2016: 30-32
2015
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Thierry-Mieg15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Thierry-Mieg15
Yann Thierry-Mieg:
Symbolic Model-Checking Using ITS-Tools. TACAS 2015: 231-237
2014
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijccbs/ZhangBHKT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijccbs/ZhangBHKT14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/SalemDKT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/SalemDKT14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/MaissaKMT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/MaissaKMT13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ColangeBKT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/ColangeBKT13
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV 2013: 830-845
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/ZhangBHT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ZhangBHT13
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KordonLBBFHHLLMPPRRTWW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/KordonLBCELLPTW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/ColangeKTB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/ColangeKTB12
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir:
State Space Analysis Using Symmetries on Decision Diagrams. ACSD 2012: 164-172
[c15]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/apn/MaissaKMT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/MaissaKMT12
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE 2012: 60-76
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/ColangeBKT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/ColangeBKT11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/Duret-LutzKPT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/Duret-LutzKPT11
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1106-5700
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5700
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/acsd/BuchsKSSST10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/BuchsKSSST10
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wodes/ZhangBKT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wodes/ZhangBKT10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/HamezTK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/HamezTK09
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Thierry-MiegPHK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Thierry-MiegPHK09
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15
2008
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isse/Thierry-MiegH08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isse/Thierry-MiegH08
Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. ISSE 4(3): 293-300 (2008)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/HamezTK08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/HamezTK08
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/KordonT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/KordonT08
Fabrice Kordon, Yann Thierry-Mieg:
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop 2008: 181-200
2007
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/HamezKTL07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/HamezKTL07
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504
[c6]
- view
- export record
  dblp key:
  - conf/ipps/HamezKT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ipps/HamezKT07
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8
2006
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/HamezHKLPRT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/HamezHKLPRT06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/ChoppyHKKPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/ChoppyHKKPT06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HuguesVPTBK05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/HuguesVPTBK05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/CouvreurT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/CouvreurT05
Jean-Michel Couvreur, Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE 2005: 443-457
2004
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/Thierry-MiegIP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Thierry-MiegIP04
Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
A Symbolic Symbolic State Space Representation. FORTE 2004: 276-291
2003
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Thierry-MiegDM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Thierry-MiegDM03
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. ICATPN 2003: 82-101

Coauthor Index

see FAQ

maintained by

at