CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 94
Titolo Data di pubblicazione Autore(i) File
Time Based Expressivity of Time Petri Nets for System Specification 1-gen-1999 Cerone, A.; MAGGIOLO SCHETTINI, Andrea
Timed Cooperating Automata 1-gen-2000 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Peron, A.
Timed Automata with Monotonic Activities 1-gen-2000 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea
Process Algebras for Network Communication 1-gen-2001 Gruska, D.; MAGGIOLO SCHETTINI, Andrea
Transformations of Timed Cooperating Automata 1-gen-2001 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Peron, A.; Tini, S.
Concurrency in Timed Automata 1-gen-2001 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Tini, S.
On Disjunction of Literals in Triggers of Statecharts Transitions 1-gen-2002 MAGGIOLO SCHETTINI, Andrea; Tini, S.
Privacy in Real Time Systems 1-gen-2002 Lanotte, R; MAGGIOLO SCHETTINI, Andrea; Tini, S.
Formal Models of Timing Attacks on Web Privacy 1-gen-2002 Focardi, R; Gorrieri, R; Lanotte, R; MAGGIOLO SCHETTINI, Andrea; Martinelli, F; Tini, S; Tronci, E.
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 1-gen-2003 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Troina, A.
A Comparison of Statecharts Step Semantics 1-gen-2003 MAGGIOLO SCHETTINI, Andrea; Peron, A.; Tini, S.
Concurrency in Timed Automata 1-gen-2003 MAGGIOLO SCHETTINI, Andrea; Tini, S.
Dynamic Hierarchical Machines 1-gen-2003 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Peron, A.; Tini, S.
Automatic Covert Channel Analysis of a Multilevel Secure Component 1-gen-2004 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Tini, S.; Tronci, E.
Decidability Results for Parametric Transition Systems with an Application to Security 1-gen-2004 Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Troina, A.
epsilon-transitions in Concurrent Timed Automata 1-gen-2004 Lanotte, R; MAGGIOLO SCHETTINI, Andrea; Tini, S.
Compositional Synthesis of Generalized Mealy Machines 1-gen-2004 Tini, S.; MAGGIOLO SCHETTINI, Andrea
Automated Analysis of Web Security: A Case Study on Web Privacy 1-gen-2004 Gorrieri, R.; Lanotte, R.; MAGGIOLO SCHETTINI, Andrea; Martinelli, F.; Tini, S.; Tronci, E.
Timed Automata with Data Structures for Distributed Systems Design and Analysis 1-gen-2005 Lanotte, R; MAGGIOLO SCHETTINI, Andrea; Troina, A.
Information Flow Analysis for Probabilistic Time Automata 1-gen-2005 Lanotte, R; MAGGIOLO SCHETTINI, Andrea; Troina, A.
Mostra risultati da 1 a 20 di 94
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