Nicola Mazzocca

243 papers A* 1A 5B 11C 30Misc 14Journal 98Unranked 82
YearRankTypeTitle / Venue / Authors
2026 J jnl
A material-aware, multi-modal synthetic dataset for smart city applications: Design and construction.
Inf. Sci.
Debora Russo, Domenico Amalfitano, Gerardo Di Martino, Nicola Mazzocca, Valeria Vittorini
2026 J jnl
Architecting software monitors for control-flow anomaly detection through large language models and conformance checking.
Inf. Softw. Technol.
Francesco Vitale, Francesco Flammini, Mauro Caporuscio, Nicola Mazzocca
2026 J jnl
Distilling knowledge for low-energy AIoT.
J. Syst. Archit.
Franca Rocco di Torrepadula, Vincenzo Maisto, Alessandro Cilardo, Nicola Mazzocca
2025 — conf
A Typology of Quantum-Classical Faults.
DSN-W
Edoardo Giusto, Santiago Núñez-Corrales, Alessandro Cilardo, Nicola Mazzocca, Travis S. Humble
2025 J jnl
Adaptive Identification and Modeling of Clinical Pathways with Process Mining.
CoRR
Francesco Vitale, Nicola Mazzocca
2025 J jnl
Architecting software monitors for control-flow anomaly detection through large language models and conformance checking.
CoRR
Francesco Vitale, Francesco Flammini, Mauro Caporuscio, Nicola Mazzocca
2025 — conf
Bridging Efficient and Explainable Traffic Flow Prediction on the Edge.
AINA (6)
Mario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco di Torrepadula
2025 J jnl
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction.
CoRR
Francesco Vitale, Marco Pegoraro, Wil M. P. van der Aalst, Nicola Mazzocca
2025 J jnl
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction.
Knowl. Based Syst.
Francesco Vitale, Marco Pegoraro, Wil M. P. van der Aalst, Nicola Mazzocca
2025 C conf
Designing Energy-Efficient Approximate Circuits for the FPGA Technology.
DSD
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi
2025 J jnl
Designing on-board explainable passenger flow prediction.
Eng. Appl. Artif. Intell.
Mario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco di Torrepadula
2025 J jnl
Engineering SRAM-PUF on Arduino microcontroller.
J. Syst. Archit.
Mario Barbareschi, Franco Cirillo, Christian Esposito, Nicola Mazzocca
2025 J jnl
Fedflow: a personalized federated learning framework for passenger flow prediction.
Mach. Learn.
Franca Rocco di Torrepadula, Marco Fisichella, Sergio Di Martino, Nicola Mazzocca
2025 — conf
Harnessing Explainable AI in Railway: A Decision Tree-Based Approach.
EDCC-C
Mario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco di Torrepadula
2025 J jnl
Network Traffic Analysis with Process Mining: The UPSIDE Case Study.
CoRR
Francesco Vitale, Paolo Palmiero, Massimiliano Rak, Nicola Mazzocca
2025 J jnl
Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems.
IEEE Trans. Ind. Informatics
Francesco Vitale, Simone Guarino, Francesco Flammini, Luca Faramondi, Nicola Mazzocca, Roberto Setola
2025 J jnl
Process mining-driven modeling and simulation to enhance fault diagnosis in cyber-physical systems.
CoRR
Francesco Vitale, Nicola Dall'Ora, Sebastiano Gaiardelli, Enrico Fraccaroli, Nicola Mazzocca, Franco Fummi
2025 — conf
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining.
RSSRail
Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca
2025 J jnl
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining.
CoRR
Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca
2025 J jnl
Smart Ecosystems and Digital Twins: An Architectural Perspective and a FIWARE-Based Solution.
IEEE Softw.
Franca Rocco di Torrepadula, Alessandra Somma, Alessandra De Benedictis, Nicola Mazzocca
2025 A* conf
UR-MAT: A Multimodal, Material-Aware Synthetic Dataset of Urban Scenarios.
ACM Multimedia
Debora Russo, Nicola Mazzocca, Valeria Vittorini
2024 J jnl
A visual-based toolkit to support mobility data analytics.
Expert Syst. Appl.
Sergio Di Martino, Enrico Landolfi, Nicola Mazzocca, Franca Rocco di Torrepadula, Luigi Libero Lucio Starace
2024 J jnl
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs.
ACM Trans. Embed. Comput. Syst.
Alessandro Cilardo, Vincenzo Maisto, Nicola Mazzocca, Franca Rocco di Torrepadula
2024 C conf
Exploiting Functional Approximation on Decision-Tree Based Multiple Classifier Systems.
VLSI-SoC
Mario Barbareschi, Salvatore Barone, Antonio Emmanuele, Nicola Mazzocca
2024 J jnl
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique.
J. Syst. Archit.
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi
2024 J jnl
Machine Learning for public transportation demand prediction: A Systematic Literature Review.
Eng. Appl. Artif. Intell.
Franca Rocco di Torrepadula, Enea Vincenzo Napolitano, Sergio Di Martino, Nicola Mazzocca
2024 J jnl
The convergence of Digital Twins and Distributed Ledger Technologies: A systematic literature review and an architectural proposal.
J. Netw. Comput. Appl.
Alessandra Somma, Alessandra De Benedictis, Christiancarmine Esposito, Nicola Mazzocca
2023 J jnl
A Catalog-Based AIG-Rewriting Approach to the Design of Approximate Components.
IEEE Trans. Emerg. Top. Comput.
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi
2023 J jnl
A Process Mining-based unsupervised Anomaly Detection technique for the Industrial Internet of Things.
Internet Things
Francesco Vitale, Fabrizio De Vita, Nicola Mazzocca, Dario Bruneo
2023 J jnl
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept.
IEEE Trans. Ind. Informatics
Alessandra De Benedictis, Francesco Flammini, Nicola Mazzocca, Alessandra Somma, Francesco Vitale
2023 J jnl
Digital Twins in Healthcare: An Architectural Proposal and Its Application in a Social Distancing Case Study.
IEEE J. Biomed. Health Informatics
Alessandra De Benedictis, Nicola Mazzocca, Alessandra Somma, Carmine Strigaro
2023 J jnl
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems.
Real Time Syst.
Marcello Cinque, Luigi De Simone, Nicola Mazzocca, Daniele Ottaviano, Francesco Vitale
2023 — conf
Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices.
EGOVIS
Flora Amato, Simona Fioretto, Eugenio Forgillo, Elio Masciari, Nicola Mazzocca, Sabrina Merola, Enea Vincenzo Napolitano
2023 — conf
Introducing AI-Based Techniques in the Justice Sector: A Proposal for Digital Transformation of Court Offices.
SEBD
Flora Amato, Simona Fioretto, Eugenio Forgillo, Elio Masciari, Nicola Mazzocca, Sabrina Merola, Enea Vincenzo Napolitano
2023 C conf
Mobility Data Analytics with KNOT: The KNime mObility Toolkit.
W2GIS
Sergio Di Martino, Nicola Mazzocca, Franca Rocco di Torrepadula, Luigi Libero Lucio Starace
2023 — conf
Using SUMO towards Proactive Public Mobility: Some Lessons Learned.
SuMob@SIGSPATIAL
Franca Rocco di Torrepadula, Debora Russo, Sergio Di Martino, Nicola Mazzocca, Paolo Sannino
2022 Misc conf
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection.
QUATIC
Alessandro Cilardo, Vincenzo Maisto, Nicola Mazzocca, Franca Rocco di Torrepadula
2022 C conf
Bus Passenger Load Prediction: Challenges from an Industrial Experience.
W2GIS
Flora Amato, Sergio Di Martino, Nicola Mazzocca, Davide Nardone, Franca Rocco di Torrepadula, Paolo Sannino
2022 J jnl
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things.
Computer
Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca
2021 J jnl
A Security and Privacy Validation Methodology for e-Health Systems.
ACM Trans. Multim. Comput. Commun. Appl.
Flora Amato, Valentina Casola, Giovanni Cozzolino, Alessandra De Benedictis, Nicola Mazzocca, Francesco Moscato
2021 J jnl
Advancing synthesis of decision tree-based multiple classifier systems: an approximate computing case study.
Knowl. Inf. Syst.
Mario Barbareschi, Salvatore Barone, Nicola Mazzocca
2021 J jnl
Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative Manufacturing.
Sensors
Paolo Bellavista, Christian Esposito, Luca Foschini, Carlo Giannelli, Nicola Mazzocca, Rebecca Montanari
2021 J jnl
On the Adoption of Physically Unclonable Functions to Secure IIoT Devices.
IEEE Trans. Ind. Informatics
Mario Barbareschi, Valentina Casola, Alessandra De Benedictis, Erasmo La Montagna, Nicola Mazzocca
2021 J jnl
SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms.
IEEE Access
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
2021 J jnl
Security-Aware Deployment Optimization of Cloud-Edge Systems in Industrial IoT.
IEEE Internet Things J.
Valentina Casola, Alessandra De Benedictis, Sergio Di Martino, Nicola Mazzocca, Luigi Libero Lucio Starace
2021 J jnl
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT.
CoRR
Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca
2020 J jnl
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw.
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
2020 J jnl
An abstract reasoning architecture for privacy policies monitoring.
Future Gener. Comput. Syst.
Flora Amato, Luigi Coppolino, Salvatore D'Antonio, Nicola Mazzocca, Francesco Moscato, Luigi Sgaglione
2020 J jnl
Toward a Fuzzy-based Approach for Computational Load Offloading of IoT Devices.
J. Univers. Comput. Sci.
Lelio Campanile, Mauro Iacono, Fiammetta Marulli, Michele Mastroianni, Nicola Mazzocca
2019 J jnl
A PUF-based mutual authentication scheme for Cloud-Edges IoT systems.
Future Gener. Comput. Syst.
Mario Barbareschi, Alessandra De Benedictis, Erasmo La Montagna, Antonino Mazzeo, Nicola Mazzocca
2019 J jnl
A model-driven approach for vulnerability evaluation of modern physical protection systems.
Softw. Syst. Model.
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
2019 — conf
Efficient Reed-Muller Implementation for Fuzzy Extractor Schemes.
DTIS
Mario Barbareschi, Salvatore Barone, Antonino Mazzeo, Nicola Mazzocca
2019 C conf
PUF-Enabled Authentication-as-a-Service in Fog-IoT Systems.
WETICE
Mario Barbareschi, Alessandra De Benedictis, Erasmo La Montagna, Antonino Mazzeo, Nicola Mazzocca
2018 B conf
A Model-Based Evaluation Methodology for Smart Energy Systems.
SMARTCOMP
Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque
2018 J jnl
A PUF-based hardware mutual authentication protocol.
J. Parallel Distributed Comput.
Mario Barbareschi, Alessandra De Benedictis, Nicola Mazzocca
2018 J jnl
An abstraction layer enabling pervasive hardware-reconfigurable systems.
Int. J. Embed. Syst.
Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto
2018 C conf
Automatic generation of formal models for diagnosability of DES.
ETFA
Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
2018 J jnl
Model driven design and evaluation of security level in orchestrated cloud services.
J. Netw. Comput. Appl.
Flora Amato, Nicola Mazzocca, Francesco Moscato
2017 — conf
A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services.
EIDWT
Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa
2017 — conf
Correlation of Digital Evidences in Forensic Investigation through Semantic Technologies.
AINA Workshops
Flora Amato, Giovanni Cozzolino, Antonino Mazzeo, Nicola Mazzocca
2017 J jnl
Dynamic state machines for modelling railway control systems.
Sci. Comput. Program.
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
2017 — conf
Multi-agent Collaborative Planning in Smart Environments.
INCoS
Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa
2017 — conf
Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection.
AINA Workshops
Flora Amato, Nicola Mazzocca, Francesco Moscato, Emilio Vivenzio
2017 — conf
OFL: A Language for Cloud Orchestration.
ISPA/IUCC
Flora Amato, Aniello Castiglione, Nicola Mazzocca, Francesco Moscato, Vincenzo Moscato
2016 — conf
A Formal Model for Autonomous Planning in High Performance Systems.
EUSPN/ICTH
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Francesco Moscato
2016 J jnl
Cost-energy modelling and profiling of smart domestic grids.
Int. J. Grid Util. Comput.
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2016 — ch.
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring.
Recent Advances in Computational Intelligence in Defense and Security
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2016 — conf
Self Planning in Critical Multi-Agent Systems.
3PGCIC
Flora Amato, Nicola Mazzocca, Francesco Moscato
2016 — conf
Semantic Integration and Correlation of Digital Evidences in Forensic Investigations.
3PGCIC
Flora Amato, Giovanni Cozzolino, Nicola Mazzocca
2015 Misc conf
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation.
ICCS
Flora Amato, Francesco M. De Paola, Crescenzo Diomaiuta, Maurizio Giugni, Nicola Mazzocca, Francesco Moscato
2015 J jnl
An integrated framework for securing semi-structured health records.
Knowl. Based Syst.
Flora Amato, Giuseppe De Pietro, Massimo Esposito, Nicola Mazzocca
2015 — conf
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems.
3PGCIC
Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
2015 — conf
Modeling Railway Control Systems in Promela.
FTSCS
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2015 J jnl
Semantically driven documents composition in CloSe cloud system.
Int. J. Comput. Sci. Eng.
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano
2015 — conf
Testing 90 nm microcontroller SRAM PUF quality.
DTIS
Mario Barbareschi, Ermanno Battista, Antonino Mazzeo, Nicola Mazzocca
2014 — conf
A Cost-Energy Trade-Off Model in Smart Energy Grids.
3PGCIC
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2014 Misc conf
A Semantic Support for Testing Activities of Safety-Critical Embedded Systems.
CISIS
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque
2014 — conf
A compositional modelling approach for live migration in Software Defined Networks.
NOF
Elisa Maini, Nicola Mazzocca
2014 Misc conf
A hardware accelerator for data classification within the sensing infrastructure.
IRI
Mario Barbareschi, Ermanno Battista, Nicola Mazzocca, Sridhar Venkatesan
2014 J jnl
ASP-based optimized mapping in a simulink-to-MPSoC design flow.
J. Syst. Archit.
Alessandro Cilardo, Dario Socci, Nicola Mazzocca
2014 — conf
An Interoperable Testing Environment for ERTMS/ETCS Control Systems.
SAFECOMP Workshops
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
2014 J jnl
Automated design space exploration for FPGA-based heterogeneous interconnects.
Des. Autom. Embed. Syst.
Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca
2014 J jnl
Developing Secure Cloud Applications.
Scalable Comput. Pract. Exp.
Massimiliano Rak, Massimo Ficco, Ermanno Battista, Valentina Casola, Nicola Mazzocca
2014 — conf
Dynamic State Machines for Formalizing Railway Control System Specifications.
FTSCS
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
2014 J jnl
High Speed Speculative Multipliers Based on Speculative Carry-Save Tree.
IEEE Trans. Circuits Syst. I Regul. Pap.
Alessandro Cilardo, Davide De Caro, Nicola Petra, Francesco Caserta, Nicola Mazzocca, Ettore Napoli, Antonio Giuseppe Maria Strollo
2014 J jnl
Semantic Support for Log Analysis of Safety-Critical Embedded Systems.
CoRR
Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco
2014 B conf
The dynamic placement of virtual network functions.
NOMS
Stuart Clayman, Elisa Maini, Alex Galis, Antonio Manzalini, Nicola Mazzocca
2014 J jnl
Towards Model-Driven V&V assessment of railway control systems.
Int. J. Softw. Tools Technol. Transf.
Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2014 C conf
Traffic dynamics and vulnerability in hypercube communication networks.
ISCAS
Mario di Bernardo, Elisa Maini, Antonio Manzalini, Nicola Mazzocca
2013 — conf
A Compositional Modelling Approach for Large Sensor Networks Design.
3PGCIC
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
2013 — conf
A System for Semantic-Based Access Control.
3PGCIC
Flora Amato, Nicola Mazzocca, Giuseppe De Pietro, Massimo Esposito
2013 J jnl
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
CoRR
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2013 J jnl
A semantic approach for fine-grain access control of e-health documents.
Log. J. IGPL
Flora Amato, Valentina Casola, Nicola Mazzocca, Sara Romano
2013 J jnl
A smart decision support systems based on a fast classifier and a semantic post reasoner.
Int. J. Syst. Syst. Eng.
Flora Amato, Valentina Casola, Mariana Esposito, Antonino Mazzeo, Nicola Mazzocca
2013 — conf
An integrated lifetime and network quality model of large WSNs.
M&N
Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2013 J jnl
Automatic instantiation of abstract tests on specific configurations for large critical control systems
CoRR
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
2013 J jnl
Design space exploration for high-level synthesis of multi-threaded applications.
J. Syst. Archit.
Alessandro Cilardo, Luca Gallo, Nicola Mazzocca
2013 Misc conf
Developing Secure Cloud Applications: A Case Study.
SYNASC
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak
2013 A conf
Efficient and scalable OpenMP-based system-level design.
DATE
Alessandro Cilardo, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca
2013 — conf
Empty Vehicle Detection with Video Analytics.
ICIAP (2)
Francesco Buemi, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, Marcella Spirito
2013 J jnl
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf.
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
2013 J jnl
Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware.
IEEE Trans. Inf. Forensics Secur.
Alessandro Cilardo, Nicola Mazzocca
2013 — conf
Exploring a New Dimension in Code Mobility for Ubiquitous Embedded Systems.
UIC/ATC
Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto
2013 Misc conf
Manifesto of edge ICT fabric.
ICIN
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, Didier Colle, Ricard Vilalta, Raul Muñoz, Ramon Casellas, Ricardo Martínez, Nicola Mazzocca, Elisa Maini
2013 — conf
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks.
UIC/ATC
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
2013 — conf
On the Adoption of FPGA for Protecting Cyber Physical Infrastructures.
3PGCIC
Mario Barbareschi, Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca
2013 B conf
Performance Evaluation of Video Analytics for Surveillance On-Board Trains.
ACIVS
Valentina Casola, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola
2013 J jnl
SIREN: a feasible moving target defence framework for securing resource-constrained embedded nodes.
Int. J. Crit. Comput. Based Syst.
Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca
2013 J jnl
SeNsiM-SEC: secure sensor networks integration to monitor rail freight transport.
Int. J. Syst. Syst. Eng.
Valentina Casola, Alessandra De Benedictis, Annarita Drago, Nicola Mazzocca
2013 — conf
TrustedSIM: Towards Unified Mobile Security.
UIC/ATC
Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino
2013 — conf
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
CD-ARES Workshops
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2013 J jnl
Vulnerability modeling and analysis for critical infrastructure protection applications.
Int. J. Crit. Infrastructure Prot.
Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
2012 J jnl
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets Other Model. Concurr.
Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
2012 Misc conf
CloSe: A Cloud SaaS for Semantic Document Composition.
CISIS
Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano
2012 — conf
Freight Train monitoring: A Case-Study for the pSHIELD Project.
IMIS
Valentina Casola, Mariana Esposito, Nicola Mazzocca, Francesco Flammini
2012 — conf
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.
ISoLA (2)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2012 J jnl
Performance Analysis of an OCSP-Based Authentication Protocol for VANETs.
Int. J. Adapt. Resilient Auton. Syst.
Jetzabel Serna-Olvera, Valentina Casola, Massimiliano Rak, Jesus Luna, Manel Medina, Nicola Mazzocca
2012 J jnl
Solution Workflows for Model-Based Analysis of Complex Systems.
IEEE Trans Autom. Sci. Eng.
Francesco Moscato, Valeria Vittorini, Flora Amato, Antonino Mazzeo, Nicola Mazzocca
2011 Misc conf
A Semantic-based Document Processing Framework: A Security Perspective.
CISIS
Flora Amato, Valentina Casola, Nicola Mazzocca, Sara Romano
2011 — conf
A simulation framework for supporting design and real-time decisional phases in railway systems.
ITSC
Egidio Quaglietta, Luca D'Acierno, Vincenzo Punzo, Roberto Nardone, Nicola Mazzocca
2011 B conf
An Integrated Approach for Availability and QoS Evaluation in Railway Systems.
SAFECOMP
Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo
2011 — conf
Analysis and Comparison of Security Protocols in Wireless Sensor Networks.
SRDS Workshops
Valentina Casola, Alessandra De Benedictis, Annarita Drago, Nicola Mazzocca
2011 B conf
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection.
ARES
Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2011 C conf
Petri Net Modelling of Physical Vulnerability.
CRITIS
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2011 B conf
Revisiting Application-Dependent Test for FPGA Devices.
ETS
Alessandro Cilardo, Carmelo Lofiego, Antonino Mazzeo, Nicola Mazzocca
2010 J jnl
Multiformalism techniques for critical infrastructure modelling.
Int. J. Syst. Syst. Eng.
Francesco Flammini, Nicola Mazzocca, Francesco Moscato, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2010 C conf
Securing a tiered re-taskable sensing system.
IAS
Alessandra De Benedictis, Andrea Gaglione, Nicola Mazzocca
2009 J jnl
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Reliab. Eng. Syst. Saf.
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2009 — conf
An AHP-Based Framework for Quality and Security Evaluation.
CSE (3)
Valentina Casola, Anna Rita Fasolino, Nicola Mazzocca, Porfirio Tramontana
2009 J jnl
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test. Verification Reliab.
Francesco Flammini, Nicola Mazzocca, Antonio Orazzo
2008 C conf
A Study on Multiformalism Modeling of Critical Infrastructures.
CRITIS
Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola
2008 C conf
An Agent-Based Approach for Distributed Execution of Composite Web Services.
WETICE
Rosa Anna Micillo, Salvatore Venticinque, Nicola Mazzocca, Rocco Aversa
2008 J jnl
An Agents Based Middleware for Personalization of Multimedia Service Delivery in SOAs.
J. Mobile Multimedia
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2008 J jnl
New Paradigms and Tools for High-Assurance Systems Modelling.
ERCIM News
Francesco Flammini, Nicola Mazzocca, Valeria Vittorini
2008 J jnl
Proxy Agents for Adaptive Delivery of Multimedia.
J. Mobile Multimedia
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2008 C conf
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.
CRITIS
Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola
2008 J jnl
Self-optimization of secure web services.
Comput. Commun.
Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano
2008 Misc conf
Testing Complex Safety-Critical Systems in SOA Context.
CISIS
Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque
2008 — conf
Time Efficient Dual-Field Unit for Cryptography-Related Processing.
VLSI-SoC (Selected Papers)
Alessandro Cilardo, Nicola Mazzocca
2008 C conf
Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems.
DSD
Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino
2008 Misc conf
Wireless Sensor Data Fusion for Critical Infrastructure Security.
CISIS
Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Vincenzo Moscato, Concetta Pragliola
2007 J jnl
A Mobile Agents based Infrastructure to deliver value added services in SOAs.
Scalable Comput. Pract. Exp.
Rocco Aversa, Beniamino Di Martino, Salvatore Venticinque, Nicola Mazzocca
2007 A conf
A policy-based evaluation framework for Quality and Security in Service Oriented Architectures.
ICWS
Valentina Casola, Anna Rita Fasolino, Nicola Mazzocca, Porfirio Tramontana
2007 J jnl
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures.
J. Comput. Secur.
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
2007 C conf
Automatic Analysis of Control Flow inWeb Services Composition Processes.
PDP
Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2007 — conf
Automatic and Dynamic Composition of Web Services Using Ontologies.
AWIC
Nicola Mazzocca, Rosa Anna Micillo, Salvatore Venticinque
2007 C conf
Building Autonomic and Secure Service Oriented Architectures with MAWeS.
ATC
Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano
2007 C conf
Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal.
GPC
Valentina Casola, Jesus Luna, Oscar Manso, Nicola Mazzocca, Manel Medina, Massimiliano Rak
2007 C conf
Optimizing secure Web Services with MAWeS: A case study.
SecureComm
Massimiliano Rak, Valentina Casola, Nicola Mazzocca, Emilio Pasquale Mancini, Umberto Villano
2007 B conf
Static evaluation of Certificate Policies for GRID PKIs interoperability.
ARES
Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina
2007 J jnl
Towards Semantics Driven Generation of Executable Web Services Compositions.
J. Softw.
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
2007 C conf
Web Services workflow reliability estimation through reliability patterns.
SecureComm
Luigi Coppolino, Luigi Romano, Nicola Mazzocca, Sergio Salvi
2006 — ch.
A SLA evaluation methodology in Service Oriented Architectures.
Quality of Protection
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak
2006 — conf
Design and implementation of TruMan, a Trust Manager Component for Distributed Systems.
SecPerU
Valentina Casola, Luigi Coppolino, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak
2006 J jnl
Elliptic Curve Cryptography Engineering.
Proc. IEEE
Alessandro Cilardo, Luigi Coppolino, Nicola Mazzocca, Luigi Romano
2006 J jnl
MAGDA: A Mobile Agent based Grid Architecture.
J. Grid Comput.
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2006 — conf
UML Based Reverse Engineering for the Verification of Railway Control Logics.
DepCoS-RELCOMEX
Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero
2006 C conf
Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure.
ISPDC
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2005 A conf
A Novel Unified Architecture for Public-Key Cryptography.
DATE
Alessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano
2005 J jnl
A hierarchical distributed-shared memory parallel Branch & Bound application with PVM and OpenMP for multiprocessor clusters.
Parallel Comput.
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2005 — conf
An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures.
EuroPKI
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak
2005 — conf
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
QEST
Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2005 C conf
Performance-Driven Development of a Web Services Application using MetaPL/HeSSE.
PDP
Emilio Mancini, Umberto Villano, Nicola Mazzocca, Massimiliano Rak, Roberto Torella
2005 A conf
Reconfigurable systems self-healing using mobile hardware agents.
ITC
Alfredo Benso, Alessandro Cilardo, Nicola Mazzocca, Liviu Miclea, Paolo Prinetto, Szilárd Enyedi
2005 — conf
Security Design and Evaluation in a VoIP Secure Infrastracture: A Policy Based Approach.
ITCC (1)
Valentina Casola, Massimiliano Rak, Antonino Mazzeo, Nicola Mazzocca
2005 — conf
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.
HASE
Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone
2005 C conf
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.
HPCC
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi
2004 — conf
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
PARA
Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
2004 — conf
A Policy-Based Design Methodology and Performance Evaluation Framework for a Secure VoIP Infrastructure.
ICETE (2)
Valentina Casola, Raffaele Chianese, Nicola Mazzocca, Massimiliano Rak, Antonino Mazzeo
2004 J jnl
A tamper resistant hardware accelerator for RSA cryptographic applications.
J. Syst. Archit.
Giacinto Paolo Saggese, Luigi Romano, Nicola Mazzocca, Antonino Mazzeo
2004 — conf
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
ICATPN
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2004 — conf
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture.
PARA
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque
2004 J jnl
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks.
J. Intell. Manuf.
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
2004 — conf
Performance Analysis of Hybrid OpenMP/MPI N-Body Application.
WOMPAT
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2004 C conf
Terminal-Aware Grid Resource and Service Discovery and Access Based on Mobile Agents Technology.
PDP
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2004 J jnl
The OsMoSys approach to multi-formalism modeling of systems.
Softw. Syst. Model.
Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
2004 C conf
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
PDP
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2003 J jnl
A Case Study of Application Analytical Modeling in Heterogeneous Computing Environments: Cholesky Factorization in a NOW.
J. Supercomput.
Rocco Aversa, Nicola Mazzocca, Umberto Villano
2003 — conf
A resource discovery service for a mobile agents based grid infrastructure.
CE
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2003 B conf
An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining of the AES Algorithm.
FPL
Giacinto Paolo Saggese, Antonino Mazzeo, Nicola Mazzocca, Antonio G. M. Strollo
2003 — conf
An automatic classification technique and tool for information retrieval of web documents.
CE
Beniamino Di Martino, Nicola Mazzocca, Angela Squeglia, Antonino Mazzeo
2003 A conf
FPGA-Based Implementation of a Serial RSA Processor.
DATE
Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca
2003 — conf
Integrated Tools for Performance-Oriented Distributed Software Development.
Software Engineering Research and Practice
Nicola Mazzocca, Emilio Mancini, Massimiliano Rak, Umberto Villano
2003 C conf
MAGDA: a software environment for Mobile AGent based Distributed Applications.
PDP
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2003 C conf
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0.
PDP
Thomas Fahringer, Nicola Mazzocca, Massimiliano Rak, Sabri Pllana, Umberto Villano, Georg Madsen
2003 — conf
Policy based interoperability in distributed security infrastructures.
CE
Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini
2003 — conf
SWN client-server composition operators in the OsMoSys framework.
PNPM
Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2002 B conf
A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations.
FPL
Beniamino Di Martino, Nicola Mazzocca, Giacinto Paolo Saggese, Antonio G. M. Strollo
2002 J jnl
A fault tolerant access to legacy database systems using CORBA technology.
Comput. Syst. Sci. Eng.
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo
2002 — conf
A hierarchical approach for designing dependable systems.
HLDVT
Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis
2002 J jnl
Building a dependable system from a legacy application with CORBA.
J. Syst. Archit.
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo
2002 — conf
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Computer Performance Evaluation / TOOLS
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
2002 J jnl
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test. Verification Reliab.
Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
2002 — conf
Mobile Agent Programming for Clusterswith Parallel Skeletons.
VECPAR
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2002 — conf
Policy formalization to combine separate systems into larger connected network of trust.
Net-Con
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
2002 — conf
Shuffled serial adder: an area-latency effective serial adder.
ICECS
Giacinto Paolo Saggese, Antonio G. M. Strollo, Nicola Mazzocca, Davide De Caro
2002 — conf
The metaPL approach to the performance analysis of distributed software systems.
Workshop on Software and Performance
Nicola Mazzocca, Massimiliano Rak, Umberto Villano
2001 B conf
MetaPL: A Notation System for Parallel Program Description and Performance Analysis.
PaCT
Nicola Mazzocca, Massimiliano Rak, Umberto Villano
2001 — conf
Mobile Agents for Distributed and Dynamically Balanced Optimization Applications.
HPCN Europe
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque
2001 J jnl
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs.
Sci. Comput. Program.
Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
2001 C conf
Secure Access to Personalized Web Services.
PRDC
Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano
2001 — conf
Test pattern generator for hybrid testing of combinational circuits.
ICECS
Davide De Caro, Nicola Mazzocca, Ettore Napoli, Giacinto Paolo Saggese, Antonio G. M. Strollo
2000 — conf
A CORBA-Based Architecture for Adding Dependability to Legacy Servers.
PDSE
Domenico Cotroneo, Luigi Romano, Stefano Russo, Nicola Mazzocca
2000 C conf
A performance simulation technique for distributed programs: application to an SOR iterative solver.
PDP
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano
2000 C conf
Dependability analysis of transmission techniques for MPEG-2 streams.
PRDC
Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro
2000 Misc conf
Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application.
PDPTA
Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro
2000 Misc conf
High Load on Highly Available Systems.
PDPTA
Massimo Franceschetti, Nicola Mazzocca, G. Rotondi
2000 J jnl
Reducing Parallel Program Simulation Complexity by Static Analysis.
J. Supercomput.
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano
2000 — conf
Restructuring Irregular Computations for Distributed Systems Using Mobile Agents.
PARA
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca
2000 — conf
The Transition from a PVM Program Simulator to a Heterogeneous System Simulator: The HeSSE Project.
PVM/MPI
Nicola Mazzocca, Massimiliano Rak, Umberto Villano
1999 — conf
A Design Tool for Dependable Video on Demand Applications.
EUROMICRO
Luigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca
1999 C conf
A Simulated Fault Injection Tool for Dependable VoD Application Design.
PRDC
Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca
1999 B conf
Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization.
PaCT
Rocco Aversa, Nicola Mazzocca, Umberto Villano
1999 Misc conf
Reducing Parallel Program Simulation Complexity by Static Analysis.
PDPTA
Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca
1999 — conf
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication.
IWPC
Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1999 — conf
SECURE: A Simulation Tool for PKI Design.
CQRE
Luigi Romano, Antonino Mazzeo, Nicola Mazzocca
1999 — conf
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
PDSE
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
1998 — conf
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development .
IWPC
Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1998 J jnl
Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study.
Parallel Comput.
Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1998 J jnl
Efficiency measurements in heterogeneous distributed computing systems: from theory to practice.
Concurr. Pract. Exp.
Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1998 J jnl
Formal Specification of Concurrent Systems: A Structured Approach.
Comput. J.
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini
1998 J jnl
Heterogeneous system performance prediction and analysis using PS.
IEEE Concurr.
Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1997 J jnl
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.
Real Time Syst.
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 J jnl
A method for predictive performance of distributed programs.
Simul. Pract. Theory
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 — conf
An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study.
PVM/MPI
Rocco Aversa, Giulio Iannello, Nicola Mazzocca
1997 — conf
Distributed Coordination in Optimization Algorithms.
HPCN Europe
Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Stefano Russo
1997 J jnl
Formal methods integration for the specification of dependable distributed systems.
J. Syst. Archit.
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 — conf
Integrating Trace Logic and Petri Nets Specifications.
HICSS (1)
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 — conf
Interaction Patterns Detection in PVM Programs to Support Simulation.
PVM/MPI
Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1997 C conf
On the evaluation of efficiency in heterogeneous distributed systems.
PDP
Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1996 J jnl
Client - server programs analysis in the EPOCA environment.
Distributed Syst. Eng.
Susanna Donatelli, Nicola Mazzocca, Stefano Russo
1996 J jnl
Design of a simulator of heterogeneous computing environments.
Simul. Pract. Theory
Rocco Aversa, Nicola Mazzocca, Umberto Villano
1996 — conf
EPOCA: status and prospects.
Software Engineering for Parallel and Distributed Systems
Susanna Donatelli, Nicola Mazzocca, Stefano Russo
1996 — conf
The PS project: development of a simulator of PVM applications for heterogeneous and network computing.
Software Engineering for Parallel and Distributed Systems
Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1995 — conf
Paradigms for the Parallelization of Branch and Bound Algorithms.
PARA
Beniamino Di Martino, Nicola Mazzocca, Stefano Russo
1995 J jnl
Performance analysis of distributed memory computers with parallel node architecture.
J. Syst. Softw.
Giulio Iannello, Antonino Mazzeo, Nicola Mazzocca
1995 Misc conf
The Use of Simulation for Software Development in Heterogeneous Computing Environments.
PDPTA
Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano
1994 — conf
A Mapping Method for Distributed Hetergoneous Systems.
EUROSIM
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1994 J jnl
Communication Workload Analysis for Symmetric Concurrent Systems.
J. Parallel Distributed Comput.
Giulio Iannello, Nicola Mazzocca
1994 J jnl
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
1994 — conf
PS: a Simulator for Heterogeneous Computing Environments.
EUROSIM
Rocco Aversa, Nicola Mazzocca, Umberto Villano
1994 — conf
Software Architecture of the EPOCA Integrated Environment.
Computer Performance Evaluation
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
1992 — conf
Gate-Level Distributed Logic Simulation on Multicomputer Architecture.
EUROSIM
Antonino Mazzeo, Nicola Mazzocca, M. Tammaro