A Spatial Logic for Simplicial Models von Loreti, Michele, Quadrini, Michela

Volltext

A framework to measure the robustness of programs in the unpredictable environment von Castiglioni, Valentina, Loreti, Michele, Tini, Simone

Volltext

Model Checking Spatial Logics for Closure Spaces von Ciancia, Vincenzo, Latella, Diego, Loreti, Michele, Massink, Mieke

Volltext

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties von Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke

Volltext

Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers von Ganty, Pierre, Loreti, Michele

Volltext

Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computin... von Serugendo, Giovanna Di Marzo, Loreti, Michele

Volltext

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems von Loreti, Michele, Rehman, Aniqa

Volltext

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields von Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari

Volltext

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday von Boreale, Michele, Corradini, Flavio, Loreti, Michele, Pugliese, Rosario

Volltext

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes von Bernardo, Marco, De Nicola, Rocco, Loreti, Michele

Volltext

Replicated Computations Results (RCR) Report for “Statistical Abstraction for Multi-scale Spatio-temporal Systems” von Loreti, Michele

Volltext

CARMA: Collective Adaptive Resource-sharing Markovian Agents von Bortolussi, Luca, De Nicola, Rocco, Galpin, Vashti, Gilmore, Stephen, Hillston, Jane, Latella, Diego, Loreti, Michele, Massink, Mieke

Volltext

Replicated Computations Results (RCR) Report for “Mesoscopic Modelling of Pedestrian Movement using C arma and its Tools” von Loreti, Michele

Volltext

Stark: A tool for the analysis of CPSs robustness von Castiglioni, Valentina, Loreti, Michele, Tini, Simone

Volltext

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes von Castiglioni, Valentina, Loreti, Michele, Tini, Simone

Volltext

Stochastically timed predicate-based communication primitives for autonomic computing von Latella, Diego, Loreti, Michele, Massink, Mieke, Senni, Valerio

Volltext

Programming interactions in collective adaptive systems by relying on attribute-based communication von Abd Alrahman, Yehia, De Nicola, Rocco, Loreti, Michele

Volltext

Robustness for biochemical networks: Step-by-step approach von Castiglioni, Valentina, Lanotte, Ruggero, Loreti, Michele, Manicardi, Desiree, Tini, Simone

Volltext

On-the-fly Probabilistic Model Checking von Latella, Diego, Loreti, Michele, Massink, Mieke

Volltext

Modelling global computations with Klaim von De Nicola, Rocco, Loreti, Michele

Volltext