Per Sort


Per Sort

25 talks  /  2006–2012  /  Matteo Casadei

talks
Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk, 10/09/2012) ASENSIS @ SASO 2012
Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Self-Organising Infrastructure for Chemical-Semantic Coordination
(talk, 07/09/2010) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010)
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services
(talk, 26/03/2010) 25th Annual ACM Symposium on Applied Computing (SAC 2010)
Mirko Viroli (Mirko Viroli, Matteo Casadei)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing
(talk, 20/05/2009) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009)
Matteo Casadei (Matteo Casadei)
Self-Organising Coordination Systems
(talk, 08/04/2009) PhD Final Dissertation
Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination
(talk, 10/03/2009) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA.
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
(talk, 23/10/2008) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008)
Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
(talk, 26/09/2008) 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008)
Matteo Casadei (Andrea Omicini, Matteo Casadei)
Situating A&A ReSpecT for Pervasive Environment Applications
(talk, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop
Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
(talk, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems
(talk, 12/09/2007) Second International Workshop on Self-Organizing Systems (IWSOS 2007)
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
On the Problem of Over-clustering in Tuple-based Coordination Systems
(talk, 11/07/2007) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
(talk, 15/12/2006) Fourth European Workshop on Multi-Agent Systems, EUMAS 2006
Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
Collective Sorting Tuple Spaces
(talk, 27/09/2006) Workshops from Objects to Agents - WOA 2006
Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools
(talk, 22/09/2006)  AICA: 2006 National Conference
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
(talk, 31/08/2006) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)
(17 talks / 2006–2012)  [top]  [bottom]
invited talks
Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems
(invited talk, 02/12/2009) Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain
(1 invited talk / 2006–2012)  [top]  [bottom]
seminars
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Self-Organising Approaches to Coordination
(seminar, 06/03/2008) Informatics System Design LS  - Second Faculty of Engineering at Università di Bologna (Cesena)
Matteo Casadei (Matteo Casadei)
Maude: A Language for Concurrent Rewriting 
(seminar, 29/11/2007) Computational Models and Languages LM
Matteo Casadei (Matteo Casadei)
Designing Self-Organizing Multiagent Systems
(seminar, 23/02/2007) Florida Tech: Fridays' Seminars, Spring 2007
Matteo Casadei (Matteo Casadei)
Introduction to Maude rewriting language
(seminar, 23/11/2006) Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena)
(4 seminars / 2006–2012)  [top]  [bottom]
internal talks
Matteo Casadei (Andrea Omicini, Matteo Casadei)
ReSpecT in the A&A Perspective
(internal talk, 23/05/2008) Weekly aliCE Meetings
Matteo Casadei (Matteo Casadei)
Matteo Casadei's Research Activity
(internal talk, 15/06/2007) Weekly aliCE Meetings
(2 internal talks / 2006–2012)  [top]  [bottom]
PhD presentations
Matteo Casadei (Matteo Casadei)
The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems
(PhD presentation, 06/11/2007) Final Report about the First Two Years of Matteo Casadei's Phd Course
(1 PhD presentation / 2006–2012)  [top]  [bottom]

Tags:

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