Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yann Thierry-Mieg
@inproceedings{DBLP:conf/apn/Thierry-Mieg23,
author = {Yann Thierry{-}Mieg},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Efficient Strategies to Compute Invariants, Bounds and Stable Places
of Petri nets},
booktitle = {Proceedings of the 2023 International Workshop on Petri Nets and Software
Engineering {(PNSE} 2023) co-located with the 44th International Conference
on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS}
2023), June 27, 2023, Lisbon, Portugal},
series = {{CEUR} Workshop Proceedings},
volume = {3430},
pages = {17--33},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3430/paper2.pdf},
timestamp = {Fri, 04 Aug 2023 23:51:40 +0200},
biburl = {https://dblp.org/rec/conf/apn/Thierry-Mieg23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Paviot-AdetPRT22,
author = {Emmanuel Paviot{-}Adet and
Denis Poitrenaud and
Etienne Renault and
Yann Thierry{-}Mieg},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {{LTL} Under Reductions with Weaker Conditions Than Stutter Invariance},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {170--187},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_11},
doi = {10.1007/978-3-031-08679-3\_11},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/Paviot-AdetPRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04218,
author = {Emmanuel Paviot{-}Adet and
Denis Poitrenaud and
Etienne Renault and
Yann Thierry{-}Mieg},
title = {Structural Reductions and Stutter Sensitive Properties},
journal = {CoRR},
volume = {abs/2212.04218},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.04218},
doi = {10.48550/ARXIV.2212.04218},
eprinttype = {arXiv},
eprint = {2212.04218},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Thierry-Mieg21,
author = {Yann Thierry{-}Mieg},
title = {Symbolic and Structural Model-Checking},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {319--342},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2090},
doi = {10.3233/FI-2021-2090},
timestamp = {Wed, 16 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Thierry-Mieg21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03342,
author = {Emmanuel Paviot{-}Adet and
Denis Poitrenaud and
Etienne Renault and
Yann Thierry{-}Mieg},
title = {{LTL} under reductions with weaker conditions than stutter-invariance},
journal = {CoRR},
volume = {abs/2111.03342},
year = {2021},
url = {https://arxiv.org/abs/2111.03342},
eprinttype = {arXiv},
eprint = {2111.03342},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thierry-Mieg20,
author = {Yann Thierry{-}Mieg},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Structural Reductions Revisited},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {303--323},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_15},
doi = {10.1007/978-3-030-51831-8\_15},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Thierry-Mieg20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-12911,
author = {Yann Thierry{-}Mieg},
title = {Structural Reductions Revisited},
journal = {CoRR},
volume = {abs/2005.12911},
year = {2020},
url = {https://arxiv.org/abs/2005.12911},
eprinttype = {arXiv},
eprint = {2005.12911},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-12911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gramsec/PinchinatFWT19,
author = {Sophie Pinchinat and
Barbara Fila and
Florence Wacheux and
Yann Thierry{-}Mieg},
editor = {Massimiliano Albanese and
Ross Horne and
Christian W. Probst},
title = {Attack Trees: {A} Notion of Missing Attacks},
booktitle = {Graphical Models for Security - 6th International Workshop, GraMSec@CSF
2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {11720},
pages = {23--49},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36537-0\_3},
doi = {10.1007/978-3-030-36537-0\_3},
timestamp = {Fri, 21 Feb 2020 16:08:26 +0100},
biburl = {https://dblp.org/rec/conf/gramsec/PinchinatFWT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmparoreBCDGHHJ19,
author = {Elvio Gilberto Amparore and
Bernard Berthomieu and
Gianfranco Ciardo and
Silvano Dal{-}Zilio and
Francesco Gall{\`{a}} and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Peter Gj{\o}l Jensen and
Lo{\"{\i}}g Jezequel and
Fabrice Kordon and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Andrew S. Miner and
Emmanuel Paviot{-}Adet and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Tom van Dijk and
Karsten Wolf},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Presentation of the 9th Edition of the Model Checking Contest},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {50--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_4},
doi = {10.1007/978-3-030-17502-3\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KordonLPT19,
author = {Fabrice Kordon and
Michael Leuschel and
Jaco van de Pol and
Yann Thierry{-}Mieg},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Software Architecture of Modern Model Checkers},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {393--419},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_20},
doi = {10.1007/978-3-319-91908-9\_20},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/KordonLPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
Francis Hulin{-}Hubard and
Elvio Gilberto Amparore and
Marco Beccuti and
Bernard Berthomieu and
Hugues Evrard and
Peter Gj{\o}l Jensen and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Jaco van de Pol and
Karsten Wolf},
title = {MCC'2017 - The Seventh Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {181--209},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KordonT18,
author = {Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Self-adaptive Model Checking, the Next Step?},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {3--15},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_1},
doi = {10.1007/978-3-319-91268-4\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KordonT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-10323,
author = {Quentin L. Meunier and
Yann Thierry{-}Mieg and
Emmanuelle Encrenaz},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {88--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.3},
doi = {10.4204/EPTCS.268.3},
timestamp = {Tue, 08 Oct 2019 13:24:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Mieg16,
author = {Yann Thierry{-}Mieg},
title = {From Symbolic Verification To Domain Specific Languages. (De la v{\'{e}}rification
Symbolique aux langages d{\'{e}}di{\'{e}}s {\`{a}} un domaine)},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-02104341},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Mieg16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BerardLMPTT16,
author = {B{\'{e}}atrice B{\'{e}}rard and
Pascal Lafourcade and
Laure Millet and
Maria Potop{-}Butucaru and
Yann Thierry{-}Mieg and
S{\'{e}}bastien Tixeuil},
title = {Formal verification of mobile robot protocols},
journal = {Distributed Comput.},
volume = {29},
number = {6},
pages = {459--487},
year = {2016},
url = {https://doi.org/10.1007/s00446-016-0271-1},
doi = {10.1007/S00446-016-0271-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BerardLMPTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thierry-Mieg16,
author = {Yann Thierry{-}Mieg},
editor = {Lawrence Cabac and
Lars Michael Kristensen and
Heiko R{\"{o}}lke},
title = {Bridging the Gap Between Formal Methods and Software Engineering Using
Model-based Technology},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering 2016, including the International Workshop on Biological
Processes {\&} Petri Nets 2016 co-located with the 37th International
Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2016 and the 16th International Conference on Application
of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
June 20-21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1591},
pages = {30--32},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1591/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Thierry-Mieg16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Thierry-Mieg15,
author = {Yann Thierry{-}Mieg},
editor = {Christel Baier and
Cesare Tinelli},
title = {Symbolic Model-Checking Using ITS-Tools},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {231--237},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_20},
doi = {10.1007/978-3-662-46681-0\_20},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Thierry-Mieg15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ZhangBHKT14,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Lom{-}Messan Hillah and
Fabrice Kordon and
Yann Thierry{-}Mieg},
title = {Controllability for discrete event systems modelled in VeriJ},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {3/4},
pages = {218--240},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.064668},
doi = {10.1504/IJCCBS.2014.064668},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ZhangBHKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SalemDKT14,
author = {Ala{-}Eddine Ben Salem and
Alexandre Duret{-}Lutz and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Symbolic Model Checking of Stutter-Invariant Properties Using Generalized
Testing Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {440--454},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_38},
doi = {10.1007/978-3-642-54862-8\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SalemDKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MaissaKMT13,
author = {Yann Ben Maissa and
Fabrice Kordon and
Salma Mouline and
Yann Thierry{-}Mieg},
title = {Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An
Integrated Workflow},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {8},
pages = {24--47},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40465-8\_2},
doi = {10.1007/978-3-642-40465-8\_2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/MaissaKMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ColangeBKT13,
author = {Maximilien Colange and
Souheib Baarir and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Towards Distributed Software Model-Checking Using Decision Diagrams},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {830--845},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_58},
doi = {10.1007/978-3-642-39799-8\_58},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ColangeBKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZhangBHT13,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Lom{-}Messan Hillah and
Yann Thierry{-}Mieg},
editor = {Werner Dietl},
title = {Semi-automatic controller design of Java-like models},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489806},
doi = {10.1145/2489804.2489806},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ZhangBHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
author = {Fabrice Kordon and
Alban Linard and
Marco Beccuti and
Didier Buchs and
Lukasz Fronc and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Fabrice Legond{-}Aubry and
Niels Lohmann and
Alexis Marechal and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
C{\'{e}}sar Rodr{\'{\i}}guez and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
journal = {CoRR},
volume = {abs/1309.2485},
year = {2013},
url = {http://arxiv.org/abs/1309.2485},
eprinttype = {arXiv},
eprint = {1309.2485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Kai Lampka and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Yann Thierry{-}Mieg and
Harro Wimmel},
title = {Report on the Model Checking Contest at Petri Nets 2011},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {169--196},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_8},
doi = {10.1007/978-3-642-35179-2\_8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ColangeKTB12,
author = {Maximilien Colange and
Fabrice Kordon and
Yann Thierry{-}Mieg and
Souheib Baarir},
editor = {Jens Brandt and
Keijo Heljanko},
title = {State Space Analysis Using Symmetries on Decision Diagrams},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {164--172},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.28},
doi = {10.1109/ACSD.2012.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ColangeKTB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MaissaKMT12,
author = {Yann Ben Maissa and
Fabrice Kordon and
Salma Mouline and
Yann Thierry{-}Mieg},
editor = {Lawrence Cabac and
Michael Duvigneau and
Daniel Moldt},
title = {Modeling and Analyzing Wireless Sensor Networks with VeriSensor},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Hamburg, Germany, June 25-26, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {851},
pages = {60--76},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-851/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/MaissaKMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2382,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Lukasz Fronc and
Lom{-}Messan Hillah and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Raw Report on the Model Checking Contest at Petri Nets 2012},
journal = {CoRR},
volume = {abs/1209.2382},
year = {2012},
url = {http://arxiv.org/abs/1209.2382},
eprinttype = {arXiv},
eprint = {1209.2382},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-2382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ColangeBKT11,
author = {Maximilien Colange and
Souheib Baarir and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Crocodile: {A} Symbolic/Symbolic Tool for the Analysis of Symmetric
Nets with Bag},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {338--347},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_20},
doi = {10.1007/978-3-642-21834-7\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/ColangeBKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Duret-LutzKPT11,
author = {Alexandre Duret{-}Lutz and
Kais Klai and
Denis Poitrenaud and
Yann Thierry{-}Mieg},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Self-Loop Aggregation Product - {A} New Hybrid Approach to On-the-Fly
{LTL} Model Checking},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {336--350},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_24},
doi = {10.1007/978-3-642-24372-1\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Duret-LutzKPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5700,
author = {Alexandre Duret{-}Lutz and
Kais Klai and
Denis Poitrenaud and
Yann Thierry{-}Mieg},
title = {Combining Explicit and Symbolic Approaches for Better On-the-Fly {LTL}
Model Checking},
journal = {CoRR},
volume = {abs/1106.5700},
year = {2011},
url = {http://arxiv.org/abs/1106.5700},
eprinttype = {arXiv},
eprint = {1106.5700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BuchsKSSST10,
author = {Didier Buchs and
Fabrice Kordon and
Alexander Serebrenik and
Natalia Sidorova and
Jeremy Spronston and
Yann Thierry{-}Mieg},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Introduction},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {371},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/28\_DidierBuchs\_introduction.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BuchsKSSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ZhangBKT10,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Automated controllability and synthesis with hierarchical set decision
diagrams},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {281--286},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00047},
doi = {10.3182/20100830-3-DE-4013.00047},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ZhangBKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HamezTK09,
author = {Alexandre Hamez and
Yann Thierry{-}Mieg and
Fabrice Kordon},
title = {Building Efficient Model Checkers using Hierarchical Set Decision
Diagrams and Automatic Saturation},
journal = {Fundam. Informaticae},
volume = {94},
number = {3-4},
pages = {413--437},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-137},
doi = {10.3233/FI-2009-137},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HamezTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Thierry-MiegPHK09,
author = {Yann Thierry{-}Mieg and
Denis Poitrenaud and
Alexandre Hamez and
Fabrice Kordon},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Hierarchical Set Decision Diagrams and Regular Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_1},
doi = {10.1007/978-3-642-00768-2\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Thierry-MiegPHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Thierry-MiegH08,
author = {Yann Thierry{-}Mieg and
Lom{-}Messan Hillah},
title = {{UML} behavioral consistency checking using instantiable Petri nets},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {3},
pages = {293--300},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0065-0},
doi = {10.1007/S11334-008-0065-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Thierry-MiegH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HamezTK08,
author = {Alexandre Hamez and
Yann Thierry{-}Mieg and
Fabrice Kordon},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Hierarchical Set Decision Diagrams and Automatic Saturation},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {211--230},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_16},
doi = {10.1007/978-3-540-68746-7\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HamezTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/KordonT08,
author = {Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Christine Choppy and
Oleg Sokolsky},
title = {Experiences in Model Driven Verification of Behavior with {UML}},
booktitle = {Foundations of Computer Software. Future Trends and Techniques for
Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
24-26, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6028},
pages = {181--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-12566-9\_10},
doi = {10.1007/978-3-642-12566-9\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/KordonT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HamezKTL07,
author = {Alexandre Hamez and
Fabrice Kordon and
Yann Thierry{-}Mieg and
Fabrice Legond{-}Aubry},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {dmcG : {A} Distributed Symbolic Model Checker Based on GreatSPN},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {495--504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_29},
doi = {10.1007/978-3-540-73094-1\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HamezKTL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HamezKT07,
author = {Alexandre Hamez and
Fabrice Kordon and
Yann Thierry{-}Mieg},
title = {IibDMC: a Library to Operate Efficient Distributed Model Checking},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370647},
doi = {10.1109/IPDPS.2007.370647},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HamezKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamezHKLPRT06,
author = {Alexandre Hamez and
Lom Hillah and
Fabrice Kordon and
Alban Linard and
Emmanuel Paviot{-}Adet and
Xavier Renault and
Yann Thierry{-}Mieg},
title = {New features in {CPN-AMI} 3: focusing on the analysis of complex distributed
systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {273--275},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.15},
doi = {10.1109/ACSD.2006.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HamezHKLPRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChoppyHKKPT06,
author = {Christine Choppy and
Serge Haddad and
Hanna Klaudel and
Fabrice Kordon and
Laure Petrucci and
Yann Thierry{-}Mieg},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Tutorial on Formal Methods for Distributed and Cooperative Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {362--365},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_25},
doi = {10.1007/11921240\_25},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ChoppyHKKPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CouvreurT05,
author = {Jean{-}Michel Couvreur and
Yann Thierry{-}Mieg},
editor = {Farn Wang},
title = {Hierarchical Decision Diagrams to Exploit Model Structure},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {443--457},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_32},
doi = {10.1007/11562436\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/CouvreurT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Thierry-MiegIP04,
author = {Yann Thierry{-}Mieg and
Jean{-}Michel Ili{\'{e}} and
Denis Poitrenaud},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {A Symbolic Symbolic State Space Representation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {276--291},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_18},
doi = {10.1007/978-3-540-30232-2\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Thierry-MiegIP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuguesVPTBK05,
author = {J{\'{e}}r{\^{o}}me Hugues and
Thomas Vergnaud and
Laurent Pautet and
Yann Thierry{-}Mieg and
Souheib Baarir and
Fabrice Kordon},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {On the Formal Verification of Middleware Behavioral Properties},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {139--157},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.062},
doi = {10.1016/J.ENTCS.2004.08.062},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuguesVPTBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thierry-MiegDM03,
author = {Yann Thierry{-}Mieg and
Claude Dutheillet and
Isabelle Mounier},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Automatic Symmetry Detection in Well-Formed Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {82--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_9},
doi = {10.1007/3-540-44919-1\_9},
timestamp = {Sat, 19 Oct 2019 20:09:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Thierry-MiegDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-10-02 01:40 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:
