VITTORINI, VALERIA
VITTORINI, VALERIA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
The Osmosys approach to multiformalism modelling of system
2003 Franceschinis, G; Iacono, M; Mazzocca, Nicola; Vittorini, V.
Efficient Model checking of properties of a distribuited application: a multimedia case study
2002 Mazzocca, Nicola; Santone, A; Vaglini, G; 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.
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.
An Experience in Railway interlocking System Specification and formal Verification
2003 Chianese, R; Lazzaro, A; Marmo, P; Mazzocca, Nicola; Papa, D; Vittorini, V.
Towards an Object based Multi-Formalism Multi-Solution Modeling Approach
2002 Franceschinis, G; Gribaudo, M; Iacono, M; Mazzocca, Nicola; Vittorini, Valeria
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling
2003 Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach
2002 Franceschinis, G.; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, Valeria
Modelling Flexible manufacturing systems: a Petri Net Modular Approach
1999 Basile, F.; Chiacchio, P.; 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.
A parallel graph-traversing procedure for multicomputer architectures
1992 Mazzeo, A.; Mazzocca, N.; Sforza, Antonio; Vittorini, V.
The modelling process and Petri Nets: reasoning on different approaches
1999 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
DrawNET Xe!: GUI and Formalism Definition Language
2003 Baravalle, A.; Franceschinis, G.; Gribaudo, M.; Lanfranchi, V.; Iacono, M.; Mazzocca, M.; Vittorini, Valeria
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
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios
2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling
2013 Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Automatic generation of context-aware web services compositions
2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
The Osmosys approach to multiformalism modelling of system | 1.1 Articolo in rivista | 2003 | Franceschinis, G; Iacono, M; Mazzocca, Nicola; 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. | |
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. | |
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. | |
An Experience in Railway interlocking System Specification and formal Verification | 4.1 Articoli in Atti di convegno | 2003 | Chianese, R; Lazzaro, A; Marmo, P; Mazzocca, Nicola; Papa, D; 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, Nicola; Vittorini, Valeria | |
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 | |
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 | |
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 | |
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. | |
A parallel graph-traversing procedure for multicomputer architectures | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | Mazzeo, A.; Mazzocca, N.; Sforza, Antonio; 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 | |
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 | |
DrawNET Xe!: GUI and Formalism Definition Language | 4.1 Articoli in Atti di convegno | 2003 | Baravalle, A.; Franceschinis, G.; Gribaudo, M.; Lanfranchi, V.; Iacono, M.; Mazzocca, M.; Vittorini, Valeria | |
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 | |
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios | 2.1 Contributo in volume (Capitolo o Saggio) | 2013 | F., Flammini; S., Marrone; Mazzocca, Nicola; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria | |
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling | 2.1 Contributo in volume (Capitolo o Saggio) | 2013 | Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; 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 |