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
472011
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
342012
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
International Conference on Applications and Theory of Petri Nets, 287-296, 2010
322010
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
202010
Model Checking Contest@ Petri Nets Report on the 2012 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
52015
GReg: a domain specific language for the modeling of genetic regulatory mechanisms
N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal
52012
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
32010
Model Checking Contest@ Petri Nets
F Kordon, A Linard, M Beccuti, D Buchs, Ł Fronc, LM Hillah, ...
arXiv preprint arXiv:1309.2485, 2013
22013
Unifying the semantics of modular extensions of Petri nets
A Marechal, D Buchs
International Conference on Applications and Theory of Petri Nets and …, 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
SP Hostettler, A Linard, AA Marechal Marin, M Risoldi
Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010, 97-111, 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
Experience-based model refinement
D Buchs, S Hostettler, A Marechal
International Workshop on Software Engineering for Resilient Systems, 40-47, 2011
2011
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
The system can't perform the operation now. Try again later.
Articles 1–20