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) |