Sfoglia per Autore  

opzioni
Mostrati risultati da 41 a 60 di 72
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.
Complexity and succinctness issues for linear-time hybrid logics 1-gen-2010 Bozzelli, L.; Lanotte, Ruggero
Weak bisimulation for Probabilistic Timed Automata 1-gen-2010 Lanotte, Ruggero; Maggiolo Schettini, A; Troina, A.
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks 1-gen-2011 Lanotte, Ruggero; Merro, M.
Hybrid and First-Order Complete Extensions of CaRet 1-gen-2011 Bozzelli, L.; Lanotte, Ruggero
A study on shuffle, stopwatches and independently evolving clocks 1-gen-2012 Dima, C.; Lanotte, Ruggero
Security policies enforcement using finite and pushdown edit automata 1-gen-2013 Beauquier, D.; Cohen, J.; Lanotte, Ruggero
A Rule Format for Rooted Branching Bisimulation 1-gen-2013 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
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
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 1-gen-2016 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Extending taylor approximation to hybrid automata with integrals 1-gen-2016 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
A calculus of cyber-physical systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
Weak simulation quasimetric in a gossip scenario 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A Formal Approach to Cyber-Physical Attacks 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A modest security analysis of cyber-physical systems: A case study 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A semantic theory of the Internet of Things 1-gen-2018 Lanotte, Ruggero; Merro, Massimo
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces 1-gen-2018 Lanotte, Ruggero; Tini, Simone
Mostrati risultati da 41 a 60 di 72
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