VITTORINI, VALERIA
VITTORINI, VALERIA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Formal Specification of Concurrent Systems: a Structured Approach
1998 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Savy, C.; Vittorini, V.
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems
1997 Mazzeo, Antonino; Mazzocca, N.; Russo, S.; Vittorini, V.
DrawNET++: model objects to support performance analysis and simulation of complex systems
2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, Nicola; Vittorini, Valeria
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.
A robust approach for on-line and off-line threat detection based on event tree similarity analysis
2011 F., Flammini; C., Pragliola; Pappalardo, Alfio; Vittorini, Valeria
Multisolution of complex performability models in the OsMoSys/DrawNET framework
2005 Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco
New paradigms and tools for high-assurance systems modeling
2008 F., Flammini; Mazzocca, Nicola; Vittorini, Valeria
Policy Formalization to combine separate systems into larger connected network of trust
2002 Casola, Valentina; Mazzeo, Antonino; Mazzocca, Nicola; Vittorini, Valeria
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks
2006 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; Vittorini, Valeria
Integrating trace logic and Petri nets specifications
1997 Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria
An Experience in Railway interlocking Systems Specification and Formal Verification
2003 Chianese, R.; Lazzaro, A.; Marmo, P.; Mazzocca, N.; Papa, D.; Vittorini, Valeria
A method for predictive performance evaluation of distributed programs
1997 Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V.
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
2004 Vittorini, Valeria; D., CODETTA RAITERI; G., Franceschinis; M., Iacono; Mazzocca, Nicola
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks
2004 Chiacchio, Pasquale; Vittorini, Valeria; Basile, F.; Mazzocca, N.
The Osmosys approach to multi-formalism modelling of systems
2004 Iacono, M.; Mazzocca, Nicola; Franceschinis, G.; Vittorini, Valeria
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.
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
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 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. | |
DrawNET++: model objects to support performance analysis and simulation of complex systems | 2.1 Contributo in volume (Capitolo o Saggio) | 2002 | Franceschinis, G.; Gribaudo, M.; Iacono, M.; 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. | |
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 | |
Multisolution of complex performability models in the OsMoSys/DrawNET framework | 4.1 Articoli in Atti di convegno | 2005 | Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco | |
New paradigms and tools for high-assurance systems modeling | 1.1 Articolo in rivista | 2008 | F., Flammini; Mazzocca, Nicola; 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 | |
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks | 2.1 Contributo in volume (Capitolo o Saggio) | 2006 | F., Flammini; S., Marrone; Mazzocca, Nicola; 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 | |
Integrating trace logic and Petri nets specifications | 4.1 Articoli in Atti di convegno | 1997 | Mazzocca, Nicola; Russo, Stefano; Vittorini, Valeria | |
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 | |
A method for predictive performance evaluation of distributed programs | 1.1 Articolo in rivista | 1997 | Mazzeo, A.; Mazzocca, N.; Russo, Stefano; Vittorini, V. | |
Repairable Fault Tree for the Automatic Evaluation of Repair Policies | 4.1 Articoli in Atti di convegno | 2004 | Vittorini, Valeria; D., CODETTA RAITERI; G., Franceschinis; M., Iacono; Mazzocca, Nicola | |
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks | 1.1 Articolo in rivista | 2004 | Chiacchio, Pasquale; Vittorini, Valeria; Basile, F.; Mazzocca, N. | |
The Osmosys approach to multi-formalism modelling of systems | 1.1 Articolo in rivista | 2004 | Iacono, M.; Mazzocca, Nicola; Franceschinis, G.; Vittorini, Valeria | |
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. | |
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 |