| 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 | 48 | 2011 |
| Alpina: A symbolic model checker D Buchs, S Hostettler, A Marechal, M Risoldi Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 38 | 2010 |
| 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 | 35 | 2012 |
| 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 | 26 | 2010 |
| 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 | 10 | 2012 |
| Web report on the model checking contest@ Petri net 2013 F Kordon, A Linard, M Becutti, D Buchs, L Fronc, LM Hillah, ... | 9 | 2013 |
| Generalizing the compositions of Petri nets modules A Marechal, D Buchs Fundamenta Informaticae 137 (1), 87-116, 2015 | 7 | 2015 |
| 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 | 6 | 2012 |
| 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 | 4 | 2010 |
| Unifying the semantics of modular extensions of Petri nets A Marechal, D Buchs International Conference on Applications and Theory of Petri Nets and …, 2013 | 3 | 2013 |
| Model Checking Contest@ Petri Nets F Kordon, A Linard, M Beccuti, D Buchs, Ł Fronc, LM Hillah, ... arXiv preprint arXiv:1309.2485, 2013 | 2 | 2013 |
| 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 | 2 | 2012 |
| Modular extensions of Petri Nets: a generic template metamodel A Marechal, D Buchs Tech. Rep. 220, University of Geneva, 2012 | 2 | 2012 |
| 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 | 2 | 2010 |
| Unifying the Syntax and Semantics of Modular Extensions of Petri Nets A Marechal éditeur non identifié, 2013 | 1 | 2013 |
| Introducing Formal Verification with LEGO R O D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ... | 1 | |
| 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 |
Didier BuchsProfessor of Computer Science, Geneva UniversityGeverifieerd e-mailadres voor unige.ch
