dblp.uni-trier.dewww.uni-trier.de

Nicola Mazzocca Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
94EEFrancesco Flammini, Nicola Mazzocca, Antonio Orazzo: Automatic instantiation of abstract tests on specific configurations for large critical control systems. Softw. Test., Verif. Reliab. 19(2): 91-110 (2009)
2008
93EERenato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque: Testing Complex Safety-Critical Systems in SOA Context. CISIS 2008: 87-93
92EEFrancesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola: Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. CRITIS 2008: 180-189
91EEFrancesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola: A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343
90EEAlessandro Cilardo, Nicola Mazzocca, Luigi Coppolino: Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems. DSD 2008: 360-366
89EERosa Anna Micillo, Salvatore Venticinque, Nicola Mazzocca, Rocco Aversa: An Agent-Based Approach for Distributed Execution of Composite Web Services. WETICE 2008: 18-23
88EEValentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano: Self-optimization of secure web services. Computer Communications 31(18): 4312-4323 (2008)
2007
87EEValentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina: Static evaluation of Certificate Policies for GRID PKIs interoperability. ARES 2007: 391-399
86EEValentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano: Building Autonomic and Secure Service Oriented Architectures with MAWeS. ATC 2007: 82-93
85EENicola Mazzocca, Rosa Anna Micillo, Salvatore Venticinque: Automatic and Dynamic Composition of Web Services Using Ontologies. AWIC 2007: 230-235
84EEValentina Casola, Jesus Luna, Oscar Manso, Nicola Mazzocca, Manel Medina, Massimiliano Rak: Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal. GPC 2007: 39-51
83EEValentina Casola, Anna Rita Fasolino, Nicola Mazzocca, Porfirio Tramontana: A policy-based evaluation framework for Quality and Security in Service Oriented Architectures. ICWS 2007: 1181-1190
82EEGiusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306
81EEGiusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini: Towards Semantics Driven Generation of Executable Web Services Compositions. JSW 2(5): 1-15 (2007)
80EEValentina 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)
2006
79EEChiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero: UML Based Reverse Engineering for the Verification of Railway Control Logics. DepCoS-RELCOMEX 2006: 3-10
78EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure. ISPDC 2006: 337-344
77EEValentina Casola, Luigi Coppolino, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak: Design and implementation of TruMan, a Trust Manager Component for Distributed Systems. SecPerU 2006: 34-40
76EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: MAGDA: A Mobile Agent based Grid Architecture. J. Grid Comput. 4(4): 395-412 (2006)
2005
75EEAlessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano: A Novel Unified Architecture for Public-Key Cryptography. DATE 2005: 52-57
74EEValentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak: An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures. EuroPKI 2005: 100-117
73EEFrancesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone: Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE 2005: 163-172
72EEFrancesco 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
71EEValentina Casola, Massimiliano Rak, Antonino Mazzeo, Nicola Mazzocca: Security Design and Evaluation in a VoIP Secure Infrastracture: A Policy Based Approach. ITCC (1) 2005: 727-732
70EEEmilio Mancini, Umberto Villano, Nicola Mazzocca, Massimiliano Rak, Roberto Torella: Performance-Driven Development of a Web Services Application using MetaPL/HeSSE. PDP 2005: 12-19
69EEMarco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94
68EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: A hierarchical distributed-shared memory parallel Branch & Bound application with PVM and OpenMP for multiprocessor clusters. Parallel Computing 31(10-12): 1034-1047 (2005)
2004
67EEGiuliana 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
66 Valentina Casola, Raffaele Chianese, Nicola Mazzocca, Massimiliano Rak, Antonino Mazzeo: A Policy-Based Design Methodology and Performance Evaluation Framework for a Secure VoIP Infrastructure. ICETE (2) 2004: 209-215
65EEValentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque: Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture. PARA 2004: 454-463
64EEMauro 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
63EEFrancesco Moscato, Nicola Mazzocca, Valeria Vittorini: Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134-
62EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Terminal-Aware Grid Resource and Service Discovery and Access Based on Mobile Agents Technology. PDP 2004: 40-
61EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Performance Analysis of Hybrid OpenMP/MPI N-Body Application. WOMPAT 2004: 12-18
60EEGiacinto Paolo Saggese, Luigi Romano, Nicola Mazzocca, Antonino Mazzeo: A tamper resistant hardware accelerator for RSA cryptographic applications. Journal of Systems Architecture 50(12): 711-727 (2004)
59EEValeria 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
58EEAntonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca: FPGA-Based Implementation of a Serial RSA Processor. DATE 2003: 10582-10589
57EEGiacinto Paolo Saggese, Antonino Mazzeo, Nicola Mazzocca, Antonio G. M. Strollo: An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining of the AES Algorithm. FPL 2003: 292-302
56 Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: A resource discovery service for a mobile agents based grid infrastructure. ISPE CE 2003: 1011-1017
55 Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini: Policy based interoperability in distributed security infrastructures. ISPE CE 2003: 1027-1034
54 Beniamino Di Martino, Nicola Mazzocca, Angela Squeglia, Antonino Mazzeo: An automatic classification technique and tool for information retrieval of web documents. ISPE CE 2003: 1043-1050
53EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: MAGDA: a software environment for Mobile AGent based Distributed Applications. PDP 2003: 332-
52EEThomas Fahringer, Nicola Mazzocca, Massimiliano Rak, Sabri Pllana, Umberto Villano, Georg Madsen: Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0. PDP 2003: 5-12
51 Nicola Mazzocca, Emilio Mancini, Massimiliano Rak, Umberto Villano: Integrated Tools for Performance-Oriented Distributed Software Development. Software Engineering Research and Practice 2003: 88-94
50EERocco Aversa, Nicola Mazzocca, Umberto Villano: A Case Study of Application Analytical Modeling in Heterogeneous Computing Environments: Cholesky Factorization in a NOW. The Journal of Supercomputing 24(1): 5-24 (2003)
2002
49EEGiuliana 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
48EEBeniamino Di Martino, Nicola Mazzocca, Giacinto Paolo Saggese, Antonio G. M. Strollo: A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations. FPL 2002: 47-58
47 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
46EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Mobile Agent Programming for Clusterswith Parallel Skeletons. VECPAR 2002: 622-634
45EENicola Mazzocca, Massimiliano Rak, Umberto Villano: The metaPL approach to the performance analysis of distributed software systems. Workshop on Software and Performance 2002: 142-149
44 Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo: A fault tolerant access to legacy database systems using CORBA technology. Comput. Syst. Sci. Eng. 17(6): 335-342 (2002)
43EEDomenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo: Building a dependable system from a legacy application with CORBA. Journal of Systems Architecture 48(1-3): 81-98 (2002)
42 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)
2001
41EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Mobile Agents for Distributed and Dynamically Balanced Optimization Applications. HPCN Europe 2001: 161-172
40EEG. B. Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano: Secure Access to Personalized Web Services. PRDC 2001: 266-272
39EENicola Mazzocca, Massimiliano Rak, Umberto Villano: MetaPL: A Notation System for Parallel Program Description and Performance Analysis. PaCT 2001: 80-93
38 Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs. Sci. Comput. Program. 40(2-3): 235-263 (2001)
2000
37EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca: Restructuring Irregular Computations for Distributed Systems Using Mobile Agents. PARA 2000: 223-232
36 Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. PDPTA 2000
35 Massimo Franceschetti, Nicola Mazzocca, G. Rotondi: High Load on Highly Available Systems. PDPTA 2000
34EEDomenico Cotroneo, Luigi Romano, Stefano Russo, Nicola Mazzocca: A CORBA-Based Architecture for Adding Dependability to Legacy Servers. PDSE 2000: 76-82
33EELuigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Dependability analysis of transmission techniques for MPEG-2 streams. PRDC 2000: 120-127
32EENicola Mazzocca, Massimiliano Rak, Umberto Villano: The Transition from a PVM Program Simulator to a Heterogeneous System Simulator: The HeSSE Project. PVM/MPI 2000: 266-273
31EERocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano: Reducing Parallel Program Simulation Complexity by Static Analysis. The Journal of Supercomputing 17(3): 299-310 (2000)
1999
30EELuigi Romano, Antonino Mazzeo, Nicola Mazzocca: SECURE: A Simulation Tool for PKI Design. CQRE 1999: 17-29
29EELuigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca: A Design Tool for Dependable Video on Demand Applications. EUROMICRO 1999: 2150-
28EEBeniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication. IWPC 1999: 84-91
27 Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca: Reducing Parallel Program Simulation Complexity by Static Analysis. PDPTA 1999: 627-633
26EEFrancesco 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
25EELuigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca: A Simulated Fault Injection Tool for Dependable VoD Application Design. PRDC 1999: 170-177
24EERocco Aversa, Nicola Mazzocca, Umberto Villano: Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization. PaCT 1999: 1-12
1998
23EEBeniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development . IWPC 1998: 206-
22 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)
21 Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Efficiency measurements in heterogeneous distributed computing systems: from theory to practice. Concurrency - Practice and Experience 10(4): 285-313 (1998)
20 Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study. Parallel Computing 24(5-6): 741-761 (1998)
1997
19EENicola Mazzocca, Stefano Russo, Valeria Vittorini: Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451
18 Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Stefano Russo: Distributed Coordination in Optimization Algorithms. HPCN Europe 1997: 1024-1025
17 Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: On the evaluation of efficiency in heterogeneous distributed systems. PDP 1997: 54-59
16 Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Interaction Patterns Detection in PVM Programs to Support Simulation. PVM/MPI 1997: 250-256
15 Rocco Aversa, Giulio Iannello, Nicola Mazzocca: An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study. PVM/MPI 1997: 401-408
14EENicola Mazzocca, Stefano Russo, Valeria Vittorini: Formal methods integration for the specification of dependable distributed systems. Journal of Systems Architecture 43(10): 671-685 (1997)
13 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)
12EEAntonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A method for predictive performance of distributed programs. Simul. Pr. Theory 5(1): 65-82 (1997)
1996
11 Susanna Donatelli, Nicola Mazzocca, Stefano Russo: EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems 1996: 265-270
10 P. Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: The PS project: development of a simulator of PVM applications for heterogeneous and network computing. Software Engineering for Parallel and Distributed Systems 1996: 310-315
9EESusanna Donatelli, Nicola Mazzocca, Stefano Russo: Client - server programs analysis in the EPOCA environment. Distributed Systems Engineering 3(3): 149-161 (1996)
8EERocco Aversa, Nicola Mazzocca, Umberto Villano: Design of a simulator of heterogeneous computing environments. Simul. Pr. Theory 4(2-3): 97-117 (1996)
1995
7 Beniamino Di Martino, Nicola Mazzocca, Stefano Russo: Paradigms for the Parallelization of Branch and Bound Algorithms. PARA 1995: 141-150
6EEGiulio Iannello, Antonino Mazzeo, Nicola Mazzocca: Performance analysis of distributed memory computers with parallel node architecture. Journal of Systems and Software 29(2): 107-120 (1995)
1994
5EESusanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo: Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352
4 Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A Mapping Method for Distributed Hetergoneous Systems. EUROSIM 1994: 143-151
3 Rocco Aversa, Nicola Mazzocca, Umberto Villano: PS: a Simulator for Heterogeneous Computing Environments. EUROSIM 1994: 335-343
2 Giulio Iannello, Nicola Mazzocca: Communication Workload Analysis for Symmetric Concurrent Systems. J. Parallel Distrib. Comput. 20(2): 224-235 (1994)
1 Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo: On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Eval. 19(2-3): 195-222 (1994)

Coauthor Index

1Chiara Abbaneo [79]
2P. Aversa [10]
3Rocco Aversa [3] [8] [15] [20] [24] [27] [31] [37] [41] [46] [50] [53] [56] [61] [62] [68] [76] [78] [89]
4Gianfranco Balbo [1]
5G. B. Barone [40]
6Francesco Basile [26]
7G. Capuozzo [25]
8Valentina Casola [47] [55] [65] [66] [71] [74] [77] [80] [83] [84] [86] [87] [88]
9Pasquale Chiacchio [26]
10Raffaele Chianese [66]
11Alessandro Cilardo [75] [90]
12Luigi Coppolino [77] [90]
13Antonio Coronato [29] [33] [36]
14Domenico Cotroneo [34] [43] [44]
15Susanna Donatelli [1] [5] [9] [11]
16Renato Donini [93]
17Thomas Fahringer [52]
18Anna Rita Fasolino [83]
19Francesco Flammini [73] [79] [91] [92] [94]
20Massimo Franceschetti [35]
21Giuliana Franceschinis [1] [5] [49] [59] [67]
22Andrea Gaglione [92]
23Marco Gribaudo [49] [67] [69]
24Mauro Iacono [49] [59] [64] [67] [73]
25Giulio Iannello [2] [6] [15]
26Armando Lazzaro [79]
27Giusy Di Lorenzo [72] [81] [82]
28Jesus Luna [84] [87]
29Georg Madsen [52]
30Massimo Magaldi [72]
31Emilio Pasquale Mancini (Emilio Mancini) [51] [70] [86] [88]
32Oscar Manso [84] [87]
33N. Margarita [40]
34Pietro Marmo [79]
35Stefano Marrone [64] [67] [73] [93]
36Beniamino Di Martino [7] [16] [18] [23] [27] [28] [31] [37] [38] [41] [46] [48] [53] [54] [56] [61] [62] [68] [76] [78]
37Antonino Mazzeo [1] [4] [6] [10] [12] [13] [16] [17] [18] [20] [21] [22] [23] [25] [28] [29] [30] [38] [40] [47] [54] [55] [57] [58] [60] [65] [66] [71] [74] [75] [77] [80]
38Manel Medina [84] [87]
39Rosa Anna Micillo [85] [89]
40Paola Mosca [72]
41Francesco Moscato [63] [64] [69] [72] [81] [82]
42Antonio Orazzo [93] [94]
43Domenico Papa [93]
44Giuseppe De Pietro [33] [36]
45Sabri Pllana [52]
46Concetta Pragliola [91] [92]
47Massimiliano Rak [32] [39] [45] [51] [52] [66] [70] [71] [74] [77] [84] [86] [88]
48Marina Ribaudo [1]
49Luigi Romano [25] [29] [30] [33] [34] [36] [40] [43] [44] [58] [60] [75]
50G. Rotondi [35]
51Stefano Russo [4] [5] [7] [9] [11] [12] [13] [14] [18] [19] [22] [34] [43] [44]
52Giacinto Paolo Saggese [48] [57] [58] [60]
53Angela Sanseviero [79]
54Antonella Santone [42]
55Carlo Savy [22]
56Angela Squeglia [54]
57Antonio G. M. Strollo [48] [57]
58Roberto Torella [70]
59Porfirio Tramontana [83]
60Gigliola Vaglini [42]
61Salvatore Venticinque [41] [46] [53] [56] [61] [62] [65] [68] [76] [78] [85] [89] [93]
62Umberto Villano [3] [8] [10] [16] [17] [20] [21] [23] [24] [28] [31] [32] [38] [39] [45] [50] [51] [52] [70] [86] [88]
63Valeria Vittorini [4] [12] [13] [14] [19] [22] [26] [42] [47] [49] [55] [59] [63] [64] [67] [69] [72] [80] [81] [82] [91]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)