Per Status
- A Framework to Specify and Verify Computational Fields for Pervasive Systems (article in journal) — Matteo Casadei, Mirko Viroli
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (technical report) — Matteo Casadei, Mirko Viroli
- The “Self-organising Coordination” Paradigm in the Software Engineering of SOS (other publication sort) — Mirko Viroli, Andrea Omicini
- An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems (paper in proceedings) — Graeme Stevenson, Simon Dobson, Mirko Viroli, Elena Nardini
0000-0003-2702-5702