Per Year

Per Year

26 talks  /  2006–2012  /  Matteo Casadei

2012  |  2010  |  2009  |  2008  |  2007  |  2006

2012
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (talk @ WOA 2012 (17/09/2012–19/09/2012), 19/09/2012)Danilo Pianini (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk @ “Event.Asensis2012” is not an APICe document, 10/09/2012)Mirko Viroli (Matteo Casadei, Mirko Viroli)
(2 talks in 2012)  [top]  [bottom]
2010
A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk @ WOA 2010 (05/09/2010–07/09/2010), 07/09/2010)Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services (talk @ SAC 2010 (22/03/2010–26/03/2010), 26/03/2010)Matteo Casadei (Mirko Viroli, Matteo Casadei)
(2 talks in 2010)  [top]  [bottom]
2009
Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invited talk @ Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain, 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 (talk @ The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009)Mirko Viroli (Mirko Viroli, Matteo Casadei)
Self-Organising Coordination Systems (talk @ PhD Final Dissertation, 08/04/2009)Matteo Casadei (Matteo Casadei)
Situated Tuple Centres in ReSpecT (talk @ SAC 2009 (09/03/2009–12/03/2009), 10/03/2009)Andrea Omicini (Matteo Casadei, Andrea Omicini)
A Framework for Modelling and Implementing Self-Organising Coordination (talk @ 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009)Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
(5 talks in 2009)  [top]  [bottom]
2008
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk @ 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008)Matteo Casadei (Mirko Viroli, Matteo Casadei)
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (talk @ 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 26/09/2008)Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)
Situating A&A ReSpecT for Pervasive Environment Applications (talk @ CoMA 2008 @ WET ICE 2008 (23/06/2008–25/06/2008), 24/06/2008)Matteo Casadei (Matteo Casadei, Andrea Omicini)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk @ CoMA 2008 @ WET ICE 2008 (23/06/2008–25/06/2008), 24/06/2008)Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
ReSpecT in the A&A Perspective (internal talk @ Weekly aliCE Meetings, 23/05/2008)Matteo Casadei (Andrea Omicini, Matteo Casadei)
Self-Organising Approaches to Coordination (seminar @ Informatics System Design LS  - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008)Matteo Casadei (Mirko Viroli, Matteo Casadei)
(6 talks in 2008)  [top]  [bottom]
2007
Maude: A Language for Concurrent Rewriting  (seminar @ 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 (PhD presentation @ 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 (talk @ Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007)Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
On the Problem of Over-clustering in Tuple-based Coordination Systems (talk @ First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007)Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
Matteo Casadei's Research Activity (internal talk @ Weekly aliCE Meetings, 15/06/2007)Matteo Casadei (Matteo Casadei)
Designing Self-Organizing Multiagent Systems (seminar @ Florida Tech: Fridays' Seminars, Spring 2007, 23/02/2007)Matteo Casadei (Matteo Casadei)
(6 talks in 2007)  [top]  [bottom]
2006
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk @ EUMAS 2006 (14/12/2006–15/12/2006), 15/12/2006)Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
Introduction to Maude rewriting language (seminar @ 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 (talk @ WOA 2006 (26/09/2006–27/09/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 (talk @ AICA 2006 (21/09/2006–22/09/2006), 22/09/2006)Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (talk @ FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006)Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
(5 talks in 2006)  [top]  [bottom]

Avatar

home  •  events  •  projects  •  publications  •  research  •  talks  •  teaching  •  themes  •  theses

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