IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.037 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.
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; 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.
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.
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
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
Associate Editor 8.06 Partecip. Editorial Board di riviste scientifiche 2010 Vittorini, Valeria
Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di model driven engineering 8.10 Tesi di Dottorato 2011 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, Nicola; Vittorini, Valeria
A Mapping Method for Distributed Heterogeneous Systems 2.1 Contributo in volume (Capitolo o Saggio) 1994 Mazzeo, Antonino; Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 4.1 Articoli in Atti di convegno 2003 Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Formal Specification of Concurrent Systems: a structured approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, Valeria
Multisolution of complex performability models in the OsMoSys/DrawNET framework 4.1 Articoli in Atti di convegno 2005 Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1.1 Articolo in rivista 2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; 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
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 2.1 Contributo in volume (Capitolo o Saggio) 2013 Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Model-driven estimation of distributed vulnerability in complex railway networks 4.1 Articoli in Atti di convegno 2013 Drago, Annarita; Marrone, S.; Mazzocca, Nicola; Tedesco, A.; Vittorini, Valeria
Modelli per l'analisi di sistemi critici 1.1 Articolo in rivista 2009 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
Integrating Trace Logic and Petri Nets Specifications 4.1 Articoli in Atti di convegno 1997 Mazzocca, N.; Russo, S.; Vittorini, Valeria