2012

Proceedings Chapters

unige:23031

Language Enrichment for Resilient MDE

Khan, Yasir Imtiaz; Risoldi, Matteo;

2011

Scientific Articles

unige:18361	High-Level Petri Net Model Checking with AlPiNA	Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier
unige:18303	Self-aware Pervasive Service Ecosystems	Zambonelli, Franco; Castelli, Gabriella; Ferrari, Laura; Mamei, Marco; ... Wally, Bernhard

Proceedings Chapters

unige:17533	Modeling Self-* Systems Using Chemically-Inspired Composable Patterns	Tchao, Akla-Esso; Risoldi, Matteo; Di Marzo Serugendo, Giovanna;
unige:17066	Self-organising Pervasive Ecosystems: A Crowd Evacuation Example	Montagna, Sara; Viroli, Mirko; Risoldi, Matteo; Pianini, Danilo; Di Marzo Serugendo, Giovanna

2010

Proceedings Chapters

unige:10786	AlPiNA: A Symbolic Model Checker	Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo;
unige:5622	AlPiNA: an Algebraic Petri Net Analyzer	Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo;
unige:12217	Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study	Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Amaral, Vasco;
unige:9825	Improving the significance of benchmarks for Petri nets model checkers	Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Risoldi, Matteo;
unige:9826	Specification of Decision Diagram Operations	Hamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; ... Risoldi, Matteo

Doctoral Thesis

unige:11842

A methodology for the development of complex domain specific languages

Risoldi, Matteo;

2009

Book Chapters

unige:5104

A language and a methodology for prototyping user interfaces for control systems

Risoldi, Matteo; Amaral, Vasco; Barroca, Bruno; Bazargan, Kaveh; ... Zoss, Pierrick

Proceedings Chapters

unige:5106

Composing visual syntax for domain specific languages

Pedro, Luis; Risoldi, Matteo; Buchs, Didier; Barroca, Bruno; Amaral, Vasco

2008

Proceedings Chapters

unige:5102	A methodology for control systems GUI prototyping - a case study	Risoldi, Matteo; Buchs, Didier; Masetti, Lorenzo; Amaral, Vasco; Barroca, Bruno
unige:5103	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

2007

Proceedings Chapters

unige:5100

A domain specific language and methodology for control systems GUI specification, verification and prototyping

Risoldi, Matteo; Buchs, Didier;

2006

Proceedings Chapters

unige:5098	Modeling Distributed Systems using Concurrent Object Oriented Petri Nets	Chen, Ang; Buchs, Didier; Lucio, Levi; Pedro, Luis; Risoldi, Matteo
unige:5099	Towards a formal, model-based framework for control systems interaction prototyping	Risoldi, Matteo; Amaral, Vasco;

Reports

unige:26578

BATIC3S Project : Document collection 2005-2006

Malandain, Stéphane; Zoss, Pierrick; Buchs, Didier; Falquet, Gilles; ... Gomez-Reino Garrido, Robert