IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.044 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, 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.
Efficient Model checking of properties of a distributed application: a multimedia case study 1.1 Articolo in rivista 2002 Mazzocca, Nicola; Santone, A.; Vaglini, G.; Vittorini, V.
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
A Study on Multiformalism Modelling of Critical Infrastructures 4.1 Articoli in Atti di convegno 2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; 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.
Formal methods integration for the specification of dependable distributed system 1.1 Articolo in rivista 1997 Mazzocca, Nicola; Russo, S.; Vittorini, V.
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
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
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Savy, C.; Vittorini, V.
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
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
Methods Integration for the Specification of Dependable Distributed Systems 1.1 Articolo in rivista 1997 Mazzocca, N.; Russo, S.; 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
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