CASTIGLIONI, VALENTINA
CASTIGLIONI, VALENTINA
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Logical Characterization of Bisimulation Metrics
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Logical Characterization of Trace Metrics
2017-01-01 Castiglioni, Valentina; Tini, Simone
Modal Decomposition on Nondeterministic Probabilistic Processes
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes
2017-01-01 Castiglioni, Valentina
Robustness Against Time Distortions in Stark
2026-01-01 De Jong, Julian; Castiglioni, Valentina; Tini, Simone
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES
2018-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini:, Simone
STARK: A tool for the analysis of CPSs robustness
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A function elimination method for checking satisfiability of arithmetical logics | 1-gen-2014 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
| A Function Elimination Method for Checking Satisfiability of Arithmetical Logics | 1-gen-2016 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
| A specification format for rooted branching bisimulation | 1-gen-2014 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
| Logical Characterization of Bisimulation Metrics | 1-gen-2016 | Castiglioni, Valentina; Gebler, Daniel; Tini, Simone | |
| Logical Characterization of Trace Metrics | 1-gen-2017 | Castiglioni, Valentina; Tini, Simone | |
| Modal Decomposition on Nondeterministic Probabilistic Processes | 1-gen-2016 | Castiglioni, Valentina; Gebler, Daniel; Tini, Simone | |
| Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes | 1-gen-2017 | Castiglioni, Valentina | |
| Robustness Against Time Distortions in Stark | 1-gen-2026 | De Jong, Julian; Castiglioni, Valentina; Tini, Simone | |
| SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES | 1-gen-2018 | Castiglioni, Valentina; Gebler, Daniel; Tini:, Simone | |
| STARK: A tool for the analysis of CPSs robustness | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. |