Alexis Marechal

12 papers A 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2015 J jnl
Generalizing the Compositions of Petri Nets Modules.
Fundam. Informaticae
Alexis Marechal, Didier Buchs
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 B conf
Unifying the Semantics of Modular Extensions of Petri Nets.
Petri Nets
Alexis Marechal, Didier Buchs
2013 — —
Unifying the syntax and semantics of modular extensions of Petri nets.
Alexis Marechal
2012 J jnl
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr.
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2011 — conf
Experience-Based Model Refinement.
SERENE
Didier Buchs, Steve Hostettler, Alexis Marechal
2011 J jnl
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
2011 J jnl
Modelling of Genetic Regulatory Mechanisms with GReg
CoRR
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2010 B conf
AlPiNA: A Symbolic Model Checker.
Petri Nets
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 A conf
AlPiNA: An Algebraic Petri Net Analyzer.
TACAS
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 — conf
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
ACSD/Petri Nets Workshops
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
2010 — conf
Specification of Decision Diagram Operations.
ACSD/Petri Nets Workshops
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi