![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Michele Loreti
Person information
- affiliation: University of Camerino, Italy
- affiliation (former): University of Florence, Italy
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]Nicola Del Giudice
, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
:
Sibilla: A tool for reasoning about collective systems. Sci. Comput. Program. 235: 103095 (2024) - [j37]Valentina Castiglioni
, Michele Loreti, Simone Tini:
Stark: A tool for the analysis of CPSs robustness. Sci. Comput. Program. 236: 103134 (2024) - [j36]Matteo Belenchia
, Flavio Corradini, Michela Quadrini, Michele Loreti:
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238: 103165 (2024) - [c87]Nicola Del Giudice
, Federico Maria Cruciani, Michele Loreti
:
Visualisation of Collective Systems with Sequit and Sibilla. COORDINATION 2024: 277-294 - [c86]Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building call graph of WebAssembly programs via abstract semantics. ITASEC 2024 - [i16]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
The μG Language for Programming Graph Neural Networks. CoRR abs/2407.09441 (2024) - 2023
- [j35]Valentina Castiglioni
, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19(3) (2023) - [j34]Michele Loreti, Michela Quadrini:
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19(3) (2023) - [j33]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [c85]Valentina Castiglioni
, Michele Loreti
, Simone Tini
:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132 - [c84]Matteo Belenchia
, Flavio Corradini
, Michela Quadrini
, Michele Loreti
:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. FORTE 2023: 37-54 - [c83]Valentina Castiglioni, Michele Loreti, Simone Tini:
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ICTCS 2023: 15-30 - 2022
- [j32]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [c82]Nicola Del Giudice
, Michele Loreti:
YODA: Yet anOther agent Description lAnguage. ACSOS-C 2022: 82-87 - [c81]Nicola Del Giudice
, Lorenzo Matteucci
, Michela Quadrini
, Aniqa Rehman
, Michele Loreti
:
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION 2022: 92-98 - [c80]Michele Loreti
, Aniqa Rehman
:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST 2022: 133-149 - [i15]Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti:
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR abs/2203.14686 (2022) - [i14]Valentina Castiglioni, Michele Loreti, Simone Tini:
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR abs/2204.13357 (2022) - [i13]Valentina Castiglioni, Michele Loreti, Simone Tini:
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. CoRR abs/2212.11158 (2022) - 2021
- [j31]Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33(3): 457-458 (2021) - [j30]Rocco De Nicola
, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021) - [c79]Valentina Castiglioni
, Michele Loreti
, Simone Tini
:
How Adaptive and Reliable is Your Program? FORTE 2021: 60-79 - [c78]Ennio Visconti, Ezio Bartocci
, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - [i12]Michele Loreti, Michela Quadrini:
A Spatial Logic for a Simplicial Complex Model. CoRR abs/2105.08708 (2021) - [i11]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i10]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR abs/2109.08081 (2021) - [i9]Valentina Castiglioni, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. CoRR abs/2111.15319 (2021) - 2020
- [j29]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020) - [j28]Valentina Castiglioni
, Michele Loreti, Simone Tini
:
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813: 20-69 (2020) - [j27]Luca Bortolussi
, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - [c77]Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) 2020: 380-396 - [c76]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [e6]Michele Loreti, Luca Spalazzi:
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020. CEUR Workshop Proceedings 2597, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j26]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019) - [j25]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi, Jane Hillston
, Glenn Marion
:
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 20:1-20:24 (2019) - [j24]Michele Loreti
:
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". ACM Trans. Model. Comput. Simul. 29(4): 23:1-23:2 (2019) - [c74]Rocco De Nicola
, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128 - [c73]Amel Bennaceur
, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns
, Radu Calinescu, Schahram Dustdar
, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu
, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos
, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c72]Christos Tsigkanos
, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar
, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - [e5]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - [i8]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - 2018
- [j23]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia, Michele Loreti, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j22]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [j21]Maurice H. ter Beek
, Michele Loreti
:
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2): 8:1-8:4 (2018) - [j20]Michele Loreti
:
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools". ACM Trans. Model. Comput. Simul. 28(2): 12:1-12:3 (2018) - [c71]Yehia Abd Alrahman
, Rocco De Nicola
, Giulio Garbi
, Michele Loreti
:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c70]Vashti Galpin
, Anastasis Georgoulas
, Michele Loreti, Andrea Vandin
:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409 - [e4]Giovanna Di Marzo Serugendo, Michele Loreti:
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Lecture Notes in Computer Science 10852, Springer 2018, ISBN 978-3-319-92407-6 [contents] - 2017
- [j19]Alberto Lluch-Lafuente
, Michele Loreti
, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - [c69]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c68]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti
, Laura Nenzi
:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c67]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi
, Jane Hillston, Glenn Marion
:
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST 2017: 317-332 - [c66]Diego Latella
, Michele Loreti
, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c65]Ludovica Luisa Vissat, Jane Hillston, Michele Loreti
, Laura Nenzi
:
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS 2017: 225-226 - [i7]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i6]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017) - [i5]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017) - 2016
- [j18]Vincenzo Ciancia, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [j17]Francesco Chiti, Romano Fantacci, Michele Loreti
, Rosario Pugliese
:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - [c64]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c63]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [c62]Jane Hillston, Michele Loreti
:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c61]Michele Loreti
, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c60]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c59]Laura Nenzi
, Luca Bortolussi
, Michele Loreti
:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - [e3]Pierluigi Crescenzi, Michele Loreti:
Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015. Electronic Notes in Theoretical Computer Science 322, Elsevier 2016 [contents] - [e2]Pierre Ganty, Michele Loreti
:
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science 9533, Springer 2016, ISBN 978-3-319-28765-2 [contents] - [e1]Maurice H. ter Beek
, Michele Loreti
:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - [i4]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016) - 2015
- [j16]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j15]Marco Bernardo, Daniel Gebler, Michele Loreti
:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84(6): 731 (2015) - [j14]Michele Boreale
, Roberto Bruni, Rocco De Nicola
, Michele Loreti
:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [j13]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - [c58]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c57]Diego Latella
, Michele Loreti
, Mieke Massink
:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c56]Alberto Lluch-Lafuente
, Michele Loreti
, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c55]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c54]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia
, Michele Loreti
, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c53]Yehia Abd Alrahman
, Rocco De Nicola
, Michele Loreti
, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c52]Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti
:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860 - [c51]Vincenzo Ciancia
, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c50]Luca Bortolussi
, Rocco De Nicola
, Vashti Galpin
, Stephen Gilmore, Jane Hillston, Diego Latella
, Michele Loreti
, Mieke Massink
:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c49]Pierluigi Crescenzi
, Michele Loreti
:
Preface. ICTCS 2015: 1-2 - [p5]Rocco De Nicola
, Diego Latella, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma
, Andrea Vandin
, Emil Vassev:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - 2014
- [j12]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j11]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014) - [j10]Rocco De Nicola
, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [j9]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c48]Jane Hillston, Michele Loreti
:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c47]Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c46]Vincenzo Ciancia
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c45]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c44]Vincenzo Ciancia
, Stephen Gilmore, Diego Latella
, Michele Loreti
, Mieke Massink
:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [c43]Diego Latella
, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c42]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - [i3]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - 2013
- [j8]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j7]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - [c41]Diego Latella
, Michele Loreti
, Mieke Massink
:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [c40]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c39]Marco Bernardo, Rocco De Nicola
, Michele Loreti
:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - [i2]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013) - [i1]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013) - 2012
- [c38]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - [c37]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari
, Marco Dorigo
:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70 - [c36]Edmond Gjondrekaj, Michele Loreti
, Rosario Pugliese
, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527 - 2011
- [c35]Rocco De Nicola
, Gian-Luigi Ferrari
, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c34]Liliana D'Errico, Michele Loreti
:
Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159 - [c33]Marco Bernardo, Rocco De Nicola
, Michele Loreti
:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - [p3]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466 - [p2]Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella
, Michele Loreti
, Paola Quaglia
, Stefano Schivo
:
Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 - [p1]Maurice H. ter Beek
, Alessandro Lapadula, Michele Loreti
, Claudio Palasciano:
Analysing Robot Movement Using the Sensoria Methods. Results of the SENSORIA Project 2011: 678-697 - 2010
- [c32]Francesco Calzolai, Michele Loreti
:
Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136 - [c31]Marco Bernardo
, Rocco De Nicola
, Michele Loreti
:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56 - [c30]Liliana D'Errico, Michele Loreti
:
Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236
2000 – 2009
- 2009
- [c29]Liliana D'Errico, Michele Loreti
:
Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305 - [c28]Liliana D'Errico, Michele Loreti:
A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141 - [c27]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c26]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [j6]Rocco De Nicola
, Michele Loreti
:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Math. Struct. Comput. Sci. 18(1): 107-143 (2008) - [j5]Francesco Calzolai, Rocco De Nicola
, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets Other Model. Concurr. 1: 54-70 (2008) - [c25]Lorenzo Bettini
, Rocco De Nicola
, Michele Loreti
:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32 - [c24]Michele Boreale
, Roberto Bruni
, Rocco De Nicola
, Michele Loreti
:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c23]Mieke Massink
, Diego Latella
, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti:
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180 - [c22]Mario Bravetti, Diego Latella
, Michele Loreti
, Mieke Massink
, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c21]Roberto Bruni
, Rocco De Nicola
, Michele Loreti
, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - [c20]Rocco De Nicola
, Diego Latella
, Michele Loreti
, Mieke Massink
:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26 - 2007
- [j4]Rocco De Nicola
, Joost-Pieter Katoen
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - [c19]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-Based EAP Method. ICETE (Selected Papers) 2007: 343-355 - [c18]Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105 - [c17]Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16 - 2006
- [j3]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Comput. Pract. Exp. 7(4) (2006) - [c16]Pilu Crescenzi
, Michele Loreti
, Rosario Pugliese
:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348 - [c15]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola
, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [c14]Lorenzo Bettini
, Rocco De Nicola
, Daniele Falassi, Michele Loreti
:
Implementing a Distributed Mobile Calculus Using the IMC Framework. CoOrg/MTCoord@COORDINATION 2006: 63-79 - [c13]Rocco De Nicola
, Michele Loreti
:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. LMCS 2006: 133-146 - 2005
- [c12]Lorenzo Bettini, Rocco De Nicola
, Daniele Falassi, Marc Lacoste, Michele Loreti:
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193 - 2004
- [j2]Lorenzo Bettini
, Rocco De Nicola
, Michele Loreti
:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004) - [j1]Rocco De Nicola
, Michele Loreti
:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004) - [c11]Rocco De Nicola
, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119 - [c10]Lorenzo Bettini
, Pilu Crescenzi
, Gaia Innocenti
, Michele Loreti
, Leonardo Cecchi:
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. ICALT 2004 - 2003
- [c9]Lorenzo Bettini, Viviana Bono, Rocco De Nicola
, Gian-Luigi Ferrari
, Daniele Gorla
, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - 2002
- [c8]Lorenzo Bettini, Rocco De Nicola
, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87 - [c7]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36 - [c6]Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377 - [c5]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- [c4]Lorenzo Bettini
, Michele Loreti
, Rosario Pugliese
:
Modelling Node Connectivity in Dynamically Evolving Networks. ConCoord 2001: 81-91 - [c3]Beatrice Capitani, Michele Loreti
, Betti Venneri
:
Hyperformulae, Parallel Deductions and Intersection Types. BOTH 2001: 178-195 - 2000
- [c2]Rocco De Nicola
, Michele Loreti:
A Modal Logic for KLAIM. AMAST 2000: 339-354 - [c1]Lorenzo Bettini
, Michele Loreti
, Rosario Pugliese
:
Structured Nets in KLAIM. SAC (1) 2000: 174-180
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint