Sfoglia per Autore
Probabilistic Congruence for Generative Semistochastic Processes
2005-01-01 Lanotte, Ruggero; Tini, Simone
Automatic Analysis of a Non-Repudiation Protocol
2005-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Timed Automata with Data Structures for Distributed Systems Design and Analysis
2005-01-01 Lanotte, Ruggero; Maggiolo, Schettini; Troina, A.
Monotonic Hybrid Systems
2005-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.
Taylor Approximation for Hybrid Systems
2005-01-01 Lanotte, Ruggero; Tini, Simone
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
2006-01-01 Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
A Classification of Time and/or Probability Dependent Security Properties
2006-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.
2007-01-01 Lanotte, Ruggero
Hiding Information in Multi Level Systems
2007-01-01 Beauquier, D; Lanotte, Ruggero
Taylor Approximation for Hybrid Systems
2007-01-01 Lanotte, Ruggero; Tini, Simone
Parametric probabilistic transition systems for system design and analysis
2007-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Troina, A.
Hiding information in multi level security systems
2007-01-01 Beauquier, D.; Lanotte, R.
Distributed time-asynchronous automata
2007-01-01 Dima, C; Lanotte, Ruggero
Design and Verification of Long-Running Transactions in a Timed Framework
2008-01-01 Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
Complexity and Succinctness Issues for Linear-Time Hybrid Logics
2008-01-01 L., Bozzelli; Lanotte, Ruggero
Probabilistic Bisimulation as a Congruence
2009-01-01 Lanotte, Ruggero; Tini, Simone
Security Policies Enforcement Using Finite Edit Automata
2009-01-01 Beauquier, D.; Cohen, J.; Lanotte, Ruggero
Removing All Silent Transitions from Timed Automata
2009-01-01 Dima, C.; Lanotte, Ruggero
A Decidable Probability Logic for Timed Probabilistic Systems
2009-01-01 Lanotte, Ruggero; Beauquier, D.
Time and Probability-Based Information Flow Analysis
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile