Emmanuel Paviot-Adet

According to our database, Emmanuel Paviot-Adet authored at least 23 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A model-checker exploiting structural reductions even with stutter sensitive LTL.

Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud

Sci. Comput. Program., 2024

2022

Structural Reductions and Stutter Sensitive Properties.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

CoRR, 2022

LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.

Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet

Int. J. Softw. Tools Technol. Transf., 2021

2019

Presentation of the 9th Edition of the Model Checking Contest.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

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

Trans. Petri Nets Other Model. Concurr., 2018

2016

MCC'2015 - The Fifth Model Checking Contest.

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard

Trans. Petri Nets Other Model. Concurr., 2016

2014

A Model to Specify Inter-company Cooperation.

Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet

Proceedings of the WEBIST 2014, 2014

Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition.

Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet

Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

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

CoRR, 2013

2012

Report on the Model Checking Contest at Petri Nets 2011.

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel

Trans. Petri Nets Other Model. Concurr., 2012

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.

Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista

Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012

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

CoRR, 2012

2010

polyDD: Towards a Framework Generalizing Decision Diagrams.

Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Specification of Decision Diagram Operations.

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi

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), 2010

2009

P-Semiflow Computation with Decision Diagrams.

Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan

Proceedings of the Applications and Theory of Petri Nets, 2009

2006

Optimized Colored Nets Unfolding.

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.

Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

Modeling and verifying behavioral aspects.

François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

An agent-oriented framework for controlling and monitoring manufacturing system.

Insaf Tnazefti-Kerkeni, Luciana Arantes, Emmanuel Paviot-Adet

Proceedings of the International Symposium on Intelligent Control, 2003

2002

Data Decision Diagrams for Petri Net Analysis.

Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1994

New Structural Invariants for Petri Nets Analysis.

Jean-Michel Couvreur, Emmanuel Paviot-Adet

Proceedings of the Application and Theory of Petri Nets 1994, 1994