Alexis Marechal

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Discrete Event Systems

Process Algebra

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

Publications

Alexis Marechal, Didier Buchs
Generalizing the Compositions of Petri Nets Modules. Fundam. Informaticae 137 (1) (2015)
Alexis Marechal, Didier Buchs
Unifying the Semantics of Modular Extensions of Petri Nets. Petri Nets (2013)
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
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
Modelling of Genetic Regulatory Mechanisms with GReg CoRR (2011)
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
High-Level Petri Net Model Checking with AlPiNA. Fundam. Informaticae 113 (3-4) (2011)
Didier Buchs, Steve Hostettler, Alexis Marechal
Experience-Based Model Refinement. SERENE (2011)
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
Improving the Significance of Benchmarks for Petri Nets Model Checkers. ACSD/Petri Nets Workshops (2010)
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
AlPiNA: A Symbolic Model Checker. Petri Nets (2010)
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
Specification of Decision Diagram Operations. ACSD/Petri Nets Workshops (2010)
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
AlPiNA: An Algebraic Petri Net Analyzer. TACAS (2010)