IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.023 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
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.
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
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
An Experience in Railway interlocking Systems Specification and Formal Verification 2.1 Contributo in volume (Capitolo o Saggio) 2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 4.1 Articoli in Atti di convegno 2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 4.1 Articoli in Atti di convegno 2003 Gibaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, V.
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 1.1 Articolo in rivista 2004 Basile, C; Chiacchio, N; Mazzocca, Nicola; Vittorini, Valeria
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.
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
Computer Safety, Reliability, and Security 7.1 Curatore o Editor di Libri Scientifici 2011 F., Flammini; S., Bologna; Vittorini, Valeria
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
A parallel graph-traversing procedure for multicomputer architectures 2.1 Contributo in volume (Capitolo o Saggio) 1992 Mazzeo, A.; Mazzocca, N.; Sforza, Antonio; Vittorini, V.
Associate Editor 8.06 Partecip. Editorial Board di riviste scientifiche 2010 Vittorini, Valeria
An Experience in Railway interlocking Systems Specification and Formal Verification 2.1 Contributo in volume (Capitolo o Saggio) 2003 Chianese, R.; Lazzaro, A.; Marmo, P; Mazzocca, Nicola; Papa, D.; Vittorini, V.
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
Modelling Flexible manufacturing systems: a Petri Net Modular Approach 4.1 Articoli in Atti di convegno 1999 Basile, F.; Chiacchio, P.; Mazzocca, N.; 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
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 2.1 Contributo in volume (Capitolo o Saggio) 2006 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems 2.1 Contributo in volume (Capitolo o Saggio) 2010 S., Marrone; C., Papa; Vittorini, Valeria