Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping. - Matteo Risoldi; Vasco Amaral 001 (RISE, 2006)

A domain specific language and methodology for control systems GUI specification, verification and prototyping. - Matteo Risoldi; Didier Buchs (VL/HCC, 2007)

Composing Visual Syntax for Domain Specific Languages. - Luis Pedro; Matteo Risoldi; Didier Buchs; Bruno Barroca; Vasco Amaral 001 (HCI (2), 2009)

A Language and a Methodology for Prototyping User Interfaces for Control Systems. - Matteo Risoldi; Vasco Amaral 001; Bruno Barroca; Kaveh Bazargan; Didier Buchs; Fabian Cretton; Gilles Falquet; Anne Le Calvé; Stéphane Malandain; Pierrick Zoss (Human Machine Interaction, 2009)

Specification of Decision Diagram Operations. - Alexandre Hamez; Steve Hostettler; Alban Linard; Alexis Marechal; Emmanuel Paviot-Adet; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

Improving the Significance of Benchmarks for Petri Nets Model Checkers. - Steve Hostettler; Alban Linard; Alexis Marechal; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

AlPiNA: A Symbolic Model Checker. - Didier Buchs; Steve Hostettler; Alexis Marechal; Matteo Risoldi (Petri Nets, 2010)

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study. - Luis Pedro; Matteo Risoldi; Didier Buchs; Vasco Amaral 001 (DSM@SPLASH, 2010)

AlPiNA: An Algebraic Petri Net Analyzer. - Didier Buchs; Steve Hostettler; Alexis Marechal; Matteo Risoldi (TACAS, 2010)

Modeling Self-* Systems Using Chemically-Inspired Composable Patterns. - Akla-Esso Tchao; Matteo Risoldi; Giovanna Di Marzo Serugendo (SASO, 2011)

Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. - Sara Montagna; Mirko Viroli; Matteo Risoldi; Danilo Pianini; Giovanna Di Marzo Serugendo (SERENE, 2011)

High-Level Petri Net Model Checking with AlPiNA. - Steve Hostettler; Alexis Marechal; Alban Linard; Matteo Risoldi; Didier Buchs (Fundam. Informaticae, 2011)

Self-aware Pervasive Service Ecosystems. - Franco Zambonelli; Gabriella Castelli; Laura Ferrari; Marco Mamei; Alberto Rosi; Giovanna Di Marzo Serugendo; Matteo Risoldi; Akla-Esso Tchao; Simon Dobson; Graeme Stevenson; Juan Ye; Elena Nardini 001; et al. (FET, 2011)

Language Enrichment for Resilient MDE. - Yasir Imtiaz Khan; Matteo Risoldi (SERENE, 2012)

Optimizing Algebraic Petri Net Model Checking by Slicing. - Yasir Imtiaz Khan; Matteo Risoldi (PNSE+ModPE, 2013)

Assessing the Resilience ofSelf-Organizing Systems: A Quantitative Approach. - Matteo Risoldi; Jose Luis Fernandez-Marquez; Giovanna Di Marzo Serugendo (Adaptive, Dynamic, and Resilient Systems, 2014)

Developing pervasive multi-agent systems with nature-inspired coordination. - Franco Zambonelli; Andrea Omicini; Bernhard Anzengruber; Gabriella Castelli; Francesco L. De Angelis; Giovanna Di Marzo Serugendo; Simon A. Dobson; Jose Luis Fernandez-Marquez; Alois Ferscha; Marco Mamei; Stefano Mariani 001; Ambra Molesini; et al. (Pervasive Mob. Comput., 2015)