Show items per page
Elements: 19
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Language Enrichment for Resilient MDE Khan, Yasir Imtiaz; Risoldi, Matteo 2012
add to browser selection
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns Tchao, Akla-Esso; Risoldi, Matteo; Di Marzo Serugendo, Giovanna 2011
add to browser selection
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example Montagna, Sara; Viroli, Mirko; Risoldi, Matteo; Pianini, Danilo; Di Marzo Serugendo, Giovanna 2011
add to browser selection
Self-aware Pervasive Service Ecosystems Zambonelli, Franco; Castelli, Gabriella; Ferrari, Laura; Mamei, Marco; ... Wally, Bernhard 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
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
A methodology for the development of complex domain specific languages Risoldi, Matteo 2010
add to browser selection
A language and a methodology for prototyping user interfaces for control systems Risoldi, Matteo; Amaral, Vasco; Barroca, Bruno; Bazargan, Kaveh; ... Zoss, Pierrick 2009
add to browser selection
Composing visual syntax for domain specific languages Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Barroca, Bruno; Amaral, Vasco 2009
add to browser selection
A methodology for control systems GUI prototyping - a case study Risoldi, Matteo; Buchs, Didier; Masetti, Lorenzo; Amaral, Vasco; Barroca, Bruno 2008
add to browser selection
Towards the application of a model based design methodology for reliable control systems on HEP experiments Barroca, Bruno; Amaral, Vasco; Calado, Pedro; Risoldi, Matteo; ... Araujo, João 2008
add to browser selection
A domain specific language and methodology for control systems GUI specification, verification and prototyping Risoldi, Matteo; Buchs, Didier 2007
add to browser selection
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets Chen, Ang; Buchs, Didier; Lucio, Levi; Pedro, Luis; Risoldi, Matteo 2006
add to browser selection
Towards a formal, model-based framework for control systems interaction prototyping Risoldi, Matteo; Amaral, Vasco 2006
add to browser selection
BATIC3S Project : Document collection 2005-2006 Malandain, Stéphane; Zoss, Pierrick; Buchs, Didier; Falquet, Gilles; ... Gomez-Reino Garrido, Robert 2006