Per anno
27
presentazioni
/
2006–2012
/
Matteo Casadei
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (presentazione, WOA 2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (presentazione, ASENSIS 2012 @ SASO 2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)
- A Self-Organising Infrastructure for Chemical-Semantic Coordination (presentazione, WOA 2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Chemical-Inspired Self-Composition of Competing Services (presentazione, SAC 2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invitata, CETINIA 2009) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (presentazione, CEC 2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei)
- Self-Organising Coordination Systems (presentazione, PhD Final Dissertation) — Matteo Casadei (Matteo Casadei)
- Situated Tuple Centres in ReSpecT (presentazione, SAC 2009) — Andrea Omicini (Matteo Casadei, Andrea Omicini)
- A Framework for Modelling and Implementing Self-Organising Coordination (presentazione, SAC 2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (presentazione, SASO 2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (presentazione, ICL 2008) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)
- Situating A&A ReSpecT for Pervasive Environment Applications (presentazione, CoMA 2008 @ WET ICE 2008) — Matteo Casadei (Matteo Casadei, Andrea Omicini)
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (presentazione, CoMA 2008 @ WET ICE 2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
- ReSpecT in the A&A Perspective (interna, Weekly aliCE Meetings) — Matteo Casadei (Andrea Omicini, Matteo Casadei)
- Self-Organising Approaches to Coordination (seminario, Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Maude: A Language for Concurrent Rewriting (seminario, Computational Models and Languages LM) — Matteo Casadei (Matteo Casadei)
- The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (dottorato, Final Report about the First Two Years of Matteo Casadei's Phd Course) — Matteo Casadei (Matteo Casadei)
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (presentazione, IWSOS 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Prototyping A&A ReSpecT in Maude (presentazione, FOCLASA 2007 @ CONCUR'07) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli)
- On the Problem of Over-clustering in Tuple-based Coordination Systems (presentazione, SASO 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Matteo Casadei's Research Activity (interna, Weekly aliCE Meetings) — Matteo Casadei (Matteo Casadei)
- Designing Self-Organizing Multiagent Systems (seminario, Florida Tech: Fridays' Seminars, Spring 2007) — Matteo Casadei (Matteo Casadei)
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (presentazione, EUMAS 2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Introduction to Maude rewriting language (seminario, Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei (Matteo Casadei)
- Collective Sorting Tuple Spaces (presentazione, WOA 2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (presentazione, AICA 2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (presentazione, FOCLASA 2006 @ CONCUR'06) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
