default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicola Mazzocca
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j82]Mario Barbareschi, Antonio Emmanuele
, Nicola Mazzocca, Franca Rocco di Torrepadula:
Designing on-board explainable passenger flow prediction. Eng. Appl. Artif. Intell. 139: 109648 (2025)- [j81]Francesco Vitale, Marco Pegoraro, Wil M. P. van der Aalst, Nicola Mazzocca:
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction. Knowl. Based Syst. 310: 112970 (2025) - [j80]Franca Rocco di Torrepadula, Alessandra Somma, Alessandra De Benedictis, Nicola Mazzocca:
Smart Ecosystems and Digital Twins: An Architectural Perspective and a FIWARE-Based Solution. IEEE Softw. 42(2): 38-46 (2025) - [j79]Francesco Vitale, Simone Guarino, Francesco Flammini, Luca Faramondi, Nicola Mazzocca, Roberto Setola:
Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems. IEEE Trans. Ind. Informatics 21(1): 866-875 (2025) - [i6]Francesco Vitale, Marco Pegoraro, Wil M. P. van der Aalst, Nicola Mazzocca:
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction. CoRR abs/2502.10211 (2025) - 2024
- [j78]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: 109166 (2024) - [j77]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): 121949 (2024) - [j76]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: 103857 (2024) - [j75]Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi:
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique. J. Syst. Archit. 150: 103112 (2024) - [j74]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): 48:1-48:25 (2024) - [c137]Mario Barbareschi, Salvatore Barone, Antonio Emmanuele, Nicola Mazzocca:
Exploiting Functional Approximation on Decision-Tree Based Multiple Classifier Systems. VLSI-SoC 2024: 1-4 - 2023
- [j73]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: 100993 (2023) - [j72]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): 534-567 (2023) - [j71]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): 70-81 (2023) - [j70]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): 11553-11563 (2023) - [j69]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): 5143-5154 (2023) - [c136]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: 75-88 - [c135]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: 497-504 - [c134]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: 51-58 - [c133]Sergio Di Martino, Nicola Mazzocca, Franca Rocco di Torrepadula, Luigi Libero Lucio Starace:
Mobility Data Analytics with KNOT: The KNime mObility Toolkit. W2GIS 2023: 95-104 - 2022
- [j68]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): 35-47 (2022) - [c132]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: 239-249 - [c131]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: 93-107 - 2021
- [j67]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: 75446-75459 (2021) - [j66]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): 12724-12733 (2021) - [j65]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): 1577-1596 (2021) - [j64]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): 4955 (2021) - [j63]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): 7781-7790 (2021) - [j62]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): 67:1-67:22 (2021) - [i5]Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca:
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT. CoRR abs/2112.15404 (2021) - 2020
- [j61]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: 393-400 (2020) - [j60]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) - [j59]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): 1455-1474 (2020)
2010 – 2019
- 2019
- [j58]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: 246-261 (2019) - [j57]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): 523-556 (2019) - [c130]Mario Barbareschi, Salvatore Barone, Antonino Mazzeo, Nicola Mazzocca:
Efficient Reed-Muller Implementation for Fuzzy Extractor Schemes. DTIS 2019: 1-2 - [c129]Mario Barbareschi, Alessandra De Benedictis, Erasmo La Montagna, Antonino Mazzeo, Nicola Mazzocca:
PUF-Enabled Authentication-as-a-Service in Fog-IoT Systems. WETICE 2019: 58-63 - 2018
- [j56]Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto:
An abstraction layer enabling pervasive hardware-reconfigurable systems. Int. J. Embed. Syst. 10(5): 366-377 (2018) - [j55]Flora Amato, Nicola Mazzocca, Francesco Moscato:
Model driven design and evaluation of security level in orchestrated cloud services. J. Netw. Comput. Appl. 106: 78-89 (2018) - [j54]Mario Barbareschi, Alessandra De Benedictis, Nicola Mazzocca:
A PUF-based hardware mutual authentication protocol. J. Parallel Distributed Comput. 119: 107-120 (2018) - [c128]Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini:
Automatic generation of formal models for diagnosability of DES. ETFA 2018: 43-48 - [c127]Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque:
A Model-Based Evaluation Methodology for Smart Energy Systems. SMARTCOMP 2018: 187-194 - 2017
- [j53]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: 116-153 (2017) - [c126]Flora Amato, Giovanni Cozzolino, Antonino Mazzeo, Nicola Mazzocca:
Correlation of Digital Evidences in Forensic Investigation through Semantic Technologies. AINA Workshops 2017: 668-673 - [c125]Flora Amato, Nicola Mazzocca, Francesco Moscato, Emilio Vivenzio:
Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection. AINA Workshops 2017: 686-691 - [c124]Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa:
A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services. EIDWT 2017: 645-656 - [c123]Flora Amato, Nicola Mazzocca, Francesco Moscato, Fatos Xhafa:
Multi-agent Collaborative Planning in Smart Environments. INCoS 2017: 250-261 - [c122]Flora Amato, Aniello Castiglione, Nicola Mazzocca, Francesco Moscato, Vincenzo Moscato:
OFL: A Language for Cloud Orchestration. ISPA/IUCC 2017: 1404-1409 - 2016
- [j52]Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone:
Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. 7(4): 257-271 (2016) - [c121]Flora Amato, Nicola Mazzocca, Francesco Moscato:
Self Planning in Critical Multi-Agent Systems. 3PGCIC 2016: 315-324 - [c120]Flora Amato, Giovanni Cozzolino, Nicola Mazzocca:
Semantic Integration and Correlation of Digital Evidences in Forensic Investigations. 3PGCIC 2016: 415-424 - [c119]Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Francesco Moscato:
A Formal Model for Autonomous Planning in High Performance Systems. EUSPN/ICTH 2016: 503-508 - [p2]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. Recent Advances in Computational Intelligence in Defense and Security 2016: 71-100 - 2015
- [j51]Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano:
Semantically driven documents composition in CloSe cloud system. Int. J. Comput. Sci. Eng. 11(1): 68-77 (2015) - [j50]Flora Amato, Giuseppe De Pietro, Massimo Esposito, Nicola Mazzocca:
An integrated framework for securing semi-structured health records. Knowl. Based Syst. 79: 99-117 (2015) - [c118]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: 527-532 - [c117]Mario Barbareschi, Ermanno Battista, Antonino Mazzeo, Nicola Mazzocca:
Testing 90 nm microcontroller SRAM PUF quality. DTIS 2015: 1-6 - [c116]Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
Modeling Railway Control Systems in Promela. FTSCS 2015: 121-136 - [c115]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: 562-571 - 2014
- [j49]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): 157-170 (2014) - [j48]Alessandro Cilardo, Dario Socci, Nicola Mazzocca:
ASP-based optimized mapping in a simulink-to-MPSoC design flow. J. Syst. Archit. 60(1): 108-118 (2014) - [j47]Massimiliano Rak, Massimo Ficco, Ermanno Battista, Valentina Casola, Nicola Mazzocca:
Developing Secure Cloud Applications. Scalable Comput. Pract. Exp. 15(1) (2014) - [j46]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): 669-683 (2014) - [j45]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. 61-I(12): 3426-3435 (2014) - [c114]Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone:
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC 2014: 394-399 - [c113]Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque:
A Semantic Support for Testing Activities of Safety-Critical Embedded Systems. CISIS 2014: 576-581 - [c112]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: 93-109 - [c111]Mario Barbareschi, Ermanno Battista, Nicola Mazzocca, Sridhar Venkatesan:
A hardware accelerator for data classification within the sensing infrastructure. IRI 2014: 400-405 - [c110]Mario di Bernardo, Elisa Maini, Antonio Manzalini, Nicola Mazzocca:
Traffic dynamics and vulnerability in hypercube communication networks. ISCAS 2014: 2221-2224 - [c109]Elisa Maini, Nicola Mazzocca:
A compositional modelling approach for live migration in Software Defined Networks. NOF 2014: 1-6 - [c108]Stuart Clayman, Elisa Maini, Alex Galis, Antonio Manzalini, Nicola Mazzocca:
The dynamic placement of virtual network functions. NOMS 2014: 1-9 - [c107]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: 147-156 - [i4]Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco:
Semantic Support for Log Analysis of Safety-Critical Embedded Systems. CoRR abs/1405.2986 (2014) - 2013
- [j44]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): 692-701 (2013) - [j43]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): 374-392 (2013) - [j42]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): 217-227 (2013) - [j41]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): 291-316 (2013) - [j40]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): 317-336 (2013) - [j39]Alessandro Cilardo, Luca Gallo, Nicola Mazzocca:
Design space exploration for high-level synthesis of multi-threaded applications. J. Syst. Archit. 59(10-D): 1171-1183 (2013) - [j38]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: 112-126 (2013) - [j37]Alessandro Cilardo, Nicola Mazzocca:
Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware. IEEE Trans. Inf. Forensics Secur. 8(5): 810-820 (2013) - [c106]Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone:
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC 2013: 422-429 - [c105]Mario Barbareschi, Ermanno Battista, Valentina Casola, Antonino Mazzeo, Nicola Mazzocca:
On the Adoption of FPGA for Protecting Cyber Physical Infrastructures. 3PGCIC 2013: 430-435 - [c104]Flora Amato, Nicola Mazzocca, Giuseppe De Pietro, Massimo Esposito:
A System for Semantic-Based Access Control. 3PGCIC 2013: 442-446 - [c103]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: 442-456 - [c102]Valentina Casola, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola:
Performance Evaluation of Video Analytics for Surveillance On-Board Trains. ACIVS 2013: 414-425 - [c101]Alessandro Cilardo, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca:
Efficient and scalable OpenMP-based system-level design. DATE 2013: 988-991 - [c100]Francesco Buemi, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, Marcella Spirito:
Empty Vehicle Detection with Video Analytics. ICIAP (2) 2013: 731-739 - [c99]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:
Manifesto of edge ICT fabric. ICIN 2013: 9-15 - [c98]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: 132-137 - [c97]Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak:
Developing Secure Cloud Applications: A Case Study. SYNASC 2013: 432-439 - [c96]Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto:
Exploring a New Dimension in Code Mobility for Ubiquitous Embedded Systems. UIC/ATC 2013: 56-63 - [c95]Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini:
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC 2013: 380-387 - [c94]Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino:
TrustedSIM: Towards Unified Mobile Security. UIC/ATC 2013: 563-568 - [i3]Francesco Flammini, Nicola Mazzocca, Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems. CoRR abs/1303.2966 (2013) - [i2]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 abs/1304.6656 (2013) - 2012
- [j36]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): 19-45 (2012) - [j35]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): 83-95 (2012) - [j34]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: 308-333 (2012) - [c93]Flora Amato, Antonino Mazzeo, Nicola Mazzocca, Sara Romano:
CloSe: A Cloud SaaS for Semantic Document Composition. CISIS 2012: 781-786 - [c92]Valentina Casola, Mariana Esposito, Nicola Mazzocca, Francesco Flammini:
Freight Train monitoring: A Case-Study for the pSHIELD Project. IMIS 2012: 597-602 - [c91]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: 190-204 - 2011
- [c90]Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini:
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES 2011: 191-204 - [c89]Flora Amato, Valentina Casola, Nicola Mazzocca, Sara Romano:
A Semantic-based Document Processing Framework: A Security Perspective. CISIS 2011: 197-202 - [c88]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Petri Net Modelling of Physical Vulnerability. CRITIS 2011: 128-139 - [c87]Alessandro Cilardo, Carmelo Lofiego, Antonino Mazzeo, Nicola Mazzocca:
Revisiting Application-Dependent Test for FPGA Devices. ETS 2011: 213 - [c86]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: 846-851 - [c85]Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo:
An Integrated Approach for Availability and QoS Evaluation in Railway Systems. SAFECOMP 2011: 171-184 - [c84]Valentina Casola, Alessandra De Benedictis, Annarita Drago, Nicola Mazzocca:
Analysis and Comparison of Security Protocols in Wireless Sensor Networks. SRDS Workshops 2011: 52-56 - 2010
- [j33]Francesco Flammini, Nicola Mazzocca, Francesco Moscato, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini:
Multiformalism techniques for critical infrastructure modelling. Int. J. Syst. Syst. Eng. 2(1): 19-37 (2010) - [c83]Alessandra De Benedictis, Andrea Gaglione, Nicola Mazzocca:
Securing a tiered re-taskable sensing system. IAS 2010: 260-264
2000 – 2009
- 2009
- [j32]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. Reliab. Eng. Syst. Saf. 94(9): 1422-1432 (2009) - [j31]Francesco Flammini, Nicola Mazzocca, Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems. Softw. Test. Verification Reliab. 19(2): 91-110 (2009) - [c82]Valentina Casola, Anna Rita Fasolino, Nicola Mazzocca, Porfirio Tramontana:
An AHP-Based Framework for Quality and Security Evaluation. CSE (3) 2009: 405-411 - 2008
- [j30]Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
Self-optimization of secure web services. Comput. Commun. 31(18): 4312-4323 (2008) - [j29]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
An Agents Based Middleware for Personalization of Multimedia Service Delivery in SOAs. J. Mobile Multimedia 4(1): 2-18 (2008) - [j28]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Proxy Agents for Adaptive Delivery of Multimedia. J. Mobile Multimedia 4(3&4): 227-240 (2008) - [c81]Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque:
Testing Complex Safety-Critical Systems in SOA Context. CISIS 2008: 87-93 - [c80]Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Vincenzo Moscato, Concetta Pragliola:
Wireless Sensor Data Fusion for Critical Infrastructure Security. CISIS 2008: 92-99 - [c79]Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola:
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. CRITIS 2008: 180-189 - [c78]Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola:
A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343 - [c77]Alessandro Cilardo, Nicola Mazzocca, Luigi Coppolino:
Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems. DSD 2008: 360-366 - [c76]Alessandro Cilardo, Nicola Mazzocca:
Time Efficient Dual-Field Unit for Cryptography-Related Processing. VLSI-SoC (Selected Papers) 2008: 191-210 - [c75]Rosa Anna Micillo, Salvatore Venticinque, Nicola Mazzocca, Rocco Aversa:
An Agent-Based Approach for Distributed Execution of Composite Web Services. WETICE 2008: 18-23 - [i1]Francesco Flammini, Nicola Mazzocca, Valeria Vittorini:
New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008(75) (2008) - 2007
- [j27]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini:
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. J. Comput. Secur. 15(2): 197-229 (2007) - [j26]Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini:
Towards Semantics Driven Generation of Executable Web Services Compositions. J. Softw. 2(5): 1-15 (2007) - [j25]Rocco Aversa, Beniamino Di Martino, Salvatore Venticinque, Nicola Mazzocca:
A Mobile Agents based Infrastructure to deliver value added services in SOAs. Scalable Comput. Pract. Exp. 8(3) (2007) - [c74]Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina:
Static evaluation of Certificate Policies for GRID PKIs interoperability. ARES 2007: 391-399 - [c73]Valentina Casola, Emilio Pasquale Mancini, Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
Building Autonomic and Secure Service Oriented Architectures with MAWeS. ATC 2007: 82-93 - [c72]Nicola Mazzocca, Rosa Anna Micillo, Salvatore Venticinque:
Automatic and Dynamic Composition of Web Services Using Ontologies. AWIC 2007: 230-235 - [c71]Valentina Casola, Jesus Luna, Oscar Manso, Nicola Mazzocca, Manel Medina, Massimiliano Rak:
Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal. GPC 2007: 39-51 - [c70]Valentina Casola, Anna Rita Fasolino, Nicola Mazzocca, Porfirio Tramontana:
A policy-based evaluation framework for Quality and Security in Service Oriented Architectures. ICWS 2007: 1181-1190 - [c69]Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini:
Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306 - [c68]Luigi Coppolino, Luigi Romano, Nicola Mazzocca, Sergio Salvi:
Web Services workflow reliability estimation through reliability patterns. SecureComm 2007: 107-115 - [c67]Massimiliano Rak, Valentina Casola, Nicola Mazzocca, Emilio Pasquale Mancini, Umberto Villano:
Optimizing secure Web Services with MAWeS: A case study. SecureComm 2007: 144-153 - 2006
- [j24]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
MAGDA: A Mobile Agent based Grid Architecture. J. Grid Comput. 4(4): 395-412 (2006) - [j23]Alessandro Cilardo, Luigi Coppolino, Nicola Mazzocca, Luigi Romano:
Elliptic Curve Cryptography Engineering. Proc. IEEE 94(2): 395-406 (2006) - [c66]Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero:
UML Based Reverse Engineering for the Verification of Railway Control Logics. DepCoS-RELCOMEX 2006: 3-10 - [c65]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Web Services Composition and Delivery Using a Mobile Agents Based Infrastructure. ISPDC 2006: 337-344 - [c64]Valentina Casola, Luigi Coppolino, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak:
Design and implementation of TruMan, a Trust Manager Component for Distributed Systems. SecPerU 2006: 34-40 - [p1]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak:
A SLA evaluation methodology in Service Oriented Architectures. Quality of Protection 2006: 119-130 - 2005
- [j22]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
A hierarchical distributed-shared memory parallel Branch & Bound application with PVM and OpenMP for multiprocessor clusters. Parallel Comput. 31(10-12): 1034-1047 (2005) - [c63]Alessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano:
A Novel Unified Architecture for Public-Key Cryptography. DATE 2005: 52-57 - [c62]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak:
An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures. EuroPKI 2005: 100-117 - [c61]Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone:
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE 2005: 163-172 - [c60]Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi:
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. HPCC 2005: 395-400 - [c59]Alfredo Benso, Alessandro Cilardo, Nicola Mazzocca, Liviu Miclea, Paolo Prinetto, Szilárd Enyedi:
Reconfigurable systems self-healing using mobile hardware agents. ITC 2005: 9 - [c58]Valentina Casola, Massimiliano Rak, Antonino Mazzeo, Nicola Mazzocca:
Security Design and Evaluation in a VoIP Secure Infrastracture: A Policy Based Approach. ITCC (1) 2005: 727-732 - [c57]Emilio Mancini, Umberto Villano, Nicola Mazzocca, Massimiliano Rak, Roberto Torella:
Performance-Driven Development of a Web Services Application using MetaPL/HeSSE. PDP 2005: 12-19 - [c56]Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94 - 2004
- [j21]Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca:
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. J. Intell. Manuf. 15(3): 351-371 (2004) - [j20]Giacinto Paolo Saggese, Luigi Romano, Nicola Mazzocca, Antonino Mazzeo:
A tamper resistant hardware accelerator for RSA cryptographic applications. J. Syst. Archit. 50(12): 711-727 (2004) - [j19]Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis:
The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. 3(1): 68-81 (2004) - [c55]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c54]Valentina Casola, Raffaele Chianese, Nicola Mazzocca, Massimiliano Rak, Antonino Mazzeo:
A Policy-Based Design Methodology and Performance Evaluation Framework for a Secure VoIP Infrastructure. ICETE (2) 2004: 209-215 - [c53]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque:
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture. PARA 2004: 454-463 - [c52]Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini:
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA 2004: 499-508 - [c51]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Terminal-Aware Grid Resource and Service Discovery and Access Based on Mobile Agents Technology. PDP 2004: 40- - [c50]Francesco Moscato, Nicola Mazzocca, Valeria Vittorini:
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134- - [c49]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Performance Analysis of Hybrid OpenMP/MPI N-Body Application. WOMPAT 2004: 12-18 - 2003
- [j18]Rocco Aversa, Nicola Mazzocca, Umberto Villano:
A Case Study of Application Analytical Modeling in Heterogeneous Computing Environments: Cholesky Factorization in a NOW. J. Supercomput. 24(1): 5-24 (2003) - [c48]Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca:
FPGA-Based Implementation of a Serial RSA Processor. DATE 2003: 10582-10589 - [c47]Giacinto Paolo Saggese, Antonino Mazzeo, Nicola Mazzocca, Antonio G. M. Strollo:
An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining of the AES Algorithm. FPL 2003: 292-302 - [c46]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
A resource discovery service for a mobile agents based grid infrastructure. CE 2003: 1011-1017 - [c45]Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini:
Policy based interoperability in distributed security infrastructures. CE 2003: 1027-1034 - [c44]Beniamino Di Martino, Nicola Mazzocca, Angela Squeglia, Antonino Mazzeo:
An automatic classification technique and tool for information retrieval of web documents. CE 2003: 1043-1050 - [c43]Thomas Fahringer, Nicola Mazzocca, Massimiliano Rak, Sabri Pllana, Umberto Villano, Georg Madsen:
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0. PDP 2003: 5-12 - [c42]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
MAGDA: a software environment for Mobile AGent based Distributed Applications. PDP 2003: 332- - [c41]Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
SWN client-server composition operators in the OsMoSys framework. PNPM 2003: 52-61 - [c40]Nicola Mazzocca, Emilio Mancini, Massimiliano Rak, Umberto Villano:
Integrated Tools for Performance-Oriented Distributed Software Development. Software Engineering Research and Practice 2003: 88-94 - 2002
- [j17]Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo:
A fault tolerant access to legacy database systems using CORBA technology. Comput. Syst. Sci. Eng. 17(6): 335-342 (2002) - [j16]Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, Stefano Russo:
Building a dependable system from a legacy application with CORBA. J. Syst. Archit. 48(1-3): 81-98 (2002) - [j15]Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12(1): 3-21 (2002) - [c39]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS 2002: 233-238 - [c38]Beniamino Di Martino, Nicola Mazzocca, Giacinto Paolo Saggese, Antonio G. M. Strollo:
A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations. FPL 2002: 47-58 - [c37]Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis:
A hierarchical approach for designing dependable systems. HLDVT 2002: 63-68 - [c36]Giacinto Paolo Saggese, Antonio G. M. Strollo, Nicola Mazzocca, Davide De Caro:
Shuffled serial adder: an area-latency effective serial adder. ICECS 2002: 607-610 - [c35]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini:
Policy formalization to combine separate systems into larger connected network of trust. Net-Con 2002: 425-430 - [c34]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Mobile Agent Programming for Clusterswith Parallel Skeletons. VECPAR 2002: 622-634 - [c33]Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
The metaPL approach to the performance analysis of distributed software systems. Workshop on Software and Performance 2002: 142-149 - 2001
- [j14]Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs. Sci. Comput. Program. 40(2-3): 235-263 (2001) - [c32]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque:
Mobile Agents for Distributed and Dynamically Balanced Optimization Applications. HPCN Europe 2001: 161-172 - [c31]Davide De Caro, Nicola Mazzocca, Ettore Napoli, Giacinto Paolo Saggese, Antonio G. M. Strollo:
Test pattern generator for hybrid testing of combinational circuits. ICECS 2001: 745-748 - [c30]Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
MetaPL: A Notation System for Parallel Program Description and Performance Analysis. PaCT 2001: 80-93 - [c29]Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano:
Secure Access to Personalized Web Services. PRDC 2001: 266-272 - 2000
- [j13]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano:
Reducing Parallel Program Simulation Complexity by Static Analysis. J. Supercomput. 17(3): 299-310 (2000) - [c28]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca:
Restructuring Irregular Computations for Distributed Systems Using Mobile Agents. PARA 2000: 223-232 - [c27]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano:
A performance simulation technique for distributed programs: application to an SOR iterative solver. PDP 2000: 368-375 - [c26]Massimo Franceschetti, Nicola Mazzocca, G. Rotondi:
High Load on Highly Available Systems. PDPTA 2000 - [c25]Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro:
Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. PDPTA 2000 - [c24]Domenico Cotroneo, Luigi Romano, Stefano Russo, Nicola Mazzocca:
A CORBA-Based Architecture for Adding Dependability to Legacy Servers. PDSE 2000: 76-82 - [c23]Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro:
Dependability analysis of transmission techniques for MPEG-2 streams. PRDC 2000: 120-127 - [c22]Nicola Mazzocca, Massimiliano Rak, Umberto Villano:
The Transition from a PVM Program Simulator to a Heterogeneous System Simulator: The HeSSE Project. PVM/MPI 2000: 266-273
1990 – 1999
- 1999
- [c21]Luigi Romano, Antonino Mazzeo, Nicola Mazzocca:
SECURE: A Simulation Tool for PKI Design. CQRE 1999: 17-29 - [c20]Luigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca:
A Design Tool for Dependable Video on Demand Applications. EUROMICRO 1999: 2150- - [c19]Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication. IWPC 1999: 84-91 - [c18]Rocco Aversa, Nicola Mazzocca, Umberto Villano:
Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization. PaCT 1999: 1-12 - [c17]Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca:
Reducing Parallel Program Simulation Complexity by Static Analysis. PDPTA 1999: 627-633 - [c16]Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca:
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE 1999: 110-123 - [c15]Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca:
A Simulated Fault Injection Tool for Dependable VoD Application Design. PRDC 1999: 170-177 - 1998
- [j12]Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini:
Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41(3): 145-162 (1998) - [j11]Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Efficiency measurements in heterogeneous distributed computing systems: from theory to practice. Concurr. Pract. Exp. 10(4): 285-313 (1998) - [j10]Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Heterogeneous system performance prediction and analysis using PS. IEEE Concurr. 6(3): 20-29 (1998) - [j9]Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study. Parallel Comput. 24(5-6): 741-761 (1998) - [c14]Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development . IWPC 1998: 206-213 - 1997
- [j8]Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
Formal methods integration for the specification of dependable distributed systems. J. Syst. Archit. 43(10): 671-685 (1997) - [j7]Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. Real Time Syst. 13(3): 219-236 (1997) - [j6]Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
A method for predictive performance of distributed programs. Simul. Pract. Theory 5(1): 65-82 (1997) - [c13]Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451 - [c12]Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Stefano Russo:
Distributed Coordination in Optimization Algorithms. HPCN Europe 1997: 1024-1025 - [c11]Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
On the evaluation of efficiency in heterogeneous distributed systems. PDP 1997: 54-59 - [c10]Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Interaction Patterns Detection in PVM Programs to Support Simulation. PVM/MPI 1997: 250-256 - [c9]Rocco Aversa, Giulio Iannello, Nicola Mazzocca:
An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study. PVM/MPI 1997: 401-408 - 1996
- [j5]Susanna Donatelli, Nicola Mazzocca, Stefano Russo:
Client - server programs analysis in the EPOCA environment. Distributed Syst. Eng. 3(3): 149-161 (1996) - [j4]Rocco Aversa, Nicola Mazzocca, Umberto Villano:
Design of a simulator of heterogeneous computing environments. Simul. Pract. Theory 4(2-3): 97-117 (1996) - [c8]Susanna Donatelli, Nicola Mazzocca, Stefano Russo:
EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems 1996: 265-270 - [c7]Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
The PS project: development of a simulator of PVM applications for heterogeneous and network computing. Software Engineering for Parallel and Distributed Systems 1996: 310-315 - 1995
- [j3]Giulio Iannello, Antonino Mazzeo, Nicola Mazzocca:
Performance analysis of distributed memory computers with parallel node architecture. J. Syst. Softw. 29(2): 107-120 (1995) - [c6]Beniamino Di Martino, Nicola Mazzocca, Stefano Russo:
Paradigms for the Parallelization of Branch and Bound Algorithms. PARA 1995: 141-150 - [c5]Rocco Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
The Use of Simulation for Software Development in Heterogeneous Computing Environments. PDPTA 1995: 581-590 - 1994
- [j2]Giulio Iannello, Nicola Mazzocca:
Communication Workload Analysis for Symmetric Concurrent Systems. J. Parallel Distributed Comput. 20(2): 224-235 (1994) - [j1]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19(2-3): 195-222 (1994) - [c4]Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo:
Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352 - [c3]Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
A Mapping Method for Distributed Hetergoneous Systems. EUROSIM 1994: 143-151 - [c2]Rocco Aversa, Nicola Mazzocca, Umberto Villano:
PS: a Simulator for Heterogeneous Computing Environments. EUROSIM 1994: 335-343 - 1992
- [c1]Antonino Mazzeo, Nicola Mazzocca, M. Tammaro:
Gate-Level Distributed Logic Simulation on Multicomputer Architecture. EUROSIM 1992: 293-298
Coauthor Index
[j67] [j58] [c130] [c129] [c126] [c119] [j51] [c117] [j49] [j43] [j40] [c105] [c101] [j35] [c93] [c87] [c85] [j27] [c64] [p1] [c63] [c62] [c58] [j20] [c54] [c53] [c48] [c47] [c45] [c44] [c35] [j14] [c29] [c21] [c20] [c19] [c15] [j12] [j11] [j10] [j9] [c14] [j7] [j6] [c12] [c11] [c10] [c7] [j3] [c5] [j1] [c3] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-18 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
