 | 2011 |
|---|
| 7 |       | Didier Buchs,
Steve Hostettler,
Alexis Marechal:
Experience-Based Model Refinement.
SERENE 2011: 40-47 |
| 6 | | Nicolas Sedlmajer,
Didier Buchs,
Steve Hostettler,
Alban Linard,
Edmundo Lopez,
Alexis Marechal:
Modelling of Genetic Regulatory Mechanisms with GReg
CoRR abs/1108.3436: (2011) |
| 5 | | Steve Hostettler,
Alexis Marechal,
Alban Linard,
Matteo Risoldi,
Didier Buchs:
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Inform. 113(3-4): 229-264 (2011) |
| 2010 |
|---|
| 4 | | Alexandre Hamez,
Steve Hostettler,
Alban Linard,
Alexis Marechal,
Emmanuel Paviot-Adet,
Matteo Risoldi:
Specification of Decision Diagram Operations.
ACSD/Petri Nets Workshops 2010: 437-451 |
| 3 | | Steve Hostettler,
Alban Linard,
Alexis Marechal,
Matteo Risoldi:
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
ACSD/Petri Nets Workshops 2010: 475-489 |
| 2 | | Didier Buchs,
Steve Hostettler,
Alexis Marechal,
Matteo Risoldi:
AlPiNA: A Symbolic Model Checker.
Petri Nets 2010: 287-296 |
| 1 | | Didier Buchs,
Steve Hostettler,
Alexis Marechal,
Matteo Risoldi:
AlPiNA: An Algebraic Petri Net Analyzer.
TACAS 2010: 349-352 |
Data released under the ODC-BY 1.0 license — See also our legal information page