Available identifiers
zbMath Open loreti.micheleWikidataQ56497695 ScholiaQ56497695MaRDI QIDQ384932
List of research outcomes
Publication | Date of Publication | Type |
---|
A framework to measure the robustness of programs in the unpredictable environment | 2023-08-26 | Paper |
A Spatial Logic for Simplicial Models | 2023-08-26 | Paper |
A logical framework for reasoning about local and global properties of collective systems | 2023-06-02 | Paper |
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation | 2022-11-09 | Paper |
How adaptive and reliable is your program? | 2022-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5028457 | 2022-02-09 | Paper |
Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. | 2021-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4992526 | 2021-06-09 | Paper |
An Experimental Spatio-Temporal Model Checker | 2021-05-18 | Paper |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes | 2020-04-21 | Paper |
Fluid approximation of broadcasting systems | 2020-03-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5216078 | 2020-02-14 | Paper |
A calculus for collective-adaptive systems and its behavioural theory | 2019-09-17 | Paper |
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems | 2019-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4553288 | 2018-11-02 | Paper |
A modal logic for mobile agents | 2017-07-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q2980978 | 2017-05-08 | Paper |
Model Checking Spatial Logics for Closure Spaces | 2017-04-11 | Paper |
On-the-fly Fast Mean-Field Model-Checking | 2016-11-09 | Paper |
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations | 2016-11-09 | Paper |
On the Power of Attribute-Based Communication | 2016-10-19 | Paper |
Spatial Logic and Spatial Model Checking for Closure Spaces | 2016-10-04 | Paper |
CaSPiS: a calculus of sessions, pipelines and services | 2016-07-27 | Paper |
MarCaSPiS: a Markovian Extension of a Calculus for Services | 2016-06-03 | Paper |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 2015-03-02 | Paper |
Specifying and Verifying Properties of Space | 2014-09-15 | Paper |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 2014-07-25 | Paper |
Programming and Verifying Component Ensembles | 2014-07-24 | Paper |
A uniform definition of stochastic process calculi | 2014-06-05 | Paper |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2014-03-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q2863915 | 2013-12-04 | Paper |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 2013-11-29 | Paper |
Hyperformulae, Parallel Deductions and Intersection Types | 2013-04-19 | Paper |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 2012-06-22 | Paper |
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
Rate-Based Transition Systems for Stochastic Process Calculi | 2009-07-14 | Paper |
Multiple-Labelled Transition Systems for nominal calculi and their logics | 2008-04-10 | Paper |
Model checking mobile stochastic logic | 2007-09-03 | Paper |
Formal Methods for Components and Objects | 2006-11-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738174 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767185 | 2002-01-28 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Michele Loreti