IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 84
Titolo Data di pubblicazione Autore(i) File
Transformations of Timed Cooparating Automata 1-gen-2000 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Timed Automata with Monotonic Activities 1-gen-2000 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.
Transformations of timed cooperating automata 1-gen-2001 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone; Peron, A.
Timed Cooperating Automata 1-gen-2001 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Concurrency in Timed Automata 1-gen-2001 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Dynamic Hierarchical Machines 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Privacy in Real Time Systems 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Formal Models of Timing Attacks on Web Privacy 1-gen-2002 Focardi, R.; Gorrieri, R.; Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Martinelli, F.; Tini, Simone; Tronci, E.
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 1-gen-2003 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Dynamic Hierarchical Machines 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Peron, A; Tini, Simone
Concurrency in timed automata 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone
Automated Analysis of Timed Security: A Case Study on Web Privacy 1-gen-2004 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Information Flow in Hybrid Systems 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Automatic Covert Channel Analysis of a Multilevel Secure Component 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.
epsilon-transitions in Concurrent Timed Automata 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Structural model checking for communicating hierarchical machines 1-gen-2004 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Decidability results for parametric probabilistic transition systems with an application to security 1-gen-2004 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Information Flow Analysis for Probabilistic Timed Automata 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays 1-gen-2004 Lanotte, Ruggero
Automatic Analysis of the NRL Pump 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Mostrati risultati da 1 a 20 di 84
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