41
publications
/
2006–2013
/
Matteo Casadei
2
publications
/
2013
•
top •
index •
bottom
2
publications
/
2012
•
top •
index •
bottom
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
- Programming Coordination Laws of Artifacts in CArtAgO (CM 2011 @ SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
5
publications
/
2011
•
top •
index •
bottom
3
publications
/
2010
•
top •
index •
bottom
- Self-Organising Coordination Systems (phd thesis) — Matteo Casadei
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko Viroli
- On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
- Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei
- A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
8
publications
/
2009
•
top •
index •
bottom
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Andrea Omicini
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008) — Matteo Casadei, Mirko Viroli
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- ReSpecT Guide (manual) — 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
7
publications
/
2008
•
top •
index •
bottom
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007) — 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
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (SAC 2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
8
publications
/
2007
•
top •
index •
bottom
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- 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 (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
6
publications
/
2006
•
top •
index •
bottom