Michele Loreti

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Valentina Castiglioni

> Home > Persons > Michele Loreti

Publications

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)
[c89]
- view
  - electronic edition via DOI (open access)
  - references & 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
[c87]
- 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
2023
[j35]
- view
  - electronic edition via DOI (open access)
  - references & 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)
[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
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- 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
[i14]
- view
  - electronic edition via DOI (open access)
  - references & 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)
  - references & 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
[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
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & 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
[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)
[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

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.