Sfoglia per Autore
Reachability results for timed automata with unbounded data structures
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Time and Probability-Based Information Flow Analysis
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Weak bisimulation for Probabilistic Timed Automata
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A; Troina, A.
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
2011-01-01 Lanotte, Ruggero; Merro, M.
Hybrid and First-Order Complete Extensions of CaRet
2011-01-01 Bozzelli, L.; Lanotte, Ruggero
A study on shuffle, stopwatches and independently evolving clocks
2012-01-01 Dima, C.; Lanotte, R.
Security policies enforcement using finite and pushdown edit automata
2013-01-01 Beauquier, D.; Cohen, J.; Lanotte, Ruggero
A Rule Format for Rooted Branching Bisimulation
2013-01-01 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Extending taylor approximation to hybrid automata with integrals
2016-01-01 Lanotte, Ruggero; Tini, Simone
A semantic theory of the internet of things (Extended abstract)
2016-01-01 Lanotte, Ruggero; Merro, Massimo
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Formal Approach to Cyber-Physical Attacks
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
Compositional weak metrics for group key update
2017-01-01 Lanotte, Ruggero; Merro, M.; Tini, Simone
Weak simulation quasimetric in a gossip scenario
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A calculus of cyber-physical systems
2017-01-01 Lanotte, Ruggero; Merro, Massimo
Towards a formal notion of impact metric for cyber-physical attacks
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Equational reasonings in wireless network gossip protocols
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A modest security analysis of cyber-physical systems: A case study
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
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