Matteo Risoldi

According to our database, Matteo Risoldi authored at least 17 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye

Pervasive Mob. Comput., 2015

2014

Assessing the Resilience ofSelf-Organizing Systems: A Quantitative Approach.

Matteo Risoldi, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo

Proceedings of the Adaptive, Dynamic, and Resilient Systems., 2014

2013

Optimizing Algebraic Petri Net Model Checking by Slicing.

Yasir Imtiaz Khan, Matteo Risoldi

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Language Enrichment for Resilient MDE.

Yasir Imtiaz Khan, Matteo Risoldi

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

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, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

High-Level Petri Net Model Checking with AlPiNA.

Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Fundam. Informaticae, 2011

Self-organising Pervasive Ecosystems: A Crowd Evacuation Example.

Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo

Proceedings of the Software Engineering for Resilient Systems, 2011

Modeling Self-* Systems Using Chemically-Inspired Composable Patterns.

Akla-Esso Tchao, Matteo Risoldi, Giovanna Di Marzo Serugendo

Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

2010

AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.

Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

AlPiNA: A Symbolic Model Checker.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Applications and Theory of Petri Nets, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.

Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

Specification of Decision Diagram Operations.

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

A Language and a Methodology for Prototyping User Interfaces for Control Systems.

Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss

Proceedings of the Human Machine Interaction, Research Results of the MMI Program, 2009

Composing Visual Syntax for Domain Specific Languages.

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

Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

2007

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

Matteo Risoldi, Didier Buchs

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

2006

Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping.

Matteo Risoldi, Vasco Amaral

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006