Gate-Level Distributed Logic Simulation on Multicomputer Architecture. - Antonino Mazzeo; Nicola Mazzocca; M. Tammaro (EUROSIM, 1992)

Software Architecture of the EPOCA Integrated Environment. - Susanna Donatelli; Giuliana Franceschinis; Nicola Mazzocca; Stefano Russo 001 (Computer Performance Evaluation, 1994)

PS: a Simulator for Heterogeneous Computing Environments. - Rocco Aversa; Nicola Mazzocca; Umberto Villano (EUROSIM, 1994)

A Mapping Method for Distributed Hetergoneous Systems. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (EUROSIM, 1994)

Communication Workload Analysis for Symmetric Concurrent Systems. - Giulio Iannello; Nicola Mazzocca (J. Parallel Distributed Comput., 1994)

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis; Antonino Mazzeo; Nicola Mazzocca; Marina Ribaudo (Perform. Evaluation, 1994)

Paradigms for the Parallelization of Branch and Bound Algorithms. - Beniamino Di Martino; Nicola Mazzocca; Stefano Russo 001 (PARA, 1995)

The Use of Simulation for Software Development in Heterogeneous Computing Environments. - Rocco Aversa; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (PDPTA, 1995)

Performance analysis of distributed memory computers with parallel node architecture. - Giulio Iannello; Antonino Mazzeo; Nicola Mazzocca (J. Syst. Softw., 1995)

The PS project: development of a simulator of PVM applications for heterogeneous and network computing. - Rocco Aversa; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (Software Engineering for Parallel and Distributed Systems, 1996)

EPOCA: status and prospects. - Susanna Donatelli; Nicola Mazzocca; Stefano Russo 001 (Software Engineering for Parallel and Distributed Systems, 1996)

Client - server programs analysis in the EPOCA environment. - Susanna Donatelli; Nicola Mazzocca; Stefano Russo 001 (Distributed Syst. Eng., 1996)

Design of a simulator of heterogeneous computing environments. - Rocco Aversa; Nicola Mazzocca; Umberto Villano (Simul. Pract. Theory, 1996)

Integrating Trace Logic and Petri Nets Specifications. - Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (HICSS (1), 1997)

Distributed Coordination in Optimization Algorithms. - Beniamino Di Martino; Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001 (HPCN Europe, 1997)

On the evaluation of efficiency in heterogeneous distributed systems. - Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (PDP, 1997)

An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study. - Rocco Aversa; Giulio Iannello; Nicola Mazzocca (PVM/MPI, 1997)

Interaction Patterns Detection in PVM Programs to Support Simulation. - Beniamino Di Martino; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (PVM/MPI, 1997)

Formal methods integration for the specification of dependable distributed systems. - Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (J. Syst. Archit., 1997)

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (Real Time Syst., 1997)

A method for predictive performance of distributed programs. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (Simul. Pract. Theory, 1997)

Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development . - Beniamino Di Martino; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (IWPC, 1998)

Formal Specification of Concurrent Systems: A Structured Approach. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Carlo Savy; Valeria Vittorini (Comput. J., 1998)

Efficiency measurements in heterogeneous distributed computing systems: from theory to practice. - Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (Concurr. Pract. Exp., 1998)

Heterogeneous system performance prediction and analysis using PS. - Rocco Aversa; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (IEEE Concurr., 1998)

Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study. - Rocco Aversa; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (Parallel Comput., 1998)

SECURE: A Simulation Tool for PKI Design. - Luigi Romano; Antonino Mazzeo; Nicola Mazzocca (CQRE, 1999)

A Design Tool for Dependable Video on Demand Applications. - Luigi Romano; Antonio Coronato; Antonino Mazzeo; Nicola Mazzocca (EUROMICRO, 1999)

Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication. - Beniamino Di Martino; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (IWPC, 1999)

Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization. - Rocco Aversa; Nicola Mazzocca; Umberto Villano (PaCT, 1999)

Reducing Parallel Program Simulation Complexity by Static Analysis. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca (PDPTA, 1999)

Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (PDSE, 1999)

A Simulated Fault Injection Tool for Dependable VoD Application Design. - Luigi Romano; G. Capuozzo; Antonino Mazzeo; Nicola Mazzocca (PRDC, 1999)

Restructuring Irregular Computations for Distributed Systems Using Mobile Agents. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca (PARA, 2000)

A performance simulation technique for distributed programs: application to an SOR iterative solver. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Umberto Villano (PDP, 2000)

High Load on Highly Available Systems. - Massimo Franceschetti; Nicola Mazzocca; G. Rotondi (PDPTA, 2000)

Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. - Luigi Romano; Nicola Mazzocca; Antonio Coronato; Giuseppe De Pietro (PDPTA, 2000)

A CORBA-Based Architecture for Adding Dependability to Legacy Servers. - Domenico Cotroneo; Luigi Romano; Stefano Russo 001; Nicola Mazzocca (PDSE, 2000)

Dependability analysis of transmission techniques for MPEG-2 streams. - Luigi Romano; Nicola Mazzocca; Antonio Coronato; Giuseppe De Pietro (PRDC, 2000)

The Transition from a PVM Program Simulator to a Heterogeneous System Simulator: The HeSSE Project. - Nicola Mazzocca; Massimiliano Rak; Umberto Villano (PVM/MPI, 2000)

Reducing Parallel Program Simulation Complexity by Static Analysis. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Umberto Villano (J. Supercomput., 2000)

Mobile Agents for Distributed and Dynamically Balanced Optimization Applications. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (HPCN Europe, 2001)

Test pattern generator for hybrid testing of combinational circuits. - Davide De Caro; Nicola Mazzocca; Ettore Napoli; Giacinto Paolo Saggese; Antonio G. M. Strollo (ICECS, 2001)

MetaPL: A Notation System for Parallel Program Description and Performance Analysis. - Nicola Mazzocca; Massimiliano Rak; Umberto Villano (PaCT, 2001)

Secure Access to Personalized Web Services. - Giovanni Battista Barone; N. Margarita; Antonino Mazzeo; Nicola Mazzocca; Luigi Romano (PRDC, 2001)

Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs. - Beniamino Di Martino; Antonino Mazzeo; Nicola Mazzocca; Umberto Villano (Sci. Comput. Program., 2001)

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Nicola Mazzocca; Valeria Vittorini (Computer Performance Evaluation / TOOLS, 2002)

A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations. - Beniamino Di Martino; Nicola Mazzocca; Giacinto Paolo Saggese; Antonio G. M. Strollo (FPL, 2002)

A hierarchical approach for designing dependable systems. - Matteo Sonza Reorda; Massimo Violante; Nicola Mazzocca; Salvatore Venticinque; Andrea Bobbio; Giuliana Franceschinis (HLDVT, 2002)

Shuffled serial adder: an area-latency effective serial adder. - Giacinto Paolo Saggese; Antonio G. M. Strollo; Nicola Mazzocca; Davide De Caro (ICECS, 2002)

Policy formalization to combine separate systems into larger connected network of trust. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Valeria Vittorini (Net-Con, 2002)

Mobile Agent Programming for Clusterswith Parallel Skeletons. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (VECPAR, 2002)

The metaPL approach to the performance analysis of distributed software systems. - Nicola Mazzocca; Massimiliano Rak; Umberto Villano (Workshop on Software and Performance, 2002)

A fault tolerant access to legacy database systems using CORBA technology. - Domenico Cotroneo; Nicola Mazzocca; Luigi Romano; Stefano Russo 001 (Comput. Syst. Sci. Eng., 2002)

Building a dependable system from a legacy application with CORBA. - Domenico Cotroneo; Nicola Mazzocca; Luigi Romano; Stefano Russo 001 (J. Syst. Archit., 2002)

Efficient model checking of properties of a distributed application: a multimedia case study. - Nicola Mazzocca; Antonella Santone; Gigliola Vaglini; Valeria Vittorini (Softw. Test. Verification Reliab., 2002)

FPGA-Based Implementation of a Serial RSA Processor. - Antonino Mazzeo; Luigi Romano; Giacinto Paolo Saggese; Nicola Mazzocca (DATE, 2003)

An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining of the AES Algorithm. - Giacinto Paolo Saggese; Antonino Mazzeo; Nicola Mazzocca; Antonio G. M. Strollo (FPL, 2003)

A resource discovery service for a mobile agents based grid infrastructure. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (CE, 2003)

Policy based interoperability in distributed security infrastructures. - Valentina Casola; Nicola Mazzocca; Antonino Mazzeo; Valeria Vittorini (CE, 2003)

An automatic classification technique and tool for information retrieval of web documents. - Beniamino Di Martino; Nicola Mazzocca; Angela Squeglia; Antonino Mazzeo (CE, 2003)

MAGDA: a software environment for Mobile AGent based Distributed Applications. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (PDP, 2003)

Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0. - Thomas Fahringer; Nicola Mazzocca; Massimiliano Rak; Sabri Pllana; Umberto Villano; Georg Madsen (PDP, 2003)

SWN client-server composition operators in the OsMoSys framework. - Giuliana Franceschinis; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (PNPM, 2003)

Integrated Tools for Performance-Oriented Distributed Software Development. - Nicola Mazzocca; Emilio Mancini; Massimiliano Rak; Umberto Villano (Software Engineering Research and Practice, 2003)

A Case Study of Application Analytical Modeling in Heterogeneous Computing Environments: Cholesky Factorization in a NOW. - Rocco Aversa; Nicola Mazzocca; Umberto Villano (J. Supercomput., 2003)

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (ICATPN, 2004)

A Policy-Based Design Methodology and Performance Evaluation Framework for a Secure VoIP Infrastructure. - Valentina Casola; Raffaele Chianese; Nicola Mazzocca; Massimiliano Rak; Antonino Mazzeo (ICETE (2), 2004)

Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Salvatore Venticinque (PARA, 2004)

A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. - Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (PARA, 2004)

Terminal-Aware Grid Resource and Service Discovery and Access Based on Mobile Agents Technology. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (PDP, 2004)

Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2004)

Performance Analysis of Hybrid OpenMP/MPI N-Body Application. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (WOMPAT, 2004)

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (J. Intell. Manuf., 2004)

A tamper resistant hardware accelerator for RSA cryptographic applications. - Giacinto Paolo Saggese; Luigi Romano; Nicola Mazzocca; Antonino Mazzeo (J. Syst. Archit., 2004)

The OsMoSys approach to multi-formalism modeling of systems. - Valeria Vittorini; Mauro Iacono; Nicola Mazzocca; Giuliana Franceschinis (Softw. Syst. Model., 2004)

A Novel Unified Architecture for Public-Key Cryptography. - Alessandro Cilardo; Antonino Mazzeo; Nicola Mazzocca; Luigi Romano (DATE, 2005)

An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Massimiliano Rak (EuroPKI, 2005)

Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. - Francesco Flammini; Nicola Mazzocca; Mauro Iacono; Stefano Marrone 001 (HASE, 2005)

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini; Giusy Di Lorenzo; Paola Mosca; Massimo Magaldi (HPCC, 2005)

Reconfigurable systems self-healing using mobile hardware agents. - Alfredo Benso; Alessandro Cilardo; Nicola Mazzocca; Liviu Miclea; Paolo Prinetto; Szilárd Enyedi (ITC, 2005)

Security Design and Evaluation in a VoIP Secure Infrastracture: A Policy Based Approach. - Valentina Casola; Massimiliano Rak; Antonino Mazzeo; Nicola Mazzocca (ITCC (1), 2005)

Performance-Driven Development of a Web Services Application using MetaPL/HeSSE. - Emilio Mancini; Umberto Villano; Nicola Mazzocca; Massimiliano Rak; Roberto Torella (PDP, 2005)

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. - Marco Gribaudo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (QEST, 2005)

A hierarchical distributed-shared memory parallel Branch & Bound application with PVM and OpenMP for multiprocessor clusters. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (Parallel Comput., 2005)

UML Based Reverse Engineering for the Verification of Railway Control Logics. - Chiara Abbaneo; Francesco Flammini; Armando Lazzaro; Pietro Marmo; Nicola Mazzocca; Angela Sanseviero (DepCoS-RELCOMEX, 2006)

Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (ISPDC, 2006)

Design and implementation of TruMan, a Trust Manager Component for Distributed Systems. - Valentina Casola; Luigi Coppolino; Antonino Mazzeo; Nicola Mazzocca; Massimiliano Rak (SecPerU, 2006)

MAGDA: A Mobile Agent based Grid Architecture. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (J. Grid Comput., 2006)

Elliptic Curve Cryptography Engineering. - Alessandro Cilardo; Luigi Coppolino; Nicola Mazzocca; Luigi Romano (Proc. IEEE, 2006)

A SLA evaluation methodology in Service Oriented Architectures. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Massimiliano Rak (Quality of Protection, 2006)

Static evaluation of Certificate Policies for GRID PKIs interoperability. - Valentina Casola; Nicola Mazzocca; Jesus Luna; Oscar Manso; Manel Medina (ARES, 2007)

Building Autonomic and Secure Service Oriented Architectures with MAWeS. - Valentina Casola; Emilio Pasquale Mancini; Nicola Mazzocca; Massimiliano Rak; Umberto Villano (ATC, 2007)

Automatic and Dynamic Composition of Web Services Using Ontologies. - Nicola Mazzocca; Rosa Anna Micillo; Salvatore Venticinque (AWIC, 2007)

Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal. - Valentina Casola; Jesus Luna; Oscar Manso; Nicola Mazzocca; Manel Medina; Massimiliano Rak (GPC, 2007)

A policy-based evaluation framework for Quality and Security in Service Oriented Architectures. - Valentina Casola; Anna Rita Fasolino; Nicola Mazzocca; Porfirio Tramontana (ICWS, 2007)

Automatic Analysis of Control Flow inWeb Services Composition Processes. - Giusy Di Lorenzo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2007)

Web Services workflow reliability estimation through reliability patterns. - Luigi Coppolino; Luigi Romano; Nicola Mazzocca; Sergio Salvi (SecureComm, 2007)

Optimizing secure Web Services with MAWeS: A case study. - Massimiliano Rak; Valentina Casola; Nicola Mazzocca; Emilio Pasquale Mancini; Umberto Villano (SecureComm, 2007)

A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Valeria Vittorini (J. Comput. Secur., 2007)

Towards Semantics Driven Generation of Executable Web Services Compositions. - Giusy Di Lorenzo; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (J. Softw., 2007)

A Mobile Agents based Infrastructure to deliver value added services in SOAs. - Rocco Aversa; Beniamino Di Martino; Salvatore Venticinque; Nicola Mazzocca (Scalable Comput. Pract. Exp., 2007)

Wireless Sensor Data Fusion for Critical Infrastructure Security. - Francesco Flammini; Andrea Gaglione; Nicola Mazzocca; Vincenzo Moscato; Concetta Pragliola (CISIS, 2008)

Testing Complex Safety-Critical Systems in SOA Context. - Renato Donini; Stefano Marrone 001; Nicola Mazzocca; Antonio Orazzo; Domenico Papa; Salvatore Venticinque (CISIS, 2008)

Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. - Francesco Flammini; Andrea Gaglione; Nicola Mazzocca; Concetta Pragliola (CRITIS, 2008)

A Study on Multiformalism Modeling of Critical Infrastructures. - Francesco Flammini; Valeria Vittorini; Nicola Mazzocca; Concetta Pragliola (CRITIS, 2008)

Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems. - Alessandro Cilardo; Nicola Mazzocca; Luigi Coppolino (DSD, 2008)

Time Efficient Dual-Field Unit for Cryptography-Related Processing. - Alessandro Cilardo; Nicola Mazzocca (VLSI-SoC (Selected Papers), 2008)

An Agent-Based Approach for Distributed Execution of Composite Web Services. - Rosa Anna Micillo; Salvatore Venticinque; Nicola Mazzocca; Rocco Aversa (WETICE, 2008)

Self-optimization of secure web services. - Valentina Casola; Emilio Pasquale Mancini; Nicola Mazzocca; Massimiliano Rak; Umberto Villano (Comput. Commun., 2008)

New Paradigms and Tools for High-Assurance Systems Modelling. - Francesco Flammini; Nicola Mazzocca; Valeria Vittorini (ERCIM News, 2008)

An Agents Based Middleware for Personalization of Multimedia Service Delivery in SOAs. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (J. Mobile Multimedia, 2008)

Proxy Agents for Adaptive Delivery of Multimedia. - Rocco Aversa; Beniamino Di Martino; Nicola Mazzocca; Salvatore Venticinque (J. Mobile Multimedia, 2008)

An AHP-Based Framework for Quality and Security Evaluation. - Valentina Casola; Anna Rita Fasolino; Nicola Mazzocca; Porfirio Tramontana (CSE (3), 2009)

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2009)

Automatic instantiation of abstract tests on specific configurations for large critical control systems. - Francesco Flammini; Nicola Mazzocca; Antonio Orazzo (Softw. Test. Verification Reliab., 2009)

Securing a tiered re-taskable sensing system. - Alessandra De Benedictis; Andrea Gaglione; Nicola Mazzocca (IAS, 2010)

Multiformalism techniques for critical infrastructure modelling. - Francesco Flammini; Nicola Mazzocca; Francesco Moscato 001; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (Int. J. Syst. Syst. Eng., 2010)

Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. - Francesco Flammini; Nicola Mazzocca; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (ARES, 2011)

A Semantic-based Document Processing Framework: A Security Perspective. - Flora Amato; Valentina Casola; Nicola Mazzocca; Sara Romano (CISIS, 2011)

Petri Net Modelling of Physical Vulnerability. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (CRITIS, 2011)

Revisiting Application-Dependent Test for FPGA Devices. - Alessandro Cilardo; Carmelo Lofiego; Antonino Mazzeo; Nicola Mazzocca (ETS, 2011)

A simulation framework for supporting design and real-time decisional phases in railway systems. - Egidio Quaglietta; Luca D'Acierno; Vincenzo Punzo; Roberto Nardone; Nicola Mazzocca (ITSC, 2011)

An Integrated Approach for Availability and QoS Evaluation in Railway Systems. - Antonino Mazzeo; Nicola Mazzocca; Roberto Nardone; Luca D'Acierno; Bruno Montella; Vincenzo Punzo; Egidio Quaglietta; Immacolata Lamberti; Pietro Marmo (SAFECOMP, 2011)

Analysis and Comparison of Security Protocols in Wireless Sensor Networks. - Valentina Casola; Alessandra De Benedictis; Annarita Drago; Nicola Mazzocca (SRDS Workshops, 2011)

CloSe: A Cloud SaaS for Semantic Document Composition. - Flora Amato; Antonino Mazzeo; Nicola Mazzocca; Sara Romano (CISIS, 2012)

Freight Train monitoring: A Case-Study for the pSHIELD Project. - Valentina Casola; Mariana Esposito; Nicola Mazzocca; Francesco Flammini (IMIS, 2012)

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (ISoLA (2), 2012)

Performance Analysis of an OCSP-Based Authentication Protocol for VANETs. - Jetzabel Serna-Olvera; Valentina Casola; Massimiliano Rak; Jesus Luna; Manel Medina; Nicola Mazzocca (Int. J. Adapt. Resilient Auton. Syst., 2012)

Solution Workflows for Model-Based Analysis of Complex Systems. - Francesco Moscato 001; Valeria Vittorini; Flora Amato; Antonino Mazzeo; Nicola Mazzocca (IEEE Trans Autom. Sci. Eng., 2012)

A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. - Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Roberta Presta; Simon Pietro Romano; Valeria Vittorini (Trans. Petri Nets Other Model. Concurr., 2012)

A System for Semantic-Based Access Control. - Flora Amato; Nicola Mazzocca; Giuseppe De Pietro; Massimo Esposito (3PGCIC, 2013)

On the Adoption of FPGA for Protecting Cyber Physical Infrastructures. - Mario Barbareschi; Ermanno Battista; Valentina Casola; Antonino Mazzeo; Nicola Mazzocca (3PGCIC, 2013)

A Compositional Modelling Approach for Large Sensor Networks Design. - Ermanno Battista; Valentina Casola; Nicola Mazzocca; Roberto Nardone; Stefano Marrone 001 (3PGCIC, 2013)

Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (CD-ARES Workshops, 2013)

Performance Evaluation of Video Analytics for Surveillance On-Board Trains. - Valentina Casola; Mariana Esposito; Francesco Flammini; Nicola Mazzocca; Concetta Pragliola (ACIVS, 2013)

Efficient and scalable OpenMP-based system-level design. - Alessandro Cilardo; Luca Gallo; Antonino Mazzeo; Nicola Mazzocca (DATE, 2013)

Empty Vehicle Detection with Video Analytics. - Francesco Buemi; Mariana Esposito; Francesco Flammini; Nicola Mazzocca; Concetta Pragliola; Marcella Spirito (ICIAP (2), 2013)

Manifesto of edge ICT fabric. - Antonio Manzalini; Roberto Minerva; Ernest Kaempfer; Franco Callegari; Aldo Campi; Walter Cerroni; Noël Crespi; Eliezer Dekel; Yoav Tock; Wouter Tavernier; Koen Casier; Sofie Verbrugge; et al. (ICIN, 2013)

An integrated lifetime and network quality model of large WSNs. - Ermanno Battista; Valentina Casola; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (M&N, 2013)

Developing Secure Cloud Applications: A Case Study. - Ermanno Battista; Valentina Casola; Nicola Mazzocca; Massimo Ficco; Massimiliano Rak (SYNASC, 2013)

TrustedSIM: Towards Unified Mobile Security. - Alessandro Cilardo; Nicola Mazzocca; Luigi Coppolino (UIC/ATC, 2013)

Exploring a New Dimension in Code Mobility for Ubiquitous Embedded Systems. - Alessandro Cilardo; Nicola Mazzocca; Paolo Prinetto (UIC/ATC, 2013)

Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. - Annarita Drago; Stefano Marrone 001; Nicola Mazzocca; Annarita Tedesco; Valeria Vittorini (UIC/ATC, 2013)

A semantic approach for fine-grain access control of e-health documents. - Flora Amato; Valentina Casola; Nicola Mazzocca; Sara Romano (Log. J. IGPL, 2013)

SIREN: a feasible moving target defence framework for securing resource-constrained embedded nodes. - Ermanno Battista; Valentina Casola; Antonino Mazzeo; Nicola Mazzocca (Int. J. Crit. Comput. Based Syst., 2013)

Vulnerability modeling and analysis for critical infrastructure protection applications. - Stefano Marrone 001; Roberto Nardone; Annarita Tedesco; Pasquale D'Amore; Valeria Vittorini; Roberto Setola; Francesca De Cillis; Nicola Mazzocca (Int. J. Crit. Infrastructure Prot., 2013)

A smart decision support systems based on a fast classifier and a semantic post reasoner. - Flora Amato; Valentina Casola; Mariana Esposito; Antonino Mazzeo; Nicola Mazzocca (Int. J. Syst. Syst. Eng., 2013)

SeNsiM-SEC: secure sensor networks integration to monitor rail freight transport. - Valentina Casola; Alessandra De Benedictis; Annarita Drago; Nicola Mazzocca (Int. J. Syst. Syst. Eng., 2013)

Design space exploration for high-level synthesis of multi-threaded applications. - Alessandro Cilardo; Luca Gallo; Nicola Mazzocca (J. Syst. Archit., 2013)

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; José Merseguer; Roberto Nardone; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2013)

Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware. - Alessandro Cilardo; Nicola Mazzocca (IEEE Trans. Inf. Forensics Secur., 2013)

A Cost-Energy Trade-Off Model in Smart Energy Grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (3PGCIC, 2014)

A Semantic Support for Testing Activities of Safety-Critical Embedded Systems. - Alessio Venticinque; Nicola Mazzocca; Salvatore Venticinque (CISIS, 2014)

Dynamic State Machines for Formalizing Railway Control System Specifications. - Roberto Nardone; Ugo Gentile; Adriano Peron; Massimo Benerecetti; Valeria Vittorini; Stefano Marrone 001; Renato De Guglielmo; Nicola Mazzocca; Luigi Velardi (FTSCS, 2014)

A hardware accelerator for data classification within the sensing infrastructure. - Mario Barbareschi; Ermanno Battista; Nicola Mazzocca; Sridhar Venkatesan (IRI, 2014)

Traffic dynamics and vulnerability in hypercube communication networks. - Mario di Bernardo; Elisa Maini; Antonio Manzalini; Nicola Mazzocca (ISCAS, 2014)

A compositional modelling approach for live migration in Software Defined Networks. - Elisa Maini; Nicola Mazzocca (NOF, 2014)

The dynamic placement of virtual network functions. - Stuart Clayman; Elisa Maini; Alex Galis; Antonio Manzalini; Nicola Mazzocca (NOMS, 2014)

An Interoperable Testing Environment for ERTMS/ETCS Control Systems. - Gregorio Barberio; Beniamino Di Martino; Nicola Mazzocca; Luigi Velardi; Aniello Amato; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Valeria Vittorini (SAFECOMP Workshops, 2014)

Semantic Support for Log Analysis of Safety-Critical Embedded Systems. - Alessio Venticinque; Nicola Mazzocca; Salvatore Venticinque; Massimo Ficco (CoRR, 2014)

Automated design space exploration for FPGA-based heterogeneous interconnects. - Alessandro Cilardo; Edoardo Fusella; Luca Gallo; Antonino Mazzeo; Nicola Mazzocca (Des. Autom. Embed. Syst., 2014)

ASP-based optimized mapping in a simulink-to-MPSoC design flow. - Alessandro Cilardo; Dario Socci; Nicola Mazzocca (J. Syst. Archit., 2014)

Developing Secure Cloud Applications. - Massimiliano Rak; Massimo Ficco; Ermanno Battista; Valentina Casola; Nicola Mazzocca (Scalable Comput. Pract. Exp., 2014)

Towards Model-Driven V&V assessment of railway control systems. - Stefano Marrone 001; Francesco Flammini; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (Int. J. Softw. Tools Technol. Transf., 2014)

High Speed Speculative Multipliers Based on Speculative Carry-Save Tree. - Alessandro Cilardo; Davide De Caro; Nicola Petra; Francesco Caserta; Nicola Mazzocca; Ettore Napoli; Antonio Giuseppe Maria Strollo (IEEE Trans. Circuits Syst. I Regul. Pap., 2014)

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. - Ugo Gentile; Stefano Marrone 001; Francesco M. De Paola; Roberto Nardone; Nicola Mazzocca; Maurizio Giugni (3PGCIC, 2015)

Testing 90 nm microcontroller SRAM PUF quality. - Mario Barbareschi; Ermanno Battista; Antonino Mazzeo; Nicola Mazzocca (DTIS, 2015)

Modeling Railway Control Systems in Promela. - Roberto Nardone; Ugo Gentile; Massimo Benerecetti; Adriano Peron; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (FTSCS, 2015)

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation. - Flora Amato; Francesco M. De Paola; Crescenzo Diomaiuta; Maurizio Giugni; Nicola Mazzocca; Francesco Moscato 001 (ICCS, 2015)

Semantically driven documents composition in CloSe cloud system. - Flora Amato; Antonino Mazzeo; Nicola Mazzocca; Sara Romano (Int. J. Comput. Sci. Eng., 2015)

An integrated framework for securing semi-structured health records. - Flora Amato; Giuseppe De Pietro; Massimo Esposito; Nicola Mazzocca (Knowl. Based Syst., 2015)

Semantic Integration and Correlation of Digital Evidences in Forensic Investigations. - Flora Amato; Giovanni Cozzolino; Nicola Mazzocca (3PGCIC, 2016)

Self Planning in Critical Multi-Agent Systems. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001 (3PGCIC, 2016)

A Formal Model for Autonomous Planning in High Performance Systems. - Flora Amato; Antonino Mazzeo; Nicola Mazzocca; Francesco Moscato 001 (EUSPN/ICTH, 2016)

Cost-energy modelling and profiling of smart domestic grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (Int. J. Grid Util. Comput., 2016)

Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (Recent Advances in Computational Intelligence in Defense and Security, 2016)

Correlation of Digital Evidences in Forensic Investigation through Semantic Technologies. - Flora Amato; Giovanni Cozzolino; Antonino Mazzeo; Nicola Mazzocca (AINA Workshops, 2017)

Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Emilio Vivenzio (AINA Workshops, 2017)

A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Fatos Xhafa (EIDWT, 2017)

Multi-agent Collaborative Planning in Smart Environments. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Fatos Xhafa (INCoS, 2017)

OFL: A Language for Cloud Orchestration. - Flora Amato; Aniello Castiglione; Nicola Mazzocca; Francesco Moscato 001; Vincenzo Moscato (ISPA/IUCC, 2017)

Dynamic state machines for modelling railway control systems. - Massimo Benerecetti; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Adriano Peron; Luigi Velardi; Valeria Vittorini (Sci. Comput. Program., 2017)

Automatic generation of formal models for diagnosability of DES. - Roberto Nardone; Gianmaria De Tommasi; Nicola Mazzocca; Alfredo Pironti 002; Valeria Vittorini (ETFA, 2018)

A Model-Based Evaluation Methodology for Smart Energy Systems. - Alessandra De Benedictis; Nicola Mazzocca; Roberto Nardone; Salvatore Venticinque (SMARTCOMP, 2018)

An abstraction layer enabling pervasive hardware-reconfigurable systems. - Alessandro Cilardo; Nicola Mazzocca; Paolo Prinetto (Int. J. Embed. Syst., 2018)

Model driven design and evaluation of security level in orchestrated cloud services. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001 (J. Netw. Comput. Appl., 2018)

A PUF-based hardware mutual authentication protocol. - Mario Barbareschi; Alessandra De Benedictis; Nicola Mazzocca (J. Parallel Distributed Comput., 2018)

Efficient Reed-Muller Implementation for Fuzzy Extractor Schemes. - Mario Barbareschi; Salvatore Barone; Antonino Mazzeo; Nicola Mazzocca (DTIS, 2019)

PUF-Enabled Authentication-as-a-Service in Fog-IoT Systems. - Mario Barbareschi; Alessandra De Benedictis; Erasmo La Montagna; Antonino Mazzeo; Nicola Mazzocca (WETICE, 2019)

A PUF-based mutual authentication scheme for Cloud-Edges IoT systems. - Mario Barbareschi; Alessandra De Benedictis; Erasmo La Montagna; Antonino Mazzeo; Nicola Mazzocca (Future Gener. Comput. Syst., 2019)

A model-driven approach for vulnerability evaluation of modern physical protection systems. - Annarita Drago; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Annarita Tedesco; Valeria Vittorini (Softw. Syst. Model., 2019)

An abstract reasoning architecture for privacy policies monitoring. - Flora Amato; Luigi Coppolino; Salvatore D'Antonio; Nicola Mazzocca; Francesco Moscato 001; Luigi Sgaglione (Future Gener. Comput. Syst., 2020)

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. - Roberto Nardone; Stefano Marrone 001; Ugo Gentile; Aniello Amato; Gregorio Barberio; Massimo Benerecetti; Renato De Guglielmo; Beniamino Di Martino; Nicola Mazzocca; Adriano Peron; Gaetano Pisani; Luigi Velardi; et al. (J. Syst. Softw., 2020)

Toward a Fuzzy-based Approach for Computational Load Offloading of IoT Devices. - Lelio Campanile; Mauro Iacono; Fiammetta Marulli; Michele Mastroianni; Nicola Mazzocca (J. Univers. Comput. Sci., 2020)

SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms. - Alessandro Biondi 001; Daniel Casini; Giorgiomaria Cicero; Niccolò Borgioli; Giorgio C. Buttazzo; Gaetano Patti; Luca Leonardi; Lucia Lo Bello; Marco Solieri; Paolo Burgio; Ignacio Sanudo Olmedo; Angelo Ruocco; et al. (IEEE Access, 2021)

Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT. - Alessandro Cilardo; Marcello Cinque; Luigi De Simone; Nicola Mazzocca (CoRR, 2021)

Security-Aware Deployment Optimization of Cloud-Edge Systems in Industrial IoT. - Valentina Casola; Alessandra De Benedictis; Sergio Di Martino; Nicola Mazzocca; Luigi Libero Lucio Starace (IEEE Internet Things J., 2021)

Advancing synthesis of decision tree-based multiple classifier systems: an approximate computing case study. - Mario Barbareschi; Salvatore Barone; Nicola Mazzocca (Knowl. Inf. Syst., 2021)

Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative Manufacturing. - Paolo Bellavista; Christian Esposito 001; Luca Foschini 001; Carlo Giannelli; Nicola Mazzocca; Rebecca Montanari (Sensors, 2021)

On the Adoption of Physically Unclonable Functions to Secure IIoT Devices. - Mario Barbareschi; Valentina Casola; Alessandra De Benedictis; Erasmo La Montagna; Nicola Mazzocca (IEEE Trans. Ind. Informatics, 2021)

A Security and Privacy Validation Methodology for e-Health Systems. - Flora Amato; Valentina Casola; Giovanni Cozzolino; Alessandra De Benedictis; Nicola Mazzocca; Francesco Moscato 001 (ACM Trans. Multim. Comput. Commun. Appl., 2021)

A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection. - Alessandro Cilardo; Vincenzo Maisto; Nicola Mazzocca; Franca Rocco di Torrepadula (QUATIC, 2022)

Bus Passenger Load Prediction: Challenges from an Industrial Experience. - Flora Amato; Sergio Di Martino; Nicola Mazzocca; Davide Nardone; Franca Rocco di Torrepadula; Paolo Sannino (W2GIS, 2022)

Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things. - Alessandro Cilardo; Marcello Cinque; Luigi De Simone; Nicola Mazzocca (Computer, 2022)

Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices. - Flora Amato; Simona Fioretto; Eugenio Forgillo; Elio Masciari; Nicola Mazzocca; Sabrina Merola; Enea Vincenzo Napolitano (EGOVIS, 2023)

Introducing AI-Based Techniques in the Justice Sector: A Proposal for Digital Transformation of Court Offices. - Flora Amato; Simona Fioretto; Eugenio Forgillo; Elio Masciari; Nicola Mazzocca; Sabrina Merola; Enea Vincenzo Napolitano (SEBD, 2023)

Using SUMO towards Proactive Public Mobility: Some Lessons Learned. - Franca Rocco di Torrepadula; Debora Russo; Sergio Di Martino; Nicola Mazzocca; Paolo Sannino (SuMob@SIGSPATIAL, 2023)

Mobility Data Analytics with KNOT: The KNime mObility Toolkit. - Sergio Di Martino; Nicola Mazzocca; Franca Rocco di Torrepadula; Luigi Libero Lucio Starace (W2GIS, 2023)

A Catalog-Based AIG-Rewriting Approach to the Design of Approximate Components. - Mario Barbareschi; Salvatore Barone; Nicola Mazzocca; Alberto Moriconi (IEEE Trans. Emerg. Top. Comput., 2023)

Digital Twins in Healthcare: An Architectural Proposal and Its Application in a Social Distancing Case Study. - Alessandra De Benedictis; Nicola Mazzocca; Alessandra Somma; Carmine Strigaro (IEEE J. Biomed. Health Informatics, 2023)

A Process Mining-based unsupervised Anomaly Detection technique for the Industrial Internet of Things. - Francesco Vitale; Fabrizio De Vita; Nicola Mazzocca; Dario Bruneo (Internet Things, 2023)

Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems. - Marcello Cinque; Luigi De Simone; Nicola Mazzocca; Daniele Ottaviano; Francesco Vitale (Real Time Syst., 2023)

Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept. - Alessandra De Benedictis; Francesco Flammini; Nicola Mazzocca; Alessandra Somma; Francesco Vitale (IEEE Trans. Ind. Informatics, 2023)

Exploiting Functional Approximation on Decision-Tree Based Multiple Classifier Systems. - Mario Barbareschi; Salvatore Barone; Antonio Emmanuele; Nicola Mazzocca (VLSI-SoC, 2024)

Machine Learning for public transportation demand prediction: A Systematic Literature Review. - Franca Rocco di Torrepadula; Enea Vincenzo Napolitano; Sergio Di Martino; Nicola Mazzocca (Eng. Appl. Artif. Intell., 2024)

The convergence of Digital Twins and Distributed Ledger Technologies: A systematic literature review and an architectural proposal. - Alessandra Somma; Alessandra De Benedictis; Christiancarmine Esposito; Nicola Mazzocca (J. Netw. Comput. Appl., 2024)

FPGA approximate logic synthesis through catalog-based AIG-rewriting technique. - Mario Barbareschi; Salvatore Barone; Nicola Mazzocca; Alberto Moriconi (J. Syst. Archit., 2024)

A visual-based toolkit to support mobility data analytics. - Sergio Di Martino; Enrico Landolfi; Nicola Mazzocca; Franca Rocco di Torrepadula; Luigi Libero Lucio Starace (Expert Syst. Appl., 2024)

An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs. - Alessandro Cilardo; Vincenzo Maisto; Nicola Mazzocca; Franca Rocco di Torrepadula (ACM Trans. Embed. Comput. Syst., 2024)

Bridging Efficient and Explainable Traffic Flow Prediction on the Edge. - Mario Barbareschi; Antonio Emmanuele; Nicola Mazzocca; Franca Rocco di Torrepadula (AINA (6), 2025)

A Typology of Quantum-Classical Faults. - Edoardo Giusto; Santiago Núñez-Corrales; Alessandro Cilardo; Nicola Mazzocca; Travis S. Humble (DSN-W, 2025)

Harnessing Explainable AI in Railway: A Decision Tree-Based Approach. - Mario Barbareschi; Antonio Emmanuele; Nicola Mazzocca; Franca Rocco di Torrepadula (EDCC-C, 2025)

Designing on-board explainable passenger flow prediction. - Mario Barbareschi; Antonio Emmanuele; Nicola Mazzocca; Franca Rocco di Torrepadula (Eng. Appl. Artif. Intell., 2025)

Engineering SRAM-PUF on Arduino microcontroller. - Mario Barbareschi; Franco Cirillo; Christian Esposito 001; Nicola Mazzocca (J. Syst. Archit., 2025)

Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction. - Francesco Vitale; Marco Pegoraro 001; Wil M. P. van der Aalst; Nicola Mazzocca (Knowl. Based Syst., 2025)

Smart Ecosystems and Digital Twins: An Architectural Perspective and a FIWARE-Based Solution. - Franca Rocco di Torrepadula; Alessandra Somma; Alessandra De Benedictis; Nicola Mazzocca (IEEE Softw., 2025)

Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems. - Francesco Vitale; Simone Guarino; Francesco Flammini; Luca Faramondi; Nicola Mazzocca; Roberto Setola (IEEE Trans. Ind. Informatics, 2025)

Process mining-driven modeling and simulation to enhance fault diagnosis in cyber-physical systems. - Francesco Vitale; Nicola Dall'Ora; Sebastiano Gaiardelli; Enrico Fraccaroli; Nicola Mazzocca; Franco Fummi (CoRR, 2025)

Fedflow: a personalized federated learning framework for passenger flow prediction. - Franca Rocco di Torrepadula; Marco Fisichella; Sergio Di Martino; Nicola Mazzocca (Mach. Learn., 2025)

Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining. - Francesco Vitale; Tommaso Zoppi; Francesco Flammini; Nicola Mazzocca (CoRR, 2025)