2008 | ||
---|---|---|
88 | EE | Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque: Testing Complex Safety-Critical Systems in SOA Context. CISIS 2008: 87-93 |
87 | EE | Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano: Self-optimization of secure web services. Computer Communications 31(18): 4312-4323 (2008) |
2007 | ||
86 | EE | Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina: Static evaluation of Certificate Policies for GRID PKIs interoperability. ARES 2007: 391-399 |
85 | EE | Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano: Building Autonomic and Secure Service Oriented Architectures with MAWeS. ATC 2007: 82-93 |
84 | EE | Nicola Mazzocca, Rosa Anna Micillo, Salvatore Venticinque: Automatic and Dynamic Composition of Web Services Using Ontologies. AWIC 2007: 230-235 |
83 | EE | Valentina Casola, Jesus Luna, Oscar Manso, Nicola Mazzocca, Manel Medina, Massimiliano Rak: Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal. GPC 2007: 39-51 |
82 | EE | Valentina 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 |
81 | EE | Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306 |
80 | 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) |
79 | 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) |
2006 | ||
78 | EE | Chiara 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 |
77 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure. ISPDC 2006: 337-344 |
76 | EE | Valentina 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 |
75 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: MAGDA: A Mobile Agent based Grid Architecture. J. Grid Comput. 4(4): 395-412 (2006) |
2005 | ||
74 | EE | Alessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano: A Novel Unified Architecture for Public-Key Cryptography. DATE 2005: 52-57 |
73 | EE | Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak: An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures. EuroPKI 2005: 100-117 |
72 | EE | Francesco 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 |
71 | 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 |
70 | EE | Valentina 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 |
69 | EE | Emilio Mancini, Umberto Villano, Nicola Mazzocca, Massimiliano Rak, Roberto Torella: Performance-Driven Development of a Web Services Application using MetaPL/HeSSE. PDP 2005: 12-19 |
68 | EE | Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94 |
67 | EE | Rocco 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 | ||
66 | 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 |
65 | 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 | |
64 | EE | Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque: Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture. PARA 2004: 454-463 |
63 | 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 |
62 | EE | Francesco Moscato, Nicola Mazzocca, Valeria Vittorini: Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134- |
61 | EE | Rocco 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- |
60 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Performance Analysis of Hybrid OpenMP/MPI N-Body Application. WOMPAT 2004: 12-18 |
59 | EE | Giacinto 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) |
58 | 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 | ||
57 | EE | Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca: FPGA-Based Implementation of a Serial RSA Processor. DATE 2003: 10582-10589 |
56 | EE | Giacinto 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 |
55 | 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 | |
54 | Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini: Policy based interoperability in distributed security infrastructures. ISPE CE 2003: 1027-1034 | |
53 | 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 | |
52 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: MAGDA: a software environment for Mobile AGent based Distributed Applications. PDP 2003: 332- |
51 | EE | Thomas Fahringer, Nicola Mazzocca, Massimiliano Rak, Sabri Pllana, Umberto Villano, Georg Madsen: Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0. PDP 2003: 5-12 |
50 | Nicola Mazzocca, Emilio Mancini, Massimiliano Rak, Umberto Villano: Integrated Tools for Performance-Oriented Distributed Software Development. Software Engineering Research and Practice 2003: 88-94 | |
49 | EE | Rocco 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 | ||
48 | 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 |
47 | EE | Beniamino 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 |
46 | 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 | |
45 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Mobile Agent Programming for Clusterswith Parallel Skeletons. VECPAR 2002: 622-634 |
44 | EE | Nicola Mazzocca, Massimiliano Rak, Umberto Villano: The metaPL approach to the performance analysis of distributed software systems. Workshop on Software and Performance 2002: 142-149 |
43 | 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) | |
42 | EE | Domenico 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) |
41 | 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 | ||
40 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque: Mobile Agents for Distributed and Dynamically Balanced Optimization Applications. HPCN Europe 2001: 161-172 |
39 | EE | G. B. Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano: Secure Access to Personalized Web Services. PRDC 2001: 266-272 |
38 | EE | Nicola Mazzocca, Massimiliano Rak, Umberto Villano: MetaPL: A Notation System for Parallel Program Description and Performance Analysis. PaCT 2001: 80-93 |
37 | 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 | ||
36 | EE | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca: Restructuring Irregular Computations for Distributed Systems Using Mobile Agents. PARA 2000: 223-232 |
35 | Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. PDPTA 2000 | |
34 | Massimo Franceschetti, Nicola Mazzocca, G. Rotondi: High Load on Highly Available Systems. PDPTA 2000 | |
33 | EE | Domenico Cotroneo, Luigi Romano, Stefano Russo, Nicola Mazzocca: A CORBA-Based Architecture for Adding Dependability to Legacy Servers. PDSE 2000: 76-82 |
32 | EE | Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Dependability analysis of transmission techniques for MPEG-2 streams. PRDC 2000: 120-127 |
31 | EE | Nicola 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 |
30 | EE | Rocco 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 | ||
29 | EE | Luigi Romano, Antonino Mazzeo, Nicola Mazzocca: SECURE: A Simulation Tool for PKI Design. CQRE 1999: 17-29 |
28 | EE | Luigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca: A Design Tool for Dependable Video on Demand Applications. EUROMICRO 1999: 2150- |
27 | EE | Beniamino 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 |
26 | Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca: Reducing Parallel Program Simulation Complexity by Static Analysis. PDPTA 1999: 627-633 | |
25 | 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 |
24 | EE | Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca: A Simulated Fault Injection Tool for Dependable VoD Application Design. PRDC 1999: 170-177 |
23 | EE | Rocco Aversa, Nicola Mazzocca, Umberto Villano: Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization. PaCT 1999: 1-12 |
1998 | ||
22 | EE | Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development . IWPC 1998: 206- |
21 | 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) | |
20 | 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) | |
19 | 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 | ||
18 | EE | Nicola Mazzocca, Stefano Russo, Valeria Vittorini: Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451 |
17 | Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Stefano Russo: Distributed Coordination in Optimization Algorithms. HPCN Europe 1997: 1024-1025 | |
16 | Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: On the evaluation of efficiency in heterogeneous distributed systems. PDP 1997: 54-59 | |
15 | Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: Interaction Patterns Detection in PVM Programs to Support Simulation. PVM/MPI 1997: 250-256 | |
14 | Rocco Aversa, Giulio Iannello, Nicola Mazzocca: An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study. PVM/MPI 1997: 401-408 | |
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) | |
12 | 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) |
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 | |
9 | EE | Susanna Donatelli, Nicola Mazzocca, Stefano Russo: Client - server programs analysis in the EPOCA environment. Distributed Systems Engineering 3(3): 149-161 (1996) |
8 | EE | Rocco 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 | |
6 | EE | Giulio 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 | ||
5 | Susanna 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) |