Per Status
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