×
Compute Distance To:
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

30 Publications have been cited 127 times in 86 Documents Cited by Year
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
12
2003
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
11
2013
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
10
2013
Hyperformulae, parallel deductions and intersection types. Zbl 1261.03072
Capitani, Beatrice; Loreti, Michele; Venneri, Betti
8
2001
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2014
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
6
2014
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2015
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
5
2016
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
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
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
4
2018
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
3
2019
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2016
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
3
2017
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2014
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Zbl 1433.68242
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
2
2020
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
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2016
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
An experimental spatio-temporal model checker. Zbl 1461.68113
Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
1
2015
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes. Zbl 1464.68231
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
1
2013
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Zbl 1433.68242
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
2
2020
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
3
2019
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
4
2018
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
3
2017
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
5
2016
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2016
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
An experimental spatio-temporal model checker. Zbl 1461.68113
Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
1
2015
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
6
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
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2014
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
11
2013
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
10
2013
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes. Zbl 1464.68231
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
1
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
12
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 176 Authors

15 Loreti, Michele
10 De Nicola, Rocco
6 Bernardo, Marco
5 Castiglioni, Valentina
5 Massink, Mieke
5 Nielson, Flemming
5 Tini, Simone
4 Latella, Diego
4 Liquori, Luigi
4 Riis Nielson, Hanne
3 Alrahman, Yehia Abd
3 Bettini, Lorenzo
3 Bortolussi, Luca
3 Nenzi, Laura
3 Pianini, Danilo
3 Pugliese, Rosario
3 Stolze, Claude
3 Tiezzi, Francesco
3 Tribastone, Mirco
3 Viroli, Mirko
2 Audrito, Giorgio
2 Bartocci, Ezio
2 Beal, Jacob
2 Bono, Viviana
2 Casadei, Roberto
2 Ciancia, Vincenzo
2 Damiani, Ferruccio
2 Dougherty, Daniel J.
2 Gebler, Daniel E.
2 Gnesi, Stefania
2 Hermanns, Holger
2 Hillston, Jane
2 Katoen, Joost-Pieter
2 Klin, Bartek
2 Lanese, Ivan
2 Miculan, Marino
2 Nanz, Sebastian
2 Ronchi Della Rocca, Simona
2 Tschaikowski, Max
2 Vandin, Andrea
2 Venneri, Betti
2 Wirsing, Martin
1 Ahrendt, Wolfgang
1 Aldini, Alessandro
1 Arbab, Farhad
1 Bacciu, Davide
1 Banks, C. J.
1 Bhateja, Puneet
1 Bianculli, Domenico
1 Bonchi, Filippo
1 Boreale, Michele
1 Borgström, Johannes
1 Bravetti, Mario
1 Bruni, Roberto
1 Buchholz, Peter
1 Burrieza, Alfredo
1 Cao, Yongzhi
1 Cardelli, Luca
1 Carta, Antonio
1 Chen, Taolue
1 Chen, Yixiang
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Colombo, Christian
1 Corradini, Flavio
1 Cruz-Filipe, Luís
1 D’Argenio, Pedro Rubén
1 de Guzmán, Inmaculada Pérez
1 de’Liguoro, Ugo
1 Deshmukh, Jyotirmoy V.
1 Dezani-Ciancaglini, Mariangiola
1 Eisentraut, Christian
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 Galpin, Vashti
1 Gerhold, Marcus
1 Ghilezan, Silvia
1 Giachino, Elena
1 Giovannetti, Elio
1 Godskesen, Jens Chr.
1 Han, Tingting
1 Hankin, Chris L.
1 Hennicker, Rolf
1 Honsell, Furio
1 Inverso, Omar
1 Jansen, David N.
1 Johnsen, Einar Broch
1 Klarl, Annabelle
1 Knapp, Alexander
1 Kolesnichenko, Anna
1 Koutny, Maciej
1 Krstić, Srđan
1 Lanotte, Ruggero
...and 76 more Authors

Citations by Year