IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 131 (tempo di esecuzione: 0.045 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.
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 1.1 Articolo in rivista 2004 Basile, C; Chiacchio, N; Mazzocca, Nicola; 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
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
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
Model-driven V&V processes for computer based control systems: A unifying perspective 2.1 Contributo in volume (Capitolo o Saggio) 2012 Flammini, Francesco; Stefano, Marrone; Mazzocca, Nicola; 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
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 4.1 Articoli in Atti di convegno 2011 F., Flammini; C., Pragliola; Pappalardo, Alfio; Vittorini, Valeria
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 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
A method for predictive performance evaluation of distributed programs 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.
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
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 modelling process and Petri Nets: reasoning on different approaches 2.1 Contributo in volume (Capitolo o Saggio) 1999 Mazzocca, Nicola; Russo, Stefano; 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
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.