LANOTTE, RUGGERO

LANOTTE, RUGGERO  

DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO  

Mostra records
Risultati 1 - 20 di 72 (tempo di esecuzione: 0.049 secondi).
Titolo Data di pubblicazione Autore(i) File
A Classification of Time and/or Probability Dependent Security Properties 1-gen-2006 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
A Decidable Probability Logic for Timed Probabilistic Systems 1-gen-2009 Lanotte, Ruggero; Beauquier, D.
Automated Analysis of Timed Security: A Case Study on Web Privacy 1-gen-2004 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Automatic Analysis of a Non-Repudiation Protocol 1-gen-2005 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Automatic Analysis of the NRL Pump 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Automatic Covert Channel Analysis of a Multilevel Secure Component 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.
A calculus of cyber-physical systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
Complexity and Succinctness Issues for Linear-Time Hybrid Logics 1-gen-2008 L., Bozzelli; Lanotte, Ruggero
Complexity and succinctness issues for linear-time hybrid logics 1-gen-2010 Bozzelli, L.; Lanotte, Ruggero
Compositional weak metrics for group key update 1-gen-2017 Lanotte, Ruggero; Merro, M.; Tini, Simone
Computing Bisimilarity Metrics for Probabilistic Timed Automata 1-gen-2019 Lanotte, Ruggero; Tini, Simone
Concurrency in Timed Automata 1-gen-2001 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Concurrency in timed automata 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone
Decidability results for parametric probabilistic transition systems with an application to security 1-gen-2004 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Design and Verification of Long-Running Transactions in a Timed Framework 1-gen-2008 Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
Distributed time-asynchronous automata 1-gen-2007 Dima, C; Lanotte, Ruggero
Dynamic Hierarchical Machines 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Dynamic Hierarchical Machines 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Peron, A; Tini, Simone
epsilon-transitions in Concurrent Timed Automata 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Equational reasonings in wireless network gossip protocols 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Tini, Simone