IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.058 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 4.1 Articoli in Atti di convegno 2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; 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.
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.
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
Automatic generation of context-aware web services compositions 1.1 Articolo in rivista 2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; 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, Nicola; Papa, D.; Vittorini, V.
Methodologies, architecture and tools for automated service composition in SOA 8.10 Tesi di Dottorato 2008 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
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
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
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, A; Mazzocca, Nicola; Russo, S.; Vittorini, V.
A Mapping Method for Distributed Heterogeneous Systems 2.1 Contributo in volume (Capitolo o Saggio) 1994 Mazzeo, Antonino; Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
A new modeling 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
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 2.1 Contributo in volume (Capitolo o Saggio) 2004 Vittorini, Valeria; G., Franceschinis; M., Gribaudo; M., Iacono; S., Marrone; Mazzocca, Nicola
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