N. Amat, E. Amparore, B. Berthomieu, P. Bouvier, S. Zilio, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, Sh. Li, E. Paviot‑Adet, L. Petrucci, J. Srba, Y. Thierry‑Mieg, K. Wolf : “Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023”, TOOLympics Challenge 2023, vol. 14550, Lecture Notes in Computer Science, Paris, France, pp. 52-89, (Springer Nature Switzerland), (ISBN: 978-3-031-67695-6) (2024)
E. Paviot‑Adet, D. Poitrenaud, E. Renault, Y. Thierry‑Mieg : “LTL under reductions with weaker conditions than stutter-invariance”, Lecture Notes in Computer Science (LNCS), vol. 13273, Formal Techniques for Distributed Objects, Components, and Systems, Lucca, Italy, pp. 170–187, (Springer Cham), (ISBN: 978-3-031-08679-3) (2022)
Y. Thierry‑Mieg : “Structural Reductions Revisited”, 41ST INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, Paris, France (2020)
2019
F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) (2019)
S. Pinchinat, B. Fila, F. Wacheux, Y. Thierry‑Mieg : “Attack Trees: A Notion of Missing Attacks”, GraMSec 2019 - 6th International Workshop on Graphical Models for Security, vol. 11720, Lecture Notes in Computer Science, Hoboken, NJ, United States, pp. 23-49 (2019)
E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. GallĂ , L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. Van Dijk, K. Wolf : “Presentation of the 9th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czechia, pp. 50-68 (2019)
2018
F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) (2018)
Y. Thierry Mieg : “Symbolic Model-Checking using ITS-tools”, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 231-237, (Springer Berlin Heidelberg) (2015)
M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Towards Distributed Software Model-Checking using Decision Diagrams”, 25th International Conference on Computer Aided Verification (CAV), vol. 8044, Lecture Notes in Computer Science, Saint-Petersbourg, Russian Federation, pp. 830-845, (Springer Verlag) (2013)
F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. RodrĂguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, (2013)
M. Colange, F. Kordon, Y. Thierry‑Mieg, S. Baarir : “State Space Analysis using Symmetries on Decision Diagrams”, 12th International Conference on Application of Concurrency to System Design (ACSD'2012), Hamburg, Germany, pp. 164-172, (IEEE Computer Society) (2012)
F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, K. Lampka, N. Lohmann, E. Paviot‑Adet, Y. Thierry‑Mieg, H. Wimmel : “Report on the Model Checking Contest at Petri Nets 2011”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 169-196, (Springer) (2012)
2011
A. Duret‑Lutz, K. Klai, D. Poitrenaud, Y. Thierry‑Mieg : “Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking”, 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), vol. 6996, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 336-350, (Springer) (2011)
M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag”, 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), vol. 6709, Lecture Notes in Computer Science, Newcastle, United Kingdom, pp. 338-347, (Springer) (2011)
J.‑F. Pradat‑Peyre, Y. Thierry‑Mieg : “Verification of Finite-State Systems”, chapter in Models and Analysis in Distributed Systems, pp. 155-220, (Wiley), (ISBN: 9781848213142) (2011)
F. Kordon, Y. Thierry‑Mieg : “Experiences in Model Driven Verification of Behavior with UML”, Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, vol. 6028, Lecture Notes in Computer Science, Budapest, Hungary, pp. 181-200, (Springer) (2010)
Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, York, United Kingdom, pp. 1-15, (Springer) (2009)
A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Hierarchical Set Decision Diagrams and Automatic Saturation”, 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), vol. 5062, Lecture Notes in Computer Science, Xian, China, pp. 211-230, (Springer-Verlag) (2008)
A. Hamez, F. Kordon, Y. Thierry‑Mieg, F. Legond‑Aubry : “dmcG: a distributed symbolic model checker based on GreatSPN”, ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, vol. 4546, Lecture Notes in Computer Science, Siedlce, Poland, pp. 495-504, (Springer) (2007)
Ch. Choppy, S. Haddad, H. Klaudel, F. Kordon, L. Petrucci, Y. Thierry Mieg : “Tutorial on Formal Methods for Distributed and Cooperative Systems”, 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), vol. 4281, Lecture Notes in Computer Science, Tunis, Tunisia, pp. 362-365 (2006)
J.‑M. Couvreur, Y. Thierry‑Mieg : “Hierarchical Decision Diagrams to Exploit Model Structure”, 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 443-457, (Springer-Verlag) (2005)
J. Hugues, Y. Thierry‑Mieg, F. Kordon, L. Pautet, S. Baarir, Th. Vergnaud : “On the Formal Verification of Middleware Behavioral Properties”, 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Linz, Austria, pp. 139-157, (Elsevier) (2004)
Y. Thierry‑Mieg, C. Dutheillet, I. Mounier : “Automatic Symmetry Detection in Well-Formed Nets”, 24th International Conference on Theory and Application of Petri Nets, vol. 2679, Lecture Notes in Computer Science, Eindhoven, Netherlands, pp. 82-101, (Springer) (2003)