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.
Modelli per l'analisi di sistemi critici 1.1 Articolo in rivista 2009 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
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.
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
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
Computer Safety, Reliability, and Security 7.1 Curatore o Editor di Libri Scientifici 2011 F., Flammini; S., Bologna; Vittorini, Valeria
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
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.
Modelling Flexible manufacturing systems: a Petri Net Modular Approach 4.1 Articoli in Atti di convegno 1999 Basile, F.; Chiacchio, P.; Mazzocca, N.; Vittorini, Valeria
A new modelling 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
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
Formal methods integration for the specification of dependable distributed system 1.1 Articolo in rivista 1997 Mazzocca, Nicola; Russo, S.; Vittorini, V.
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, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
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
New paradigms and tools for high-assurance systems modeling 1.1 Articolo in rivista 2008 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
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.
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.