Alexis Marechal

According to our database, Alexis Marechal authored at least 12 papers between 2010 and 2015.

Collaborative distances:

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

2015

Generalizing the Compositions of Petri Nets Modules.

Alexis Marechal, Didier Buchs

Fundam. Informaticae, 2015

2013

Unifying the syntax and semantics of modular extensions of Petri nets.

Alexis Marechal

PhD thesis, 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

Unifying the Semantics of Modular Extensions of Petri Nets.

Alexis Marechal, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

Trans. Petri Nets Other Model. Concurr., 2012

2011

High-Level Petri Net Model Checking with AlPiNA.

Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

CoRR, 2011

Experience-Based Model Refinement.

Didier Buchs, Steve Hostettler, Alexis Marechal

Proceedings of the Software Engineering for Resilient Systems, 2011

2010

AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

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

AlPiNA: A Symbolic Model Checker.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Applications and Theory of Petri Nets, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.

Steve Hostettler, Alban Linard, Alexis Marechal, 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

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