Show items per page
Elements: 13
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Symbolic model-checking with Set Rewriting Lopez Bobeda, Edmundo 2015
add to browser selection
Program understanding using ontologies and dynamic analysis Belmonte Torrejon, Javier 2014
add to browser selection
Unifying the syntax and semantics of modular extensions of Petri nets Marechal Marin, Alexis Ayar 2013
add to browser selection
High-level Petri net model checking : the symbolic way Hostettler, Steve Patrick 2011
add to browser selection
High-Level Petri Net Model Checking with AlPiNA Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier 2011
add to browser selection
A methodology for the development of complex domain specific languages Risoldi, Matteo 2010
add to browser selection
Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Amaral, Vasco 2010
add to browser selection
Improving the significance of benchmarks for Petri nets model checkers Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Specification of Decision Diagram Operations Hamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; ... Risoldi, Matteo 2010
add to browser selection
AlPiNA: A Symbolic Model Checker Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
AlPiNA: an Algebraic Petri Net Analyzer Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010
add to browser selection
A multi-dimensional compositional approach for business process semantic engineering Chen, Ang 2009