VITTORINI, VALERIA
VITTORINI, VALERIA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems
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
1999 Mazzocca, Nicola; Russo, S; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study
2002 Mazzocca, Nicola; Santone, A; Vaglini, G; Vittorini, V.
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach
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
2003 Gibaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, V.
An Experience in Railway interlocking Systems Specification and Formal Verification
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
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
2011 Vittorini, Valeria
The modelling process and Petri Nets: reasoning on different approaches
1999 Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
A multiformalism modular approach to ertms/etcs failure modeling
2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; Vittorini, Valeria
A Study on Multiformalism Modelling of Critical Infrastructures
2009 Flammini, F.; Mazzocca, Nicola; Pragliola, C.; Vittorini, Valeria
A method for predictive performance of distributed programs
1997 Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, Valeria
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach
2006 Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Formal Specification of Concurrent Systems: a structured approach
1998 Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, Valeria
Model-driven V&V processes for computer based control systems: A unifying perspective
2012 Flammini, Francesco; Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Petri net modelling of physical vulnerability
2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Multiformalism techniques for critical infrastructure modelling
2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
Information Fusion e sorveglianza
2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks
1999 Basile, F.; Chiacchio, P.; Mazzocca, N.; Vittorini, Valeria
A method for predictive performance evaluation of distributed programs
1997 Mazzeo, A.; Mazzocca, Nicola; Russo, S.; Vittorini, V.
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. |