Searching for authors named "Ruggero Lanotte" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security
- … to Security Ruggero Lanotte Dipartimento di Scienze della Cultura, Politiche e dell’Informazione - Università…
- Cited by 3 (2 self) – Add To MetaCart
-
Privacy in Real-Time Systems
- …MTCS 2001 Preliminary Proceedings Privacy in Real-Time Systems Ruggero Lanotte 1;2 Dipartimento di…
- Add To MetaCart
-
Timed Cooperating Automata
- …Fundamenta Informaticae 42 (2000) 1--21 1 IOS Press Timed Cooperating Automata Ruggero Lanotte…
- Add To MetaCart
-
Timed Information Flow Logic for Timed Automata
- …Timed Information Flow Logic for Timed Automata Ruggero Lanotte 1 , Andrea Maggiolo-Schettini 1…
- Add To MetaCart
-
Automatic Analysis of a Non-Repudiation Protocol
- …QAPL 2004 Preliminary Version Automatic Analysis of a Non-Repudiation Protocol Abstract Ruggero…
- Cited by 4 (2 self) – Add To MetaCart
-
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security
- …Weak Bisimulation for Probabilistic Timed Automata and Applications to Security ∗ Ruggero Lanotte…
- Cited by 11 (6 self) – Add To MetaCart
-
Concurrency in Timed Automata
- …Concurrency in Timed Automata ? Ruggero Lanotte, Andrea Maggiolo-Schettini, and Simone Tini…
- Cited by 1 (0 self) – Add To MetaCart
-
Troina: Information Flow Analysis for Probabilistic Timed Automata
- …INFORMATION FLOW ANALYSIS FOR PROBABILISTIC TIMED AUTOMATA Ruggero Lanotte 1 , Andrea Maggiolo…
- Cited by 5 (2 self) – Add To MetaCart
-
Timed Cooperating Automata
- …Timed Cooperating Automata ? Ruggero Lanotte 1 , Andrea Maggiolo-Schettini 1 and Adriano Peron…
- Cited by 6 (4 self) – Add To MetaCart
-
A Classification of Time and/or Probability Dependent Security Properties
- … Properties Abstract Ruggero Lanotte 1 Dipartimento di Scienze della Cultura, Politiche e dell…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
