Per Sort & Year

33 papers in proceedings  /  2006–2013  /  Matteo Casadei

papers in proceedings
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), April 2013
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
WOA 2012, 12 September 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, 10 September 2012
Mirko Viroli, Jacob Beal, Matteo Casadei
Core Operational Semantics of Proto
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21–25 March 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), 27-29 April 2011
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Mirko Viroli, Matteo Casadei
Chemical-Inspired Self-Composition of Competing Services
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Matteo Casadei, Andrea Omicini
Situated Tuple Centres in ReSpecT
SAC 2009, 8-12 March 2009
Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 24-26 September 2008
Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008
Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science  175, June 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces
WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
E4MAS 2006, May 8 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Antonio Natali, Antonio Del Cinque, Matteo Casadei
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
(33 papers in proceedings / 2006–2013)  [top]  [bottom]

Tags:

Publications / Casadei

Home
clouds

per sort
in journal  |  in proc  |  chapters  |  phd th
per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note
services
ACM Digital Library  |  DBLP  |  IEEE Xplore  |  IRIS  |  PubMed  |  Google Scholar  |  Scopus  |  Semantic Scholar  |  Web of Science  |  DOI

Avatar

Contacts

Address

APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)
Italy

Phone: +39 0547 339 210

Fax: +39 0547 339 208

Email:
m.casadei@unibo.it
macasadei@deis.unibo.it

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY