E-LIB Suche - Ergebnisse für: Tini, Simone

1

Back to the format: A survey on SOS for probabilistic proce..:

Castiglioni, Valentina ; Lanotte, Ruggero ; Tini, Simone
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100929 , 2024

Link: https://doi.org/10.1016/..

2

Stark: A tool for the analysis of CPSs robustness:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
Science of Computer Programming. 236 (2024) - p. 103134 , 2024

Link: https://doi.org/10.1016/..

3

Quantitative Robustness Analysis of Sensor Attacks on Cyber..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Chong, Stephen ; Lanotte, Ruggero ; Merro, Massimo.. - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

4

Stark: A Software Tool for the Analysis of Robustness in th..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 115-132 , 2023

Link: https://doi.org/10.1007/..

5

A weak semantic approach to bisimulation metrics in models ..:

Lanotte, Ruggero ; Tini, Simone
Theoretical Computer Science. 869 (2021) - p. 29-61 , 2021

Link: https://doi.org/10.1016/..

6

Formal Impact Metrics for Cyber-physical Attacks:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei. - p. 1-16 , 2021

Link: https://doi.org/10.1109/..

7

Theoretical Computer Science in Italy:

Cherubini, Alessandra ; Sabadini, Nicoletta ; Tini, Simone
Theoretical Computer Science. 864 (2021) - p. 138 , 2021

Link: https://doi.org/10.1016/..

8

Preface to Special Issue: EXPRESS/SOS 2018:

Pérez, Jorge A. ; Tini, Simone
Information and Computation. 281 (2021) - p. 104670 , 2021

Link: https://doi.org/10.1016/..

9

How Adaptive and Reliable is Your Program?:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 60-79 , 2021

Link: https://doi.org/10.1007/..

10

A probabilistic calculus of cyber-physical systems:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
Information and Computation. 279 (2021) - p. 104618 , 2021

Link: https://doi.org/10.1016/..

11

Raiders of the lost equivalence: Probabilistic branching bi..:

Castiglioni, Valentina ; Tini, Simone
Information Processing Letters. 159-160 (2020) - p. 105947 , 2020

Link: https://doi.org/10.1016/..

12

Probabilistic divide & congruence: Branching bisimilarity:

Castiglioni, Valentina ; Tini, Simone
Theoretical Computer Science. 802 (2020) - p. 147-196 , 2020

Link: https://doi.org/10.1016/..

13

Measuring Adaptability and Reliability of Large Scale Syste..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 380-396 , 2020

Link: https://doi.org/10.1007/..

14

The metric linear-time branching-time spectrum on nondeterm..:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
Theoretical Computer Science. 813 (2020) - p. 20-69 , 2020

Link: https://doi.org/10.1016/..

15

Logical characterization of branching metrics for nondeterm..:

Castiglioni, Valentina ; Tini, Simone
Information and Computation. 268 (2019) - p. 104432 , 2019

Link: https://doi.org/10.1016/..