×
Author ID: loreti.michele Recent zbMATH articles by "Loreti, Michele"
Published as: Loreti, Michele; Loreti, M.
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 170 times in 104 Documents Cited by Year
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
14
2013
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
13
2003
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
11
2013
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
9
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
9
2014
Hyperformulae, parallel deductions and intersection types. Zbl 1261.03072
Capitani, Beatrice; Loreti, Michele; Venneri, Betti
8
2001
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
8
2018
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
7
2015
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
7
2009
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
7
2014
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
7
2016
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
6
2016
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
An experimental spatio-temporal model checker. Zbl 1461.68113
Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
5
2015
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2019
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
4
2016
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
4
2017
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes. Zbl 1464.68231
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2013
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Zbl 1433.68242
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
3
2020
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
3
2014
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
A spatial logic for simplicial models. Zbl 07731936
Loreti, Michele; Quadrini, Michela
2
2023
Fluid approximation of broadcasting systems. Zbl 1432.68020
Bortolussi, Luca; Hillston, Jane; Loreti, Michele
1
2020
FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation. Zbl 1498.68162
Latella, Diego; Loreti, Michele; Massink, Mieke
1
2017
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693
Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele
1
2022
How adaptive and reliable is your program? Zbl 1489.68139
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
1
2021
A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
1
2023
A spatial logic for simplicial models. Zbl 07731936
Loreti, Michele; Quadrini, Michela
2
2023
A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
1
2023
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693
Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele
1
2022
How adaptive and reliable is your program? Zbl 1489.68139
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
1
2021
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Zbl 1433.68242
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
3
2020
Fluid approximation of broadcasting systems. Zbl 1432.68020
Bortolussi, Luca; Hillston, Jane; Loreti, Michele
1
2020
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2019
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
8
2018
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
4
2017
FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation. Zbl 1498.68162
Latella, Diego; Loreti, Michele; Massink, Mieke
1
2017
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
7
2016
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
6
2016
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
4
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
7
2015
An experimental spatio-temporal model checker. Zbl 1461.68113
Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
5
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
9
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
9
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
7
2014
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
3
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
14
2013
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
11
2013
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes. Zbl 1464.68231
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2013
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
7
2009
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
13
2003
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
Hyperformulae, parallel deductions and intersection types. Zbl 1261.03072
Capitani, Beatrice; Loreti, Michele; Venneri, Betti
8
2001
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
all top 5

Cited by 192 Authors

19 Loreti, Michele
11 De Nicola, Rocco
8 Massink, Mieke
7 Bernardo, Marco
7 Latella, Diego
6 Castiglioni, Valentina
6 Tini, Simone
5 Ciancia, Vincenzo
5 Nielson, Flemming
5 Viroli, Mirko
4 Alrahman, Yehia Abd
4 Audrito, Giorgio
4 Bortolussi, Luca
4 Damiani, Ferruccio
4 Liquori, Luigi
4 Pianini, Danilo
4 Riis Nielson, Hanne
3 Beal, Jacob
3 Bettini, Lorenzo
3 Casadei, Roberto
3 Hermanns, Holger
3 Miculan, Marino
3 Nenzi, Laura
3 Pugliese, Rosario
3 Stolze, Claude
3 Tiezzi, Francesco
3 Tribastone, Mirco
2 Bartocci, Ezio
2 Bono, Viviana
2 Buchholz, Peter
2 Ciobanu, Gabriel
2 de Vink, Erik P.
2 Dougherty, Daniel J.
2 Eisentraut, Christian
2 Gebler, Daniel E.
2 Gnesi, Stefania
2 Godskesen, Jens Chr.
2 Hillston, Jane
2 Katoen, Joost-Pieter
2 Klin, Bartek
2 Lanese, Ivan
2 Nanz, Sebastian
2 Pasqua, Michele
2 Ronchi Della Rocca, Simona
2 Sevegnani, Michele
2 Song, Lei
2 Tarasyuk, Igor’ Valer’evich
2 Tschaikowski, Max
2 Vandin, Andrea
2 Venneri, Betti
2 Wirsing, Martin
2 Zhang, Lijun
1 Ahrendt, Wolfgang
1 Aldini, Alessandro
1 Aman, Bogdan
1 Arbab, Farhad
1 Archibald, Blair
1 Bacciu, Davide
1 Banks, C. J.
1 Bezhanishvili, Nick
1 Bhateja, Puneet
1 Bianculli, Domenico
1 Bonchi, Filippo
1 Boreale, Michele
1 Borgström, Johannes
1 Bravetti, Mario
1 Bruni, Roberto
1 Burrieza, Alfredo
1 Calder, Muffy
1 Cao, Yongzhi
1 Cardelli, Luca
1 Carta, Antonio
1 Chen, Taolue
1 Chen, Yixiang
1 Clarke, Dave
1 Colombo, Christian
1 Corradini, Flavio
1 Cruz-Filipe, Luís
1 D’Argenio, Pedro Rubén
1 Pérez de Guzmán, Inmaculada
1 de’Liguoro, Ugo
1 Deshmukh, Jyotirmoy V.
1 Dezani-Ciancaglini, Mariangiola
1 Eriksson, Lars-Henrik
1 Falcone, Yliès
1 Fauser, Bertfried
1 Feng, Cheng
1 Ferrari, Gian Luigi
1 Field, John Everett
1 Forsberg Gutkovas, Ramūnas
1 Francalanza, Adrian
1 Frisch, Alain
1 Gabelaia, David
1 Galpin, Vashti
1 Gerhold, Marcus
1 Ghilezan, Silvia
1 Giachino, Elena
1 Giovannetti, Elio
1 Grilletti, Gianluca
1 Groote, Jan Friso
...and 92 more Authors

Citations by Year