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