IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

CASTIGLIONI, VALENTINA

CASTIGLIONI, VALENTINA  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.014 secondi).
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
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.