Lista de obras - Michele Loreti - Dominio Público Uruguay

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

artículo científico publicado en 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

artículo científico publicado en 2004

A uniform definition of stochastic process calculi

artículo científico publicado en 2013

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

artículo científico publicado en 2013

An Experimental Spatio-Temporal Model Checker

artículo científico publicado en 2015

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

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL

artículo científico publicado en 2019

Assessing CS1 java skills

artículo científico publicado en 2006

Assume-Guarantee Verification of Concurrent Systems

artículo científico publicado en 2009

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

artículo científico publicado en 2017

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

artículo científico publicado en 2016

CARMA: Collective Adaptive Resource-sharing Markovian Agents

artículo científico publicado en 2015

CaSPiS: a calculus of sessions, pipelines and services

artículo científico publicado en 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

artículo científico publicado en 2014

Editorial for the Special Issue on Open Problems in Concurrency Theory

artículo científico publicado en 2015

FlyFast: A Mean Field Model Checker

artículo científico publicado en 2017

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

artículo científico publicado en 2017

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

artículo científico publicado en 2004

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

artículo científico publicado en 2014

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

artículo científico publicado en 2018

How Adaptive and Reliable is Your Program?

artículo científico publicado en 2021

Hyperformulae, Parallel Deductions and Intersection Types

artículo científico publicado en 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

artículo científico publicado en 2007

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

artículo científico publicado en 2015

MarCaSPiS: a Markovian Extension of a Calculus for Services

artículo científico publicado en 2009

Model Checking Spatial Logics for Closure Spaces

artículo científico publicado en 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

artículo científico publicado en 2016

Modelling global computations with KLAIM.

artículo científico publicado en 2008

Monitoring Local and Global Properties of Collective Adaptive Systems

Monitoring Spatio-Temporal Properties (Invited Tutorial)

artículo científico publicado en 2020

Monitoring and visualizing adaptation of autonomic systems at runtime

artículo científico publicado en 2015

Monitoring mobile and spatially distributed cyber-physical systems

artículo científico publicado en 2017

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

artículo científico publicado en 2020

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

artículo científico publicado en 2007

Multiple-Labelled Transition Systems for nominal calculi and their logics

artículo científico publicado en 2008

On the Power of Attribute-Based Communication

scholarly article

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

artículo científico publicado en 2014

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

artículo científico publicado en 2015

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

artículo científico publicado en 2015

On-the-fly Probabilistic Model Checking

artículo científico publicado en 2014

Online monitoring of spatio-temporal properties for imprecise signals

artículo científico publicado en 2021

Preface

artículo científico publicado en 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

artículo científico publicado en 2015

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

artículo científico publicado en 2014

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

artículo científico publicado en 2018

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

artículo científico publicado en 2019

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

artículo científico publicado en 2014

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

artículo científico publicado en 2014

Sibilla: A Tool for Reasoning about Collective Systems

Spatial Logic and Spatial Model Checking for Closure Spaces

artículo científico publicado en 2016

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

artículo científico publicado en 2018

Specification and Analysis of Open-Ended Systems with CARMA

artículo científico publicado en 2015

Specifying and Verifying Properties of Space

artículo científico publicado en 2014

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

artículo científico publicado en 2023

Stochastically timed predicate-based communication primitives for autonomic computing

artículo científico publicado en 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

artículo científico publicado en 2013

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

artículo científico publicado en 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

artículo científico publicado en 2011

YODA: Yet anOther agent Description lAnguage

artículo científico publicado en 2022

jSSTL - A Tool to Monitor Spatio-Temporal Properties

artículo científico publicado en 2017

Lista de obras de 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

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

A calculus for attribute-based communication

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

A modal logic for mobile agents

A uniform definition of stochastic process calculi

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

An Experimental Spatio-Temporal Model Checker

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

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL

Assessing CS1 java skills

Assume-Guarantee Verification of Concurrent Systems

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

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

CARMA: Collective Adaptive Resource-sharing Markovian Agents

CaSPiS: a calculus of sessions, pipelines and services

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

Editorial for the Special Issue on Open Problems in Concurrency Theory

FlyFast: A Mean Field Model Checker

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

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

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

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

How Adaptive and Reliable is Your Program?

Hyperformulae, Parallel Deductions and Intersection Types

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

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

MarCaSPiS: a Markovian Extension of a Calculus for Services

Model Checking Spatial Logics for Closure Spaces

Model checking mobile stochastic logic

Modeling adaptation with a tuple-based coordination language

Modelling Node Connectivity in Dynamically Evolving Networks

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

Modelling global computations with KLAIM.

Monitoring Local and Global Properties of Collective Adaptive Systems

Monitoring Spatio-Temporal Properties (Invited Tutorial)

Monitoring and visualizing adaptation of autonomic systems at runtime

Monitoring mobile and spatially distributed cyber-physical systems

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

Multiple-Labelled Transition Systems for nominal calculi and their logics

On the Power of Attribute-Based Communication

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

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

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

On-the-fly Probabilistic Model Checking

Online monitoring of spatio-temporal properties for imprecise signals

Preface

Programming and Verifying Component Ensembles

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

Programming of CAS Systems by Relying on Attribute-Based Communication

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

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

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

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

Sibilla: A Tool for Reasoning about Collective Systems

Spatial Logic and Spatial Model Checking for Closure Spaces

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

Specification and Analysis of Open-Ended Systems with CARMA

Specifying and Verifying Properties of Space

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

Stochastically timed predicate-based communication primitives for autonomic computing

Structured nets in KLAIM

The SCEL Language: Design, Implementation, Verification

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

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

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

YODA: Yet anOther agent Description lAnguage

jSSTL - A Tool to Monitor Spatio-Temporal Properties