Matteo Casadei

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 2

Top Topics

Compression Standards

Top Venues

Sci. Comput. Program.

Publications

Francesco Ballarini, Matteo Casadei, Francesco Dal Borgo, Vittorio Ghini, Silvia Mirri
Data Visualization and Responsive Design Principles applied to Industry 4.0: the Mentor Project Case Study. GoodIT (2022)
Vittorio Ghini, Matteo Casadei, Francesco Dal Borgo, Nicolo Vincenzi, Catia Prandi, Silvia Mirri
Industry 4.0 and Video Monitoring: a Multidimensional Approach Based on MPEG-DASH. CCNC (2019)
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA case study. Sci. Comput. Program. 78 (6) (2013)
Matteo Casadei, Marco Mamei, Ronaldo Menezes
Preface to the Special section on Self-Organizing Coordination. Sci. Comput. Program. 78 (5) (2013)
Silvia Mirri, Matteo Casadei, Ludovico Antonio Muratori, Matteo Battistelli, Paola Salomoni
AMAri: a reporting interface for accessibility evaluations. W4A (2012)
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. SASO Workshops (2012)
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems. WOA (2012)
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces. ACM Trans. Auton. Adapt. Syst. 6 (2) (2011)
Marco Sbaraglia, Matteo Casadei, Mirko Viroli
Programming coordination laws of artifacts in CArtAgO. SAC (2011)
Mirko Viroli, Jacob Beal, Matteo Casadei
Core operational semantics of Proto. SAC (2011)
Mirko Viroli, Matteo Casadei
Chemical-inspired self-composition of competing services. SAC (2010)
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN. WOA (2010)
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces. SASO Workshops (2010)
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
A biochemical metaphor for developing eternally adaptive service ecosystems. SAC (2009)
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. SOAR (2009)
Mirko Viroli, Matteo Casadei, Andrea Omicini
A framework for modelling and implementing self-organising coordination. SAC (2009)
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-organising Coordination. COORDINATION (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)
Matteo Casadei, Andrea Omicini
Situated tuple centres in ReSpecT. SAC (2009)
Matteo Casadei, Mirko Viroli
Using probabilistic model checking and simulation for designing self-organizing systems. SAC (2009)
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the collective sort problem for distributed tuple spaces. Sci. Comput. Program. 74 (9) (2009)
Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications. WETICE (2008)
Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. SASO (2008)
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. WETICE (2008)
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing self-organising environments with agents and artefacts: a simulation-driven approach. Int. J. Agent Oriented Softw. Eng. 2 (2) (2008)
Mirko Viroli, Matteo Casadei, Luca Gardelli
A self-organising solution to the collective sort problem in distributed tuple spaces. SAC (2007)
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems. IWSOS (2007)
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-organized over-clustering avoidance in tuple-space systems. IEEE Congress on Evolutionary Computation (2007)
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism. CIA (2007)
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems. SASO (2007)
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem. EUMAS (2006)
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case. E4MAS (2006)
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces. WOA (2006)