IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.042 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
Multiformalism techniques for critical infrastructure modelling 1.1 Articolo in rivista 2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Petri net modelling of physical vulnerability 2.1 Contributo in volume (Capitolo o Saggio) 2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 2.1 Contributo in volume (Capitolo o Saggio) 2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
Model-Driven Availability Evaluation of Railway Control Systems 2.1 Contributo in volume (Capitolo o Saggio) 2011 S., Bernardi; F., Flammini; S., Marrone; J., Merseguer; C., Papa; Vittorini, Valeria
Computer Safety, Reliability, and Security 7.1 Curatore o Editor di Libri Scientifici 2011 F., Flammini; S., Bologna; Vittorini, Valeria
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1.1 Articolo in rivista 2009 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Modelli per l'analisi di sistemi critici 1.1 Articolo in rivista 2009 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
A Study on Multiformalism Modelling of Critical Infrastructures 4.1 Articoli in Atti di convegno 2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; Vittorini, Valeria
Nets building Blocks 4.1 Articoli in Atti di convegno 1999 Basile, F; Chiacchio, P; Mazzocca, Nicola; Vittorini, V.
A multiformalism modular approach to ertms/etcs failure modeling 1.1 Articolo in rivista 2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; Vittorini, Valeria
Integrating trace logic and Petri nets specifications 4.1 Articoli in Atti di convegno 1997 Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
Efficient Model checking of properties of a distributed application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, N.; Santone, A.; Vaglini, G.; Vittorini, Valeria
Formal specification of concurrent systems: a structured approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, .; Russo, Stefano; Savy, C.; Vittorini, V.
Formal Specification of Concurrent Systems: a structured approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, Valeria
The modelling process and Petri Nets: reasoning on different approaches 2.1 Contributo in volume (Capitolo o Saggio) 1999 Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 2.1 Contributo in volume (Capitolo o Saggio) 2002 Vittorini, Valeria; Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.
Policy Formalization to combine separate systems into larger connected network of trust 4.1 Articoli in Atti di convegno 2002 Casola, Valentina; Mazzeo, Antonino; Mazzocca, Nicola; Vittorini, Valeria