IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.04 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
The Osmosys approach to multiformalism modelling of system 1.1 Articolo in rivista 2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
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.
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
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
A method for predictive performance evaluation of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Vittorini, V.
A method for predictive performance evaluation of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
Workflow Pattern Analysisin Web Services Orcherstration: The BPEL4WS Example 4.1 Articoli in Atti di convegno 2005 Moscato, F.; Mazzocca, Nicola; Vittorini, Valeria; DI LORENZO, G.; Mosca, P.; Magaldi, M.
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.
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
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 2.1 Contributo in volume (Capitolo o Saggio) 2005 Mazzocca, Nicola; Vittorini, Valeria; G., DI LORENZO; M., Magaldi; P., Mosca; Moscato, Francesco
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 2.1 Contributo in volume (Capitolo o Saggio) 2006 Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
The software architecture of the OsMoSys Multisolution Framework 4.1 Articoli in Atti di convegno 2007 Moscato, Francesco; F., Flammini; G., DI LORENZO; Vittorini, Valeria; S., Marrone; M., Iacono
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 2.1 Contributo in volume (Capitolo o Saggio) 2006 F., Flammini; S., Marrone; Mazzocca, Nicola; 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
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; 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