 | 2009 |
|---|
| 95 |       | Francesco 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 |
|---|
| 94 | | Renato Donini,
Stefano Marrone,
Nicola Mazzocca,
Antonio Orazzo,
Domenico Papa,
Salvatore Venticinque:
Testing Complex Safety-Critical Systems in SOA Context.
CISIS 2008: 87-93 |
| 93 | | Francesco Flammini,
Andrea Gaglione,
Nicola Mazzocca,
Concetta Pragliola:
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.
CRITIS 2008: 180-189 |
| 92 | | Francesco Flammini,
Valeria Vittorini,
Nicola Mazzocca,
Concetta Pragliola:
A Study on Multiformalism Modeling of Critical Infrastructures.
CRITIS 2008: 336-343 |
| 91 | | Alessandro Cilardo,
Nicola Mazzocca,
Luigi Coppolino:
Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems.
DSD 2008: 360-366 |
| 90 | | Rosa Anna Micillo,
Salvatore Venticinque,
Nicola Mazzocca,
Rocco Aversa:
An Agent-Based Approach for Distributed Execution of Composite Web Services.
WETICE 2008: 18-23 |
| 89 | | 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 |
|---|
| 88 | | Valentina Casola,
Nicola Mazzocca,
Jesus Luna,
Oscar Manso,
Manel Medina:
Static evaluation of Certificate Policies for GRID PKIs interoperability.
ARES 2007: 391-399 |
| 87 | | Valentina Casola,
Emilio Pasquale Mancini,
Nicola Mazzocca,
Massimiliano Rak,
Umberto Villano:
Building Autonomic and Secure Service Oriented Architectures with MAWeS.
ATC 2007: 82-93 |
| 86 | | Nicola Mazzocca,
Rosa Anna Micillo,
Salvatore Venticinque:
Automatic and Dynamic Composition of Web Services Using Ontologies.
AWIC 2007: 230-235 |
| 85 | | 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 |
| 84 | | 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 |
| 83 | | Giusy Di Lorenzo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Automatic Analysis of Control Flow inWeb Services Composition Processes.
PDP 2007: 299-306 |
| 82 | | Giusy Di Lorenzo,
Nicola Mazzocca,
Francesco Moscato,
Valeria Vittorini:
Towards Semantics Driven Generation of Executable Web Services Compositions.
JSW 2(5): 1-15 (2007) |
| 81 | | 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 |
|---|
| 80 | | 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 |
| 79 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca,
Salvatore Venticinque:
Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure.
ISPDC 2006: 337-344 |
| 78 | | 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 |
| 77 | | 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 |
|---|
| 76 | | Alessandro Cilardo,
Antonino Mazzeo,
Nicola Mazzocca,
Luigi Romano:
A Novel Unified Architecture for Public-Key Cryptography.
DATE 2005: 52-57 |
| 75 | | Valentina Casola,
Antonino Mazzeo,
Nicola Mazzocca,
Massimiliano Rak:
An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures.
EuroPKI 2005: 100-117 |
| 74 | | 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 |
| 73 | | 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 |
| 72 | | 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 |
| 71 | | 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 |
| 70 | | Marco Gribaudo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
QEST 2005: 85-94 |
| 69 | | 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 |
|---|
| 68 | | 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 |
| 67 |  | 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 |
| 66 | | Valentina Casola,
Antonino Mazzeo,
Nicola Mazzocca,
Salvatore Venticinque:
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture.
PARA 2004: 454-463 |
| 65 | | 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 |
| 64 | | Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
PDP 2004: 134- |
| 63 | | 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- |
| 62 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca,
Salvatore Venticinque:
Performance Analysis of Hybrid OpenMP/MPI N-Body Application.
WOMPAT 2004: 12-18 |
| 61 | | 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) |
| 60 | | 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 |
|---|
| 59 | | Antonino Mazzeo,
Luigi Romano,
Giacinto Paolo Saggese,
Nicola Mazzocca:
FPGA-Based Implementation of a Serial RSA Processor.
DATE 2003: 10582-10589 |
| 58 | | 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 |
| 57 | | 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 |
| 56 | | Valentina Casola,
Nicola Mazzocca,
Antonino Mazzeo,
Valeria Vittorini:
Policy based interoperability in distributed security infrastructures.
ISPE CE 2003: 1027-1034 |
| 55 | | 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 |
| 54 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca,
Salvatore Venticinque:
MAGDA: a software environment for Mobile AGent based Distributed Applications.
PDP 2003: 332- |
| 53 | | 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 |
| 52 | | Nicola Mazzocca,
Emilio Mancini,
Massimiliano Rak,
Umberto Villano:
Integrated Tools for Performance-Oriented Distributed Software Development.
Software Engineering Research and Practice 2003: 88-94 |
| 51 | | 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 |
|---|
| 50 | | 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 |
| 49 | | 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 |
| 48 | | 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 |
| 47 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca,
Salvatore Venticinque:
Mobile Agent Programming for Clusterswith Parallel Skeletons.
VECPAR 2002: 622-634 |
| 46 | | 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 |
| 45 | | 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) |
| 44 | | 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) |
| 43 | | 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 |
|---|
| 42 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca,
Salvatore Venticinque:
Mobile Agents for Distributed and Dynamically Balanced Optimization Applications.
HPCN Europe 2001: 161-172 |
| 41 | | G. B. Barone,
N. Margarita,
Antonino Mazzeo,
Nicola Mazzocca,
Luigi Romano:
Secure Access to Personalized Web Services.
PRDC 2001: 266-272 |
| 40 | | Nicola Mazzocca,
Massimiliano Rak,
Umberto Villano:
MetaPL: A Notation System for Parallel Program Description and Performance Analysis.
PaCT 2001: 80-93 |
| 39 | | 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 |
|---|
| 38 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca:
Restructuring Irregular Computations for Distributed Systems Using Mobile Agents.
PARA 2000: 223-232 |
| 37 | | Luigi Romano,
Nicola Mazzocca,
Antonio Coronato,
Giuseppe De Pietro:
Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application.
PDPTA 2000 |
| 36 | | Massimo Franceschetti,
Nicola Mazzocca,
G. Rotondi:
High Load on Highly Available Systems.
PDPTA 2000 |
| 35 | | Domenico Cotroneo,
Luigi Romano,
Stefano Russo,
Nicola Mazzocca:
A CORBA-Based Architecture for Adding Dependability to Legacy Servers.
PDSE 2000: 76-82 |
| 34 | | Luigi Romano,
Nicola Mazzocca,
Antonio Coronato,
Giuseppe De Pietro:
Dependability analysis of transmission techniques for MPEG-2 streams.
PRDC 2000: 120-127 |
| 33 | | 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 |
| 32 | | 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 |
|---|
| 31 | | Luigi Romano,
Antonino Mazzeo,
Nicola Mazzocca:
SECURE: A Simulation Tool for PKI Design.
CQRE 1999: 17-29 |
| 30 | | Luigi Romano,
Antonio Coronato,
Antonino Mazzeo,
Nicola Mazzocca:
A Design Tool for Dependable Video on Demand Applications.
EUROMICRO 1999: 2150- |
| 29 | | 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 |
| 28 | | Rocco Aversa,
Beniamino Di Martino,
Nicola Mazzocca:
Reducing Parallel Program Simulation Complexity by Static Analysis.
PDPTA 1999: 627-633 |
| 27 | | 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 |
| 26 | | Luigi Romano,
G. Capuozzo,
Antonino Mazzeo,
Nicola Mazzocca:
A Simulated Fault Injection Tool for Dependable VoD Application Design.
PRDC 1999: 170-177 |
| 25 | | 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 |
|---|
| 24 | | Beniamino Di Martino,
Antonino Mazzeo,
Nicola Mazzocca,
Umberto Villano:
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development .
IWPC 1998: 206- |
| 23 | | 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) |
| 22 | | 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) |
| 21 | | 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 |
|---|
| 20 | | Nicola Mazzocca,
Stefano Russo,
Valeria Vittorini:
Integrating Trace Logic and Petri Nets Specifications.
HICSS (1) 1997: 443-451 |
| 19 | | Beniamino Di Martino,
Antonino Mazzeo,
Nicola Mazzocca,
Stefano Russo:
Distributed Coordination in Optimization Algorithms.
HPCN Europe 1997: 1024-1025 |
| 18 | | Antonino Mazzeo,
Nicola Mazzocca,
Umberto Villano:
On the evaluation of efficiency in heterogeneous distributed systems.
PDP 1997: 54-59 |
| 17 | | Beniamino Di Martino,
Antonino Mazzeo,
Nicola Mazzocca,
Umberto Villano:
Interaction Patterns Detection in PVM Programs to Support Simulation.
PVM/MPI 1997: 250-256 |
| 16 | | Rocco Aversa,
Giulio Iannello,
Nicola Mazzocca:
An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study.
PVM/MPI 1997: 401-408 |
| 15 | | 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) |
| 14 | | 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) |
| 13 | | 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 |
|---|
| 12 | | Susanna Donatelli,
Nicola Mazzocca,
Stefano Russo:
EPOCA: status and prospects.
Software Engineering for Parallel and Distributed Systems 1996: 265-270 |
| 11 | | 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 |
| 10 | | Susanna Donatelli,
Nicola Mazzocca,
Stefano Russo:
Client - server programs analysis in the EPOCA environment.
Distributed Systems Engineering 3(3): 149-161 (1996) |
| 9 | | Rocco Aversa,
Nicola Mazzocca,
Umberto Villano:
Design of a simulator of heterogeneous computing environments.
Simul. Pr. Theory 4(2-3): 97-117 (1996) |
| 1995 |
|---|
| 8 | | Beniamino Di Martino,
Nicola Mazzocca,
Stefano Russo:
Paradigms for the Parallelization of Branch and Bound Algorithms.
PARA 1995: 141-150 |
| 7 | | Rocco Aversa,
Antonino Mazzeo,
Nicola Mazzocca,
Umberto Villano:
The Use of Simulation for Software Development in Heterogeneous Computing Environments.
PDPTA 1995: 581-590 |
| 6 | | 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) |
