Sfoglia per Autore
Reachability results for timed automata with unbounded data structures
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Complexity and succinctness issues for linear-time hybrid logics
2010-01-01 Bozzelli, L.; Lanotte, Ruggero
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.
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 specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-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
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Extending taylor approximation to hybrid automata with integrals
2016-01-01 Lanotte, Ruggero; 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
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
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
2018-01-01 Lanotte, Ruggero; Tini, Simone
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 semantic theory of the Internet of Things
2018-01-01 Lanotte, Ruggero; Merro, Massimo
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