IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.048 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.
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
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
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
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 Study on Multiformalism Modelling of Critical Infrastructures 4.1 Articoli in Atti di convegno 2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; 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
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
A systematic approach to the Petri net based specification of concurrent systems 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
Computer Safety, Reliability, and Security 7.1 Curatore o Editor di Libri Scientifici 2011 F., Flammini; S., Bologna; 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
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 Osmosys approach to multi-formalism modelling of systems 1.1 Articolo in rivista 2004 Iacono, M.; Mazzocca, Nicola; Franceschinis, G.; Vittorini, Valeria
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
Formal methods integration for the specification of dependable distributed system 1.1 Articolo in rivista 1997 Mazzocca, Nicola; Russo, S.; Vittorini, V.
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
Formal Specification of Concurrent Systems: a Structured Approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Savy, C.; Vittorini, V.
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