IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.031 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Efficient Model Checking of Properties of a Multimedia Application 4.1 Articoli in Atti di convegno 1999 DE FRANCESCO, A; Mazzocca, Nicola; Vaglini, G; Vittorini, V.
The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP2011) 8.04 Convegni organizzati dalla struttura 2011 Mazzeo, Antonino; Franceschetti, Giorgio; Mazzocca, Nicola; Vittorini, Valeria
An Experience in Railway interlocking System Specification and formal Verification 4.1 Articoli in Atti di convegno 2003 Chianese, R; Lazzaro, A; Marmo, P; Mazzocca, Nicola; Papa, D; Vittorini, V.
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
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.
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
Modelling Flexible Manufacturing System: a Petri NEt Modular Approach 4.1 Articoli in Atti di convegno 1999 Basile, P; Chiacchio, N; Mazzocca, Nicola; Vittorini, V.
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.
DrawNET Xe!: GUI and Formalism Definition Language 4.1 Articoli in Atti di convegno 2003 Baravalle, A.; Franceschinis, G.; Gribaudo, M.; Lanfranchi, V.; Iacono, M.; Mazzocca, M.; Vittorini, Valeria
The Osmosys approach to multi-formalism modelling of systems 1.1 Articolo in rivista 2004 Iacono, M.; Mazzocca, Nicola; Franceschinis, G.; 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.
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 4.1 Articoli in Atti di convegno 2004 Vittorini, Valeria; D., CODETTA RAITERI; G., Franceschinis; M., Iacono; Mazzocca, Nicola
Vulnerability analysis and modeling for critical infrastructure protection 2.1 Contributo in volume (Capitolo o Saggio) 2013 Marrone, S.; Nardone, Roberto; Tedesco, A.; D'Amore, P.; Vittorini, Valeria; Setola, R.; Cillis, F. D.; Mazzocca, Nicola
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
Nets building Blocks 4.1 Articoli in Atti di convegno 1999 Basile, F; Chiacchio, P; Mazzocca, Nicola; Vittorini, V.
Automatic Analysis of Control Flow inWeb Services Composition Processes 4.1 Articoli in Atti di convegno 2007 G., DI LORENZO; Moscato, Francesco; 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.
Building formal models of concurrent and distribited system: an experience in applicability with two different Petri nets approaches 1.1 Articolo in rivista 1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.