IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.059 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.
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, Nicola; Vittorini, Valeria
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
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.
Workflow principles applied to Multi-Solution Analysis of dependable distribuited system 4.1 Articoli in Atti di convegno 2004 Moscato, F; Mazzocca, Nicola; Vittorini, Valeria
SWN Client-server composition operators in the OsMoSys framework 4.1 Articoli in Atti di convegno 2003 Franceschinis, G; Marrone, S; 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
Formal methods integration for the specification of dependable distributed systems 1.1 Articolo in rivista 1997 Mazzocca, N.; Russo, Stefano; Vittorini, V.
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
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
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 2.1 Contributo in volume (Capitolo o Saggio) 2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Pappalardo, Alfio; C., Pragliola; 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
DrawNET++: model objects to support performance analysis and simulation of complex systems 2.1 Contributo in volume (Capitolo o Saggio) 2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, Nicola; Vittorini, Valeria
DRAWNET++: A FLEXIBLE FRAMEWORK FOR BUILDING DEPENDABILITY MODELS 2.1 Contributo in volume (Capitolo o Saggio) 2002 Vittorini, Valeria; C., Bertoncello; G., Franceschinis; M., Gribaudo; M., Iacono
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 4.1 Articoli in Atti di convegno 2011 F., Flammini; C., Pragliola; Pappalardo, Alfio; Vittorini, Valeria
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
Nets building Blocks 4.1 Articoli in Atti di convegno 1999 Basile, F; Chiacchio, P; Mazzocca, Nicola; Vittorini, V.
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
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.
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.