Authors
27
talks
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli) Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli) A Self-Organising Infrastructure for Chemical-Semantic Coordination (WOA 2010, 07/09/2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) Chemical-Inspired Self-Composition of Competing Services (SAC 2010, 26/03/2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei) Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (CETINIA 2009, 02/12/2009) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (CEC 2009, 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei) Self-Organising Coordination Systems (PhD Final Dissertation, 08/04/2009) — Matteo Casadei (Matteo Casadei) A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009, 10/03/2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei) Situated Tuple Centres in ReSpecT (SAC 2009, 10/03/2009) — Andrea Omicini (Matteo Casadei, Andrea Omicini) Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008, 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008, 26/09/2008) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri) Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Andrea Omicini) Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli) ReSpecT in the A&A Perspective (Weekly aliCE Meetings, 23/05/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei) Self-Organising Approaches to Coordination (Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) Maude: A Language for Concurrent Rewriting (Computational Models and Languages LM, 29/11/2007) — Matteo Casadei (Matteo Casadei) The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei (Matteo Casadei) A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (IWSOS 2007, 12/09/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07, 08/09/2007) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli) On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007, 11/07/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) Matteo Casadei's Research Activity (Weekly aliCE Meetings, 15/06/2007) — Matteo Casadei (Matteo Casadei) Designing Self-Organizing Multiagent Systems (Florida Tech: Fridays' Seminars, Spring 2007, 23/02/2007) — Matteo Casadei (Matteo Casadei) A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006, 15/12/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) Introduction to Maude rewriting language (Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena), 23/11/2006) — Matteo Casadei (Matteo Casadei) Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (AICA 2006, 22/09/2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei) Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)