IRIS

VITTORINI, VALERIA

VITTORINI, VALERIA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 134 (tempo di esecuzione: 0.046 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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.
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.
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
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
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
Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di model driven engineering 8.10 Tesi di Dottorato 2011 Vittorini, Valeria
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
A multiformalism modular approach to ertms/etcs failure modeling 1.1 Articolo in rivista 2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; 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 method for predictive performance of distributed programs 1.1 Articolo in rivista 1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; 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
Formal Specification of Concurrent Systems: a structured approach 1.1 Articolo in rivista 1998 Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, C.; 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
Petri net modelling of physical vulnerability 2.1 Contributo in volume (Capitolo o Saggio) 2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Multiformalism techniques for critical infrastructure modelling 1.1 Articolo in rivista 2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 4.1 Articoli in Atti di convegno 1999 Basile, F.; Chiacchio, P.; 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.