Matteo Casadei

Marco Mamei

Ronaldo Menezes

Sci. Comput. Program., 2013

2012

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Objects and Agents, 2012

AMAri: a reporting interface for accessibility evaluations.

[BibT_eX]

[DOI]

Silvia Mirri

Ludovico Antonio Muratori

Matteo Battistelli

Paola Salomoni

Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2012

Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2011

Middleware Infrastructures for Self-organising Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2011

Core operational semantics of Proto.

[BibT_eX]

[DOI]

Jacob Beal

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Programming coordination laws of artifacts in CArtAgO.

[BibT_eX]

[DOI]

Marco Sbaraglia

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Chemical-inspired self-composition of competing services.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

On the collective sort problem for distributed tuple spaces.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

A framework for modelling and implementing self-organising coordination.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A biochemical metaphor for developing eternally adaptive service ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Using probabilistic model checking and simulation for designing self-organizing systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Situated tuple centres in ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Biochemical Tuple Spaces for Self-organising Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

An experience on probabilistic model checking and stochastic simulation to design self-organizing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008

Designing self-organising environments with agents and artefacts: a simulation-driven approach.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks.

[BibT_eX]

[DOI]

Marco Santarelli

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Situating A&A ReSpecT for Pervasive Environment Applications.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

2007

Prototyping A&A ReSpecT in Maude.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

On the Problem of Over-clustering in Tuple-based Coordination Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

A self-organising solution to the collective sort problem in distributed tuple spaces.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Systems, Second International Workshop, 2007

Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

Self-organized over-clustering avoidance in tuple-space systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Collective Sorting Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

A Case of Self-Organising Environment for MAS: the Collective Sort Problem.

[BibT_eX]

[DOI]