Yann Thierry-Mieg

51 papers A* 1A 4B 6C 5Journal 17Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Practical Lessons from Applying Large Language Models in Teaching, Development, and Research (Invited Talk). PNSE/ATAED/PeNGE@PETRI NETS Yann Thierry-Mieg
2025	B	`conf`	Simplifying LTL Model Checking Given Prior Knowledge. Petri Nets Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg
2025	J	`jnl`	Simplifying LTL Model Checking Given Prior Knowledge. CoRR Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg
2025	J	`jnl`	Structural Reductions and Stutter Sensitive Properties. Log. Methods Comput. Sci. Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2024	J	`jnl`	A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2023	—	`conf`	Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. PNSE@Petri Nets Yann Thierry-Mieg
2022	C	`conf`	LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2022	J	`jnl`	Structural Reductions and Stutter Sensitive Properties. CoRR Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2021	J	`jnl`	LTL under reductions with weaker conditions than stutter-invariance. CoRR Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
2021	J	`jnl`	Symbolic and Structural Model-Checking. Fundam. Informaticae Yann Thierry-Mieg
2020	B	`conf`	Structural Reductions Revisited. Petri Nets Yann Thierry-Mieg
2020	J	`jnl`	Structural Reductions Revisited. CoRR Yann Thierry-Mieg
2019	—	`conf`	Attack Trees: A Notion of Missing Attacks. GraMSec Sophie Pinchinat, Barbara Fila, Florence Wacheux, Yann Thierry-Mieg
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2019	—	`ch.`	Software Architecture of Modern Model Checkers. Computing and Software Science Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	—	`conf`	Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
2018	B	`conf`	Self-adaptive Model Checking, the Next Step? Petri Nets Fabrice Kordon, Yann Thierry-Mieg
2016	—	`conf`	Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. PNSE @ Petri Nets Yann Thierry-Mieg
2016	J	`jnl`	Formal verification of mobile robot protocols. Distributed Comput. Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
2016	—	`book`	From Symbolic Verification To Domain Specific Languages. (De la vérification Symbolique aux langages dédiés à un domaine). Yann Thierry-Mieg
2015	A	`conf`	Symbolic Model-Checking Using ITS-Tools. TACAS Yann Thierry-Mieg
2014	J	`jnl`	Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
2014	A	`conf`	Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
2013	J	`jnl`	Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR 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
2013	J	`jnl`	Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2013	—	`conf`	Semi-automatic controller design of Java-like models. FTfJP@ECOOP Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg
2013	A*	`conf`	Towards Distributed Software Model-Checking Using Decision Diagrams. CAV Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2012	—	`conf`	Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2012	J	`jnl`	Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR 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
2012	J	`jnl`	Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012	—	`conf`	State Space Analysis Using Symmetries on Decision Diagrams. ACSD Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
2011	J	`jnl`	Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
2011	B	`conf`	Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2011	B	`conf`	Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
2010	—	`conf`	Automated controllability and synthesis with hierarchical set decision diagrams. WODES Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg
2010	—	`conf`	Introduction. ACSD/Petri Nets Workshops Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
2009	J	`jnl`	Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
2009	A	`conf`	Hierarchical Set Decision Diagrams and Regular Models. TACAS Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
2008	—	`conf`	Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop Fabrice Kordon, Yann Thierry-Mieg
2008	B	`conf`	Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
2008	J	`jnl`	UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. Yann Thierry-Mieg, Lom-Messan Hillah
2007	A	`conf`	IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
2007	—	`conf`	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
2006	—	`conf`	New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg
2006	C	`conf`	Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005	C	`conf`	Hierarchical Decision Diagrams to Exploit Model Structure. FORTE Jean-Michel Couvreur, Yann Thierry-Mieg
2004	C	`conf`	A Symbolic Symbolic State Space Representation. FORTE Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
2004	C	`conf`	On the Formal Verification of Middleware Behavioral Properties. FMICS Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
2003	—	`conf`	Automatic Symmetry Detection in Well-Formed Nets. ICATPN Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.