Nicola Mazzocca

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 46

Top Venues

3PGCIC

Future Gener. Comput. Syst.

FTSCS

W2GIS

Publications

Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique. J. Syst. Archit. 150 (2024)
Franca Rocco di Torrepadula, Enea Vincenzo Napolitano, Sergio Di Martino, Nicola Mazzocca
Machine Learning for public transportation demand prediction: A Systematic Literature Review. Eng. Appl. Artif. Intell. 137 (2024)
Alessandra Somma, Alessandra De Benedictis, Christiancarmine Esposito, Nicola Mazzocca
The convergence of Digital Twins and Distributed Ledger Technologies: A systematic literature review and an architectural proposal. J. Netw. Comput. Appl. 225 (2024)
Sergio Di Martino, Enrico Landolfi, Nicola Mazzocca, Franca Rocco di Torrepadula, Luigi Libero Lucio Starace
A visual-based toolkit to support mobility data analytics. Expert Syst. Appl. 238 (Part C) (2024)
Alessandro Cilardo, Vincenzo Maisto, Nicola Mazzocca, Franca Rocco di Torrepadula
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs. ACM Trans. Embed. Comput. Syst. 23 (3) (2024)
Sergio Di Martino, Nicola Mazzocca, Franca Rocco di Torrepadula, Luigi Libero Lucio Starace
Mobility Data Analytics with KNOT: The KNime mObility Toolkit. W2GIS (2023)
Alessandra De Benedictis, Francesco Flammini, Nicola Mazzocca, Alessandra Somma, Francesco Vitale
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept. IEEE Trans. Ind. Informatics 19 (12) (2023)
Franca Rocco di Torrepadula, Debora Russo, Sergio Di Martino, Nicola Mazzocca, Paolo Sannino
Using SUMO towards Proactive Public Mobility: Some Lessons Learned. SuMob@SIGSPATIAL (2023)
Alessandra De Benedictis, Nicola Mazzocca, Alessandra Somma, Carmine Strigaro
Digital Twins in Healthcare: An Architectural Proposal and Its Application in a Social Distancing Case Study. IEEE J. Biomed. Health Informatics 27 (10) (2023)
Marcello Cinque, Luigi De Simone, Nicola Mazzocca, Daniele Ottaviano, Francesco Vitale
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems. Real Time Syst. 59 (4) (2023)
Flora Amato, Simona Fioretto, Eugenio Forgillo, Elio Masciari, Nicola Mazzocca, Sabrina Merola, Enea Vincenzo Napolitano
Introducing AI-Based Techniques in the Justice Sector: A Proposal for Digital Transformation of Court Offices. SEBD (2023)
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi
A Catalog-Based AIG-Rewriting Approach to the Design of Approximate Components. IEEE Trans. Emerg. Top. Comput. 11 (1) (2023)
Francesco Vitale, Fabrizio De Vita, Nicola Mazzocca, Dario Bruneo
A Process Mining-based unsupervised Anomaly Detection technique for the Industrial Internet of Things. Internet Things 24 (2023)
Flora Amato, Simona Fioretto, Eugenio Forgillo, Elio Masciari, Nicola Mazzocca, Sabrina Merola, Enea Vincenzo Napolitano
Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices. EGOVIS (2023)
Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things. Computer 55 (10) (2022)
Flora Amato, Sergio Di Martino, Nicola Mazzocca, Davide Nardone, Franca Rocco di Torrepadula, Paolo Sannino
Bus Passenger Load Prediction: Challenges from an Industrial Experience. W2GIS (2022)
Alessandro Cilardo, Vincenzo Maisto, Nicola Mazzocca, Franca Rocco di Torrepadula
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection. QUATIC (2022)
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca
Advancing synthesis of decision tree-based multiple classifier systems: an approximate computing case study. Knowl. Inf. Syst. 63 (6) (2021)
Mario Barbareschi, Valentina Casola, Alessandra De Benedictis, Erasmo La Montagna, Nicola Mazzocca
On the Adoption of Physically Unclonable Functions to Secure IIoT Devices. IEEE Trans. Ind. Informatics 17 (11) (2021)
Valentina Casola, Alessandra De Benedictis, Sergio Di Martino, Nicola Mazzocca, Luigi Libero Lucio Starace
Security-Aware Deployment Optimization of Cloud-Edge Systems in Industrial IoT. IEEE Internet Things J. 8 (16) (2021)
Paolo Bellavista, Christian Esposito, Luca Foschini, Carlo Giannelli, Nicola Mazzocca, Rebecca Montanari
Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative Manufacturing. Sensors 21 (15) (2021)
Flora Amato, Valentina Casola, Giovanni Cozzolino, Alessandra De Benedictis, Nicola Mazzocca, Francesco Moscato
A Security and Privacy Validation Methodology for e-Health Systems. ACM Trans. Multim. Comput. Commun. Appl. 17 (2s) (2021)
Alessandro Biondi, 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, Luca Palazzi, Marko Bertogna, Alessandro Cilardo, Nicola Mazzocca, Antonino Mazzeo
SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms. IEEE Access 9 (2021)
Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT. CoRR (2021)
Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Lelio Campanile, Mauro Iacono, Fiammetta Marulli, Michele Mastroianni, Nicola Mazzocca
Toward a Fuzzy-based Approach for Computational Load Offloading of IoT Devices. J. Univers. Comput. Sci. 26 (11) (2020)
Flora Amato, Luigi Coppolino, Salvatore D'Antonio, Nicola Mazzocca, Francesco Moscato, Luigi Sgaglione
An abstract reasoning architecture for privacy policies monitoring. Future Gener. Comput. Syst. 106 (2020)
Mario Barbareschi, Alessandra De Benedictis, Erasmo La Montagna, Antonino Mazzeo, Nicola Mazzocca
PUF-Enabled Authentication-as-a-Service in Fog-IoT Systems. WETICE (2019)
Mario Barbareschi, Alessandra De Benedictis, Erasmo La Montagna, Antonino Mazzeo, Nicola Mazzocca
A PUF-based mutual authentication scheme for Cloud-Edges IoT systems. Future Gener. Comput. Syst. 101 (2019)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18 (1) (2019)
Mario Barbareschi, Salvatore Barone, Antonino Mazzeo, Nicola Mazzocca
Efficient Reed-Muller Implementation for Fuzzy Extractor Schemes. DTIS (2019)
Flora Amato, Nicola Mazzocca, Francesco Moscato
Model driven design and evaluation of security level in orchestrated cloud services. J. Netw. Comput. Appl. 106 (2018)
Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto
An abstraction layer enabling pervasive hardware-reconfigurable systems. Int. J. Embed. Syst. 10 (5) (2018)
Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
Automatic generation of formal models for diagnosability of DES. ETFA (2018)
Mario Barbareschi, Alessandra De Benedictis, Nicola Mazzocca
A PUF-based hardware mutual authentication protocol. J. Parallel Distributed Comput. 119 (2018)
Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque
A Model-Based Evaluation Methodology for Smart Energy Systems. SMARTCOMP (2018)
Flora Amato, Giovanni Cozzolino, Antonino Mazzeo, Nicola Mazzocca
Correlation of Digital Evidences in Forensic Investigation through Semantic Technologies. AINA Workshops (2017)
Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa
Multi-agent Collaborative Planning in Smart Environments. INCoS (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Flora Amato, Aniello Castiglione, Nicola Mazzocca, Francesco Moscato, Vincenzo Moscato
OFL: A Language for Cloud Orchestration. ISPA/IUCC (2017)
Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa
A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services. EIDWT (2017)
Flora Amato, Nicola Mazzocca, Francesco Moscato, Emilio Vivenzio
Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection. AINA Workshops (2017)
Flora Amato, Giovanni Cozzolino, Nicola Mazzocca
Semantic Integration and Correlation of Digital Evidences in Forensic Investigations. 3PGCIC (2016)
Flora Amato, Nicola Mazzocca, Francesco Moscato
Self Planning in Critical Multi-Agent Systems. 3PGCIC (2016)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. 7 (4) (2016)
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Francesco Moscato
A Formal Model for Autonomous Planning in High Performance Systems. EUSPN/ICTH (2016)
Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. 3PGCIC (2015)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Mario Barbareschi, Ermanno Battista, Antonino Mazzeo, Nicola Mazzocca
Testing 90 nm microcontroller SRAM PUF quality. DTIS (2015)
Flora Amato, Giuseppe De Pietro, Massimo Esposito, Nicola Mazzocca
An integrated framework for securing semi-structured health records. Knowl. Based Syst. 79 (2015)
Flora Amato, Francesco M. De Paola, Crescenzo Diomaiuta, Maurizio Giugni, Nicola Mazzocca, Francesco Moscato
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation. ICCS (2015)
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano
Semantically driven documents composition in CloSe cloud system. Int. J. Comput. Sci. Eng. 11 (1) (2015)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC (2014)
Elisa Maini, Nicola Mazzocca
A compositional modelling approach for live migration in Software Defined Networks. NOF (2014)
Alessandro Cilardo, Davide De Caro, Nicola Petra, Francesco Caserta, Nicola Mazzocca, Ettore Napoli, Antonio Giuseppe Maria Strollo
High Speed Speculative Multipliers Based on Speculative Carry-Save Tree. IEEE Trans. Circuits Syst. I Regul. Pap. (12) (2014)
Massimiliano Rak, Massimo Ficco, Ermanno Battista, Valentina Casola, Nicola Mazzocca
Developing Secure Cloud Applications. Scalable Comput. Pract. Exp. 15 (1) (2014)
Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque
A Semantic Support for Testing Activities of Safety-Critical Embedded Systems. CISIS (2014)
Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca
Automated design space exploration for FPGA-based heterogeneous interconnects. Des. Autom. Embed. Syst. 18 (3-4) (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Mario di Bernardo, Elisa Maini, Antonio Manzalini, Nicola Mazzocca
Traffic dynamics and vulnerability in hypercube communication networks. ISCAS (2014)
Alessandro Cilardo, Dario Socci, Nicola Mazzocca
ASP-based optimized mapping in a simulink-to-MPSoC design flow. J. Syst. Archit. 60 (1) (2014)
Mario Barbareschi, Ermanno Battista, Nicola Mazzocca, Sridhar Venkatesan
A hardware accelerator for data classification within the sensing infrastructure. IRI (2014)
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops (2014)
Stuart Clayman, Elisa Maini, Alex Galis, Antonio Manzalini, Nicola Mazzocca
The dynamic placement of virtual network functions. NOMS (2014)
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco
Semantic Support for Log Analysis of Safety-Critical Embedded Systems. CoRR (2014)
Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino
TrustedSIM: Towards Unified Mobile Security. UIC/ATC (2013)
Alessandro Cilardo, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca
Efficient and scalable OpenMP-based system-level design. DATE (2013)
Alessandro Cilardo, Nicola Mazzocca
Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware. IEEE Trans. Inf. Forensics Secur. 8 (5) (2013)
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
Automatic instantiation of abstract tests on specific configurations for large critical control systems CoRR (2013)
Mario Barbareschi, Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca
On the Adoption of FPGA for Protecting Cyber Physical Infrastructures. 3PGCIC (2013)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops (2013)
Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca
SIREN: a feasible moving target defence framework for securing resource-constrained embedded nodes. Int. J. Crit. Comput. Based Syst. 4 (4) (2013)
Flora Amato, Valentina Casola, Nicola Mazzocca, Sara Romano
A semantic approach for fine-grain access control of e-health documents. Log. J. IGPL 21 (4) (2013)
Antonio Manzalini, Roberto Minerva, E. Kaempfer, F. Callegari, Aldo Campi, Walter Cerroni, Noël Crespi, E. Dekel, Y. Tock, Wouter Tavernier, Koen Casier, Sofie Verbrugge, Didier Colle, Ricard Vilalta, Raul Muñoz, Ramon Casellas, Ricardo Martínez, Nicola Mazzocca, Elisa Maini
Manifesto of edge ICT fabric. ICIN (2013)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance CoRR (2013)
Valentina Casola, Alessandra De Benedictis, Annarita Drago, Nicola Mazzocca
SeNsiM-SEC: secure sensor networks integration to monitor rail freight transport. Int. J. Syst. Syst. Eng. 4 (3/4) (2013)
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak
Developing Secure Cloud Applications: A Case Study. SYNASC (2013)
Francesco Buemi, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, Marcella Spirito
Empty Vehicle Detection with Video Analytics. ICIAP (2) (2013)
Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6 (3-4) (2013)
Valentina Casola, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola
Performance Evaluation of Video Analytics for Surveillance On-Board Trains. ACIVS (2013)
Flora Amato, Valentina Casola, Mariana Esposito, Antonino Mazzeo, Nicola Mazzocca
A smart decision support systems based on a fast classifier and a semantic post reasoner. Int. J. Syst. Syst. Eng. 4 (3/4) (2013)
Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
An integrated lifetime and network quality model of large WSNs. M&N (2013)
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC (2013)
Alessandro Cilardo, Luca Gallo, Nicola Mazzocca
Design space exploration for high-level synthesis of multi-threaded applications. J. Syst. Archit. 59 (10-D) (2013)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC (2013)
Flora Amato, Nicola Mazzocca, Giuseppe De Pietro, Massimo Esposito
A System for Semantic-Based Access Control. 3PGCIC (2013)
Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto
Exploring a New Dimension in Code Mobility for Ubiquitous Embedded Systems. UIC/ATC (2013)
Valentina Casola, Mariana Esposito, Nicola Mazzocca, Francesco Flammini
Freight Train monitoring: A Case-Study for the pSHIELD Project. IMIS (2012)
Jetzabel Serna-Olvera, Valentina Casola, Massimiliano Rak, Jesus Luna, Manel Medina, Nicola Mazzocca
Performance Analysis of an OCSP-Based Authentication Protocol for VANETs. Int. J. Adapt. Resilient Auton. Syst. 3 (1) (2012)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) (2012)
Francesco Moscato, Valeria Vittorini, Flora Amato, Antonino Mazzeo, Nicola Mazzocca
Solution Workflows for Model-Based Analysis of Complex Systems. IEEE Trans Autom. Sci. Eng. 9 (1) (2012)
Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano
CloSe: A Cloud SaaS for Semantic Document Composition. CISIS (2012)
Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES (2011)
Egidio Quaglietta, Luca D'Acierno, Vincenzo Punzo, Roberto Nardone, Nicola Mazzocca
A simulation framework for supporting design and real-time decisional phases in railway systems. ITSC (2011)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Petri Net Modelling of Physical Vulnerability. CRITIS (2011)
Alessandro Cilardo, Carmelo Lofiego, Antonino Mazzeo, Nicola Mazzocca
Revisiting Application-Dependent Test for FPGA Devices. ETS (2011)
Flora Amato, Valentina Casola, Nicola Mazzocca, Sara Romano
A Semantic-based Document Processing Framework: A Security Perspective. CISIS (2011)

Nicola Mazzocca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicola Mazzocca