default search action

combined dblp search
author search
venue search
publication search

ask others

Michele Loreti

> Home > Persons

Person information

affiliation: University of Camerino, Italy
affiliation (former): University of Florence, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Service temporarily not available.

Please try again later.

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GiudiceMQRL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiudiceMQRL24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CastiglioniLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CastiglioniLT24
Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A tool for the analysis of CPSs robustness. Sci. Comput. Program. 236: 103134 (2024)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BelenchiaCQL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BelenchiaCQL24
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)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/QuadriniAFQSBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/QuadriniAFQSBL24
Michela Quadrini, Ereza Abdullah, Niccolò Francioni, Marco Quadrini, Matteo Scoccia, Michele Bellesi, Michele Loreti:
Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional Neural Networks. BIBM 2024: 6506-6512
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/CastiglioniLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/CastiglioniLT24
Valentina Castiglioni, Michele Loreti, Simone Tini:
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems. CMSB 2024: 62-70
[c93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CastiglioniLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CastiglioniLT24
Valentina Castiglioni, Michele Loreti, Simone Tini:
RobTL: Robustness Temporal Logic for CPS. CONCUR 2024: 15:1-15:23
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiudiceCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiudiceCL24
Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti:
Visualisation of Collective Systems with Sequit and Sibilla. COORDINATION 2024: 277-294
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CastiglioniLLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CastiglioniLLT24
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini:
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS 2024: 21-39
[c90]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hc/SerenelliQOL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hc/SerenelliQOL24
Marco Serenelli, Michela Quadrini, Maria Óskarsdóttir, Michele Loreti:
Encoding Methods Comparison for Stress Detection. HC@AIxIA 2024: 311-320
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BettiniFLPTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BettiniFLPTT24
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. ISoLA (1) 2024: 27-49
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GiudiceLQR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GiudiceLQR24
Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman:
Monitoring Local and Global Properties of Collective Adaptive Systems. ISoLA (2) 2024: 281-296
[c87]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ital-ia/MurtajQMLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ital-ia/MurtajQMLW24
Erik Murtaj, Michela Quadrini, Fausto Marcantoni, Michele Loreti, Hans Friedrich Witschel:
Real-Time Intrusion Detection via Machine Learning Approaches. Ital-IA 2024: 200-205
[c86]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/PaccamiccioRL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/PaccamiccioRL24
Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building call graph of WebAssembly programs via abstract semantics. ITASEC 2024
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/CastiglioniLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/CastiglioniLT24
Valentina Castiglioni, Michele Loreti, Simone Tini:
STARK: A Software Tool for the Analysis of Robustness in the unKnown environment. DROPS Artifacts, 2024
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-09441
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-09441
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
The μG Language for Programming Graph Neural Networks. CoRR abs/2407.09441 (2024)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-14527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-14527
Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR abs/2407.14527 (2024)
2023
[j35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CastiglioniLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CastiglioniLT23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/LoretiQ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/LoretiQ23
Michele Loreti, Michela Quadrini:
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19(3) (2023)
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/NenziBBSL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NenziBBSL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CastiglioniLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CastiglioniLT23
Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BelenchiaCQL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BelenchiaCQL23
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ictcs/CastiglioniLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/CastiglioniLT23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/NenziBBL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/NenziBBL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/GiudiceL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/GiudiceL22
Nicola Del Giudice, Michele Loreti:
YODA: Yet anOther agent Description lAnguage. ACSOS-C 2022: 82-87
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiudiceMQRL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiudiceMQRL22
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION 2022: 92-98
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/LoretiR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/LoretiR22
Michele Loreti, Aniqa Rehman:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST 2022: 133-149
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-14686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-14686
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-13357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-13357
Valentina Castiglioni, Michele Loreti, Simone Tini:
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR abs/2204.13357 (2022)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-11158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-11158
Valentina Castiglioni, Michele Loreti, Simone Tini:
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. CoRR abs/2212.11158 (2022)
2021
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Loreti21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Loreti21
Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33(3): 457-458 (2021)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaDL21
Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021)
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CastiglioniLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CastiglioniLT21
Valentina Castiglioni, Michele Loreti, Simone Tini:
How Adaptive and Reliable is Your Program? FORTE 2021: 60-79
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ViscontiBLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ViscontiBLN21
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-08708
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-08708
Michele Loreti, Michela Quadrini:
A Spatial Logic for a Simplicial Complex Model. CoRR abs/2105.08708 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-11400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-11400
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-08081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-08081
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR abs/2109.08081 (2021)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-15319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-15319
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlrahmanNL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlrahmanNL20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CastiglioniLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CastiglioniLT20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BortolussiHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BortolussiHL20
Luca Bortolussi, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CastiglioniLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CastiglioniLT20
Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) 2020: 380-396
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NenziBBLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NenziBBLV20
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BartocciBLNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BartocciBLNS20
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428
[e6]
- view
- export record
  dblp key:
  - conf/itasec/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/2020
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/AlrahmanNL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlrahmanNL19
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/VissatLNHM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/VissatLNHM19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/Loreti19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/Loreti19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDL19
Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BennaceurGTKWCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BennaceurGTKWCD19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TsigkanosNLGDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TsigkanosNLGDG19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2019denicola
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2019denicola
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-08847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-08847
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019)
2018
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/NenziBCLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/NenziBCLM18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CianciaGGLLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CianciaGGLLM18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/BeekL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/BeekL18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/Loreti18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/Loreti18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNGL18
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/GalpinGLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/GalpinGLV18
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2018
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Lluch-LafuenteL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Lluch-LafuenteL16
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017)
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LatellaLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LatellaLM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BartocciBLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BartocciBLN17
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/VissatLNHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/VissatLNHM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LatellaLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LatellaLM17
Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/VissatHLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/VissatHLN17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NenziBCLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NenziBCLM17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-06092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-06092
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-09762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-09762
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017)
2016
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CianciaLLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CianciaLLM16
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/wc/ChitiFLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wc/ChitiFLP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/HillstonL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/HillstonL16
Jane Hillston, Michele Loreti:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/LoretiH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/LoretiH16
Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CianciaLLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CianciaLLM16
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/NenziBL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/NenziBL16
Laura Nenzi, Luca Bortolussi, Michele Loreti:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016
[e3]
- view
- export record
  dblp key:
  - conf/ictcs/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/2015
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2015
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekL16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016)
2015
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BernardoNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BernardoNL15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BernardoGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BernardoGL15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BorealeBNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BorealeBNL15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LatellaLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LatellaLM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LatellaLMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LatellaLMS15
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/LatellaLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LatellaLM15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/Lluch-LafuenteL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Lluch-LafuenteL15
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/LatellaLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/LatellaLM15
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NenziBCLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NenziBCLM15
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AlrahmanNLTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AlrahmanNLTV15
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AbeywickramaSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AbeywickramaSL15
Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CianciaGLLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CianciaGLLM15
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311
[c50]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiNGGHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiNGGHL15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CrescenziL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CrescenziL16
Pierluigi Crescenzi, Michele Loreti:
Preface. ICTCS 2015: 1-2
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NicolaLLLMMMPTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AbeywickramaCHKKLLMMMMPTVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardoNL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardoNL14
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]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/BernardoGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BernardoGL14
Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/NicolaLPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/NicolaLPT14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoNL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoNL14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/e4mas/HillstonL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/e4mas/HillstonL14
Jane Hillston, Michele Loreti:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/NicolaLLMPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/NicolaLLMPST14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/CianciaLLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/CianciaLLM14
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LoretiMPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LoretiMPT14
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/CianciaGLLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/CianciaGLLM14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LatellaLMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LatellaLMS14
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16
[c42]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LatellaLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LatellaLM14
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CianciaLLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CianciaLLM14
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014)
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NicolaLLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NicolaLLM13
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BernardoNL13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LatellaLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LatellaLM13
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330
[c39]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1305-0538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-0538
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LatellaLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LatellaLM13
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013)
2012
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BernardoNL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BernardoNL12
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GjondrekajLPTPBBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GjondrekajLPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GjondrekajLPT12
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527
2011
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NicolaFLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NicolaFLP11
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DErricoL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DErricoL11
Liliana D'Errico, Michele Loreti:
Context Aware Specification and Verification of Distributed Systems. TGC 2011: 142-159
[c33]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1865
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/NicolaLLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/NicolaLLM11
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/CappelloCGLLQS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/CappelloCGLLQS11
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BeekLLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BeekLLP11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/CalzolaiL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CalzolaiL10
Francesco Calzolai, Michele Loreti:
Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL10
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DErricoL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DErricoL10
Liliana D'Errico, Michele Loreti:
Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DErricoL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DErricoL09
Liliana D'Errico, Michele Loreti:
Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305
[c28]
- view
- export record
  dblp key:
  - conf/eusflat/DErricoL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eusflat/DErricoL09
Liliana D'Errico, Michele Loreti:
A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/NicolaLLM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NicolaLLM09
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
2008
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/NicolaL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/NicolaL08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CalzolaiNLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CalzolaiNLT08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BettiniNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BettiniNL08
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/BorealeBNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BorealeBNL08
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tamodia/MassinkLBHL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamodia/MassinkLBHL08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BravettiLLMZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BravettiLLMZ08
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BruniNLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BruniNLM08
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaLLM09
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaKLLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaKLLM07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/ManganaroKL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/ManganaroKL07
Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-Based EAP Method. ICETE (Selected Papers) 2007: 343-355
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ictcs/DErricoL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/DErricoL07
Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105
[c17]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/winsys/ManganaroKL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/winsys/ManganaroKL07
Andrea Manganaro, Mingyur Koblensky, Michele Loreti:
Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16
2006
[j3]
- view
  - electronic edition @ scpe.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/scpe/BettiniNL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/BettiniNL06
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Comput. Pract. Exp. 7(4) (2006)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/CrescenziLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/CrescenziLP06
Pilu Crescenzi, Michele Loreti, Rosario Pugliese:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BorealeBCNLLMMRSVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniNFL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniNFL07
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaL07
Rocco De Nicola, Michele Loreti:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. LMCS 2006: 133-146
2005
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/dais/BettiniNFLL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/BettiniNFLL05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BettiniNL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BettiniNL04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/NicolaL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/NicolaL04
Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NicolaL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NicolaL04
Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/BettiniCILC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/BettiniCILC04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/global/BettiniBNFGLMPTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BettiniNL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BettiniNL02
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniNL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniNL02
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniLP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniLP02
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniLP01
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Modelling Node Connectivity in Dynamically Evolving Networks. ConCoord 2001: 81-91
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CapitaniLV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CapitaniLV01
Beatrice Capitani, Michele Loreti, Betti Venneri:
Hyperformulae, Parallel Deductions and Intersection Types. BOTH 2001: 178-195
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/NicolaL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/NicolaL00
Rocco De Nicola, Michele Loreti:
A Modal Logic for KLAIM. AMAST 2000: 339-354
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniLP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniLP00
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Structured Nets in KLAIM. SAC (1) 2000: 174-180

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

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.