Valeria Vittorini

2008
24	EE	Flora Amato, Valentina Casola, Antonino Mazzeo, Valeria Vittorini: The REM Framework for Security Evaluation. ARES 2008: 1097-1103
2007
23	EE	Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306
22	EE	Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono: The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51
21	EE	Giusy Di Lorenzo, Anna Rita Fasolino, Lorenzo Melcarne, Porfirio Tramontana, Valeria Vittorini: Turning Web Applications into Web Services by Wrapping Techniques. WCRE 2007: 199-208
20	EE	Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini: Towards Semantics Driven Generation of Executable Web Services Compositions. JSW 2(5): 1-15 (2007)
19	EE	Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini: A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. Journal of Computer Security 15(2): 197-229 (2007)
2005
18	EE	Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi: Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. HPCC 2005: 395-400
17	EE	Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94
2004
16	EE	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668
15	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini: Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196
14	EE	Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini: A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA 2004: 499-508
13	EE	Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134-
12	EE	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis: The OsMoSys approach to multi-formalism modeling of systems. Software and System Modeling 3(1): 68-81 (2004)
2003
11		Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini: Policy based interoperability in distributed security infrastructures. ISPE CE 2003: 1027-1034
2002
10	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini: DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS 2002: 233-238
9	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
8		Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini: Policy formalization to combine separate systems into larger connected network of trust. Net-Con 2002: 425-430
7		Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini: Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test., Verif. Reliab. 12(1): 3-21 (2002)
1999
6	EE	Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca: Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE 1999: 110-123
1998
5		Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini: Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41(3): 145-162 (1998)
1997
4	EE	Nicola Mazzocca, Stefano Russo, Valeria Vittorini: Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451
3		Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. Real-Time Systems 13(3): 219-236 (1997)
2	EE	Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A method for predictive performance of distributed programs. Simul. Pr. Theory 5(1): 65-82 (1997)
1994
1		Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A Mapping Method for Distributed Hetergoneous Systems. EUROSIM 1994: 143-151

Coauthor Index

1	Flora Amato	[24]
2	Francesco Basile	[6]
3	C. Bertoncello	[9]
4	Valentina Casola	[8] [11] [19] [24]
5	Pasquale Chiacchio	[6]
6	Anna Rita Fasolino	[21]
7	Francesco Flammini	[22]
8	Giuliana Franceschinis	[9] [10] [12] [15] [16]
9	Marco Gribaudo	[9] [10] [15] [17]
10	Mauro Iacono	[9] [10] [12] [14] [15] [16] [22]
11	Giusy Di Lorenzo	[18] [20] [21] [22] [23]
12	Massimo Magaldi	[18]
13	Stefano Marrone	[14] [15] [22]
14	Antonino Mazzeo	[1] [2] [3] [5] [8] [11] [19] [24]
15	Nicola Mazzocca	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [23]
16	Lorenzo Melcarne	[21]
17	Paola Mosca	[18]
18	Francesco Moscato	[13] [14] [17] [18] [20] [22] [23]
19	Daniele Codetta Raiteri	[16]
20	Stefano Russo	[1] [2] [3] [4] [5]
21	Antonella Santone	[7]
22	Carlo Savy	[5]
23	Porfirio Tramontana	[21]
24	Gigliola Vaglini	[7]