Per Status


Per Status

6 publications  /  unpublished  /  Mirko Viroli

unpublished
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Systems
(unpublished)  ACM Transactions on Autonomous and Adaptive Systems
XWiki.MarcoSbaraglia|XWiki.MirkoViroli|XWiki.MCasadei
Programming Coordination Laws of Artifacts in CArtAgO
(unpublished)  
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
(unpublished)  
XWiki.MirkoViroli|XWiki.AndreaOmicini
The “Self-organising Coordination” Paradigm in the Software Engineering of SOS
(unpublished)  
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Integrating Simulation in AOSE: The SODA Case Study
(unpublished)  Simulation Modelling Practice and Theory
Graeme Stevenson, Simon Dobson, Mirko Viroli, Elena Nardini
An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems
(unpublished)  10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)
(6 publications unpublished)  [top]  [bottom]

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY