Valeria Vittorini Vis

*	2008
26	EE	Flora Amato, Valentina Casola, Antonino Mazzeo, Valeria Vittorini: The REM Framework for Security Evaluation. ARES 2008: 1097-1103
25	EE	Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola: A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343
	2007
24	EE	Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306
23	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
22	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
21	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)
20	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
19	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
18	EE	Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94
	2004
17	EE	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668
16	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
15	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
14	EE	Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134-
13	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
12		Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini: Policy based interoperability in distributed security infrastructures. ISPE CE 2003: 1027-1034
	2002
11	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
10	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
9		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
8		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
7	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
6		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
5	EE	Nicola Mazzocca, Stefano Russo, Valeria Vittorini: Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451
4	EE	Nicola Mazzocca, Stefano Russo, Valeria Vittorini: Formal methods integration for the specification of dependable distributed systems. Journal of Systems Architecture 43(10): 671-685 (1997)
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	[26]
2	Francesco Basile	[7]
3	C. Bertoncello	[10]
4	Valentina Casola	[9] [12] [20] [26]
5	Pasquale Chiacchio	[7]
6	Anna Rita Fasolino	[22]
7	Francesco Flammini	[23] [25]
8	Giuliana Franceschinis	[10] [11] [13] [16] [17]
9	Marco Gribaudo	[10] [11] [16] [18]
10	Mauro Iacono	[10] [11] [13] [15] [16] [17] [23]
11	Giusy Di Lorenzo	[19] [21] [22] [23] [24]
12	Massimo Magaldi	[19]
13	Stefano Marrone	[15] [16] [23]
14	Antonino Mazzeo	[1] [2] [3] [6] [9] [12] [20] [26]
15	Nicola Mazzocca	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [24] [25]
16	Lorenzo Melcarne	[22]
17	Paola Mosca	[19]
18	Francesco Moscato	[14] [15] [18] [19] [21] [23] [24]
19	Concetta Pragliola	[25]
20	Daniele Codetta Raiteri	[17]
21	Stefano Russo	[1] [2] [3] [4] [5] [6]
22	Antonella Santone	[8]
23	Carlo Savy	[6]
24	Porfirio Tramontana	[22]
25	Gigliola Vaglini	[8]