author : Matteo Casadei
41
publications
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
Middleware Infrastructures for Self-organising Pervasive Computing Systems (, 2011) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case () — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Programming Coordination Laws of Artifacts in CArtAgO (CM 2011@SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Chemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo Casadei
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination () — Mirko Viroli, Matteo Casadei
Self-Organising Coordination Systems (2009) — Matteo Casadei
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks () — Matteo Casadei, Mirko Viroli
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008) — Matteo Casadei, Andrea Omicini
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
ReSpecT Guide (2008) — Matteo Casadei, Andrea Omicini
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces () — Mirko Viroli, Matteo Casadei, Luca Gardelli
On the Problem of Over-clustering in Tuple-based Coordination Systems () — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case () — Matteo Casadei, Luca Gardelli, Mirko Viroli
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem () — Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei