Matteo Risoldi

17 papers A 1B 2Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2015 J jnl
Developing pervasive multi-agent systems with nature-inspired coordination.
Pervasive Mob. Comput.
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, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
2014 — ch.
Assessing the Resilience ofSelf-Organizing Systems: A Quantitative Approach.
Adaptive, Dynamic, and Resilient Systems
Matteo Risoldi, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo
2013 — conf
Optimizing Algebraic Petri Net Model Checking by Slicing.
PNSE+ModPE
Yasir Imtiaz Khan, Matteo Risoldi
2012 — conf
Language Enrichment for Resilient MDE.
SERENE
Yasir Imtiaz Khan, Matteo Risoldi
2011 J jnl
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
2011 — conf
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns.
SASO
Akla-Esso Tchao, Matteo Risoldi, Giovanna Di Marzo Serugendo
2011 — conf
Self-aware Pervasive Service Ecosystems.
FET
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, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
2011 — conf
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example.
SERENE
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
2010 B conf
AlPiNA: A Symbolic Model Checker.
Petri Nets
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 A conf
AlPiNA: An Algebraic Petri Net Analyzer.
TACAS
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 — conf
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.
DSM@SPLASH
Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral
2010 — conf
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
ACSD/Petri Nets Workshops
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
2010 — conf
Specification of Decision Diagram Operations.
ACSD/Petri Nets Workshops
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
2009 — ch.
A Language and a Methodology for Prototyping User Interfaces for Control Systems.
Human Machine Interaction
Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss
2009 — conf
Composing Visual Syntax for Domain Specific Languages.
HCI (2)
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral
2007 B conf
A domain specific language and methodology for control systems GUI specification, verification and prototyping.
VL/HCC
Matteo Risoldi, Didier Buchs
2006 — conf
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping.
RISE
Matteo Risoldi, Vasco Amaral