Follow
Alexis Marechal
Alexis Marechal
Universidad Privada Boliviana (UPB)
Verified email at lp.upb.edu - Homepage
Title
Cited by
Cited by
Year
High-level petri net model checking with alpina
S Hostettler, A Marechal, A Linard, M Risoldi, D Buchs
Fundamenta Informaticae 113 (3-4), 229-264, 2011
502011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
372010
A multibiomarker approach in juvenile turbot, Scophthalmus maximus, exposed to contaminated sediments
E Kerambrun, F Henry, A Marechal, W Sanchez, C Minier, I Filipuci, ...
Ecotoxicology and environmental safety 80, 45-53, 2012
362012
Alpina: An algebraic petri net analyzer
D Buchs, S Hostettler, A Marechal, M Risoldi
International Conference on Tools and Algorithms for the Construction and …, 2010
262010
Model checking contest@ petri nets, report on the 2013 edition
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ...
arXiv preprint arXiv:1209.2382, 2012
102012
Web report on the model checking contest@ Petri net 2013
F Kordon, A Linard, M Becutti, D Buchs, L Fronc, LM Hillah, ...
92013
Generalizing the compositions of Petri nets modules
A Marechal, D Buchs
Fundamenta Informaticae 137 (1), 87-116, 2015
62015
GReg: a domain specific language for the modeling of genetic regulatory mechanisms
N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal
International Workshop on Biological Processes & Petri Nets (BioPPN 2011 …, 2012
62012
Web report on the model checking contest@ petri net 2013 (June 2013)
F Kordon, A Linard, M Becutti, D Buchs, L Fronc, F Hulin-Hubard, ...
5
Properties specification language for algebraic petri nets
A Marechal, D Buchs
Technical Report 216, Université de Genève, http://smv. unige. ch/technical …, 2010
42010
Unifying the semantics of modular extensions of Petri nets
A Marechal, D Buchs
International Conference on Applications and Theory of Petri Nets and …, 2013
32013
Model Checking Contest@ Petri Nets
F Kordon, A Linard, M Beccuti, D Buchs, Ł Fronc, LM Hillah, ...
arXiv preprint arXiv:1309.2485, 2013
22013
Antiandrogenic effects in roach (Rutilus rutilus): An in-situ study based on the assessment of male gonadal steroidogenesis activities
A Marechal, D Fernandes, J Rotchell, C Porte-Visa, C Minier
Comparative Biochemistry and Physiology, Part A, S35, 2012
22012
Modular extensions of Petri Nets: a generic template metamodel
A Marechal, D Buchs
Tech. Rep. 220, University of Geneva, 2012
22012
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
S Hostettler, A Linard, A Marechal, M Risoldi
ACSD/Petri Nets Workshops, 475-489, 2010
22010
Introducing Formal Verification with LEGO R O
D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ...
2nd workshop on Fun With Formal Methods, Vienna, Austria, 2014
12014
Unifying the Syntax and Semantics of Modular Extensions of Petri Nets
A Marechal
éditeur non identifié, 2013
12013
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis
N Sedlmajer, D Buchs, S Hostettler, A Linard, E López Bóbeda, ...
Transactions on Petri Nets and Other Models of Concurrency VI, 123-145, 2012
2012
Modelling of Genetic Regulatory Mechanisms with GReg
N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal
arXiv preprint arXiv:1108.3436, 2011
2011
Experience-based model refinement
D Buchs, S Hostettler, A Marechal
Software Engineering for Resilient Systems: Third International Workshop …, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20