Matteo Casadei

37 papers B 2C 4Misc 8Journal 5Unranked 16

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