Search filters

List of works by Michele Loreti

A Distributed Coordination Infrastructure for Attribute-Based Interaction

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

A Formal Approach to Autonomic Systems Programming

article published in 2014

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems

scientific article published in 2022

A calculus for attribute-based communication

scholarly article

A calculus for collective-adaptive systems and its behavioural theory.

A modal logic for mobile agents

scientific article published in January 2004

A uniform definition of stochastic process calculi

scientific article published on 11 July 2013

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

scientific article published in April 2013

An Experimental Spatio-Temporal Model Checker

scientific article published in 2015

An environment for self-assessing java programming skills in undergraduate first programming courses

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL

scientific article published on 31 October 2019

Assessing CS1 java skills

scientific article published on 26 June 2006

Assume-Guarantee Verification of Concurrent Systems

scientific article published in 2009

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

scientific article published on 5 December 2017

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems

scientific article published in 2016

CARMA: Collective Adaptive Resource-sharing Markovian Agents

scientific article published on 28 September 2015

CaSPiS: a calculus of sessions, pipelines and services

scientific article published on 10 November 2014

Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

scientific article published in September 2014

Editorial for the Special Issue on Open Problems in Concurrency Theory

scientific article published in November 2015

FlyFast: A Mean Field Model Checker

scientific article published in 2017

FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation

scientific article published in 2017

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming

scientific article published in June 2004

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

scientific article published in 2014

Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)

scientific article published on 22 February 2018

How Adaptive and Reliable is Your Program?

scientific article published in 2021

Hyperformulae, Parallel Deductions and Intersection Types

scientific article published in August 2001

Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks

Implementing a Distributed Mobile Calculus Using the IMC Framework

scientific article published in June 2007

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

scientific article published in 2015

MarCaSPiS: a Markovian Extension of a Calculus for Services

scientific article published in August 2009

Model Checking Spatial Logics for Closure Spaces

scientific article published on 27 April 2017

Model checking mobile stochastic logic

Modeling adaptation with a tuple-based coordination language

article published in 2012

Modelling Node Connectivity in Dynamically Evolving Networks

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

scientific article published in 2016

Modelling global computations with KLAIM.

scientific article published on October 2008

Monitoring Local and Global Properties of Collective Adaptive Systems

Monitoring Spatio-Temporal Properties (Invited Tutorial)

scientific article published in 2020

Monitoring and visualizing adaptation of autonomic systems at runtime

scientific article published on 13 April 2015

Monitoring mobile and spatially distributed cyber-physical systems

scientific article published on 29 September 2017

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

scientific article published in 2020

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

scientific article published in March 2007

Multiple-Labelled Transition Systems for nominal calculi and their logics

scientific article published in February 2008

On the Power of Attribute-Based Communication

scholarly article

On-the-fly Fast Mean-Field Model-Checking

scientific article published in 2014

On-the-fly Fluid Model Checking via Discrete Time Population Models

scientific article published in 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

scientific article published in October 2015

On-the-fly Probabilistic Model Checking

scientific article published on 26 October 2014

Online monitoring of spatio-temporal properties for imprecise signals

scientific article published on 20 November 2021

Preface

scientific article published on 16 April 2016

Programming and Verifying Component Ensembles

Programming interactions in collective adaptive systems by relying on attribute-based communication

scholarly article

Programming of CAS Systems by Relying on Attribute-Based Communication

scholarly article

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

scientific article published in 2015

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

scientific article published in August 2014

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

scientific article published on 22 February 2018

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

scientific article published on 31 October 2019

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

scientific article published on 3 March 2014

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

scientific article published on 30 November 2014

Sibilla: A Tool for Reasoning about Collective Systems

Spatial Logic and Spatial Model Checking for Closure Spaces

scientific article published in 2016

Spatio-temporal model checking of vehicular movement in public transport systems

scientific article published on 24 January 2018

Specification and Analysis of Open-Ended Systems with CARMA

scientific article published in 2015

Specifying and Verifying Properties of Space

scientific article published in 2014

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment

scientific article published in 2023

Stochastically timed predicate-based communication primitives for autonomic computing

scientific article published on 6 June 2014

Structured nets in KLAIM

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

scientific article published on 11 June 2013

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems

scientific article published in 2017

Tools for Ensemble Design and Runtime

Towards a Formal Verification Methodology for Collective Robotic Systems

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

scientific article published on 6 August 2011

YODA: Yet anOther agent Description lAnguage

scientific article published in September 2022

jSSTL - A Tool to Monitor Spatio-Temporal Properties

scientific article published in 2017

Paulina is supported by:

About Paulina

Help