Nicola Mazzocca
Orcid: 0000-0002-0401-9687
According to our database1,
Nicola Mazzocca
authored at least 215 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Expert Syst. Appl., March, 2024
2023
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept.
IEEE Trans. Ind. Informatics, December, 2023
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems.
Real Time Syst., December, 2023
A Process Mining-based unsupervised Anomaly Detection technique for the Industrial Internet of Things.
Internet Things, December, 2023
Digital Twins in Healthcare: An Architectural Proposal and Its Application in a Social Distancing Case Study.
IEEE J. Biomed. Health Informatics, October, 2023
IEEE Trans. Emerg. Top. Comput., 2023
Proceedings of the Web and Wireless Geographical Information Systems, 2023
Proceedings of the 1st ACM SIGSPATIAL International Workshop on Sustainable Mobility, 2023
Introducing AI-Based Techniques in the Justice Sector: A Proposal for Digital Transformation of Court Offices.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices.
Proceedings of the Electronic Government and the Information Systems Perspective, 2023
2022
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things.
Computer, 2022
Proceedings of the Web and Wireless Geographical Information Systems, 2022
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection.
Proceedings of the Quality of Information and Communications Technology, 2022
2021
ACM Trans. Multim. Comput. Commun. Appl., 2021
IEEE Trans. Ind. Informatics, 2021
Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative Manufacturing.
Sensors, 2021
Advancing synthesis of decision tree-based multiple classifier systems: an approximate computing case study.
Knowl. Inf. Syst., 2021
IEEE Internet Things J., 2021
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT.
CoRR, 2021
SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms.
IEEE Access, 2021
2020
J. Univers. Comput. Sci., 2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw., 2020
Future Gener. Comput. Syst., 2020
2019
A model-driven approach for vulnerability evaluation of modern physical protection systems.
Softw. Syst. Model., 2019
Future Gener. Comput. Syst., 2019
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019
Proceedings of the 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2019
2018
J. Parallel Distributed Comput., 2018
J. Netw. Comput. Appl., 2018
Int. J. Embed. Syst., 2018
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017
Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2017
A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services.
Proceedings of the Advances in Internetworking, 2017
Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
Correlation of Digital Evidences in Forensic Investigation through Semantic Technologies.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
2016
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016
Int. J. Grid Util. Comput., 2016
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016
Proceedings of the Advances on P2P, 2016
Semantic Integration and Correlation of Digital Evidences in Forensic Investigations.
Proceedings of the Advances on P2P, 2016
2015
Knowl. Based Syst., 2015
Int. J. Comput. Sci. Eng., 2015
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation.
Proceedings of the International Conference on Computational Science, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015
Proceedings of the 10th International Conference on P2P, 2015
2014
IEEE Trans. Circuits Syst. I Regul. Pap., 2014
Int. J. Softw. Tools Technol. Transf., 2014
J. Syst. Archit., 2014
Des. Autom. Embed. Syst., 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014
Proceedings of the 2014 International Conference and Workshop on the Network of the Future, 2014
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the Eighth International Conference on Complex, 2014
Proceedings of the 2014 Ninth International Conference on P2P, 2014
2013
Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware.
IEEE Trans. Inf. Forensics Secur., 2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013
J. Syst. Archit., 2013
Int. J. Syst. Syst. Eng., 2013
A smart decision support systems based on a fast classifier and a semantic post reasoner.
Int. J. Syst. Syst. Eng., 2013
Vulnerability modeling and analysis for critical infrastructure protection applications.
Int. J. Crit. Infrastructure Prot., 2013
SIREN: a feasible moving target defence framework for securing resource-constrained embedded nodes.
Int. J. Crit. Comput. Based Syst., 2013
Log. J. IGPL, 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013
Proceedings of the 17th International Conference on Intelligence in Next Generation Networks, 2013
Proceedings of the Image Analysis and Processing - ICIAP 2013, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2013
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
Proceedings of the Security Engineering and Intelligence Informatics, 2013
Proceedings of the Eighth International Conference on P2P, 2013
Proceedings of the Eighth International Conference on P2P, 2013
Proceedings of the Eighth International Conference on P2P, 2013
2012
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets Other Model. Concurr., 2012
IEEE Trans Autom. Sci. Eng., 2012
Int. J. Adapt. Resilient Auton. Syst., 2012
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012
Proceedings of the Sixth International Conference on Complex, 2012
2011
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
A simulation framework for supporting design and real-time decisional phases in railway systems.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Proceedings of the 16th European Test Symposium, 2011
Proceedings of the Critical Information Infrastructure Security, 2011
Proceedings of the International Conference on Complex, 2011
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection.
Proceedings of the Availability, Reliability and Security for Business, Enterprise and Health Information Systems, 2011
2010
Int. J. Syst. Syst. Eng., 2010
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010
2009
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test. Verification Reliab., 2009
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Reliab. Eng. Syst. Saf., 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
2008
An Agents Based Middleware for Personalization of Multimedia Service Delivery in SOAs.
J. Mobile Multimedia, 2008
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
Proceedings of the VLSI-SoC: Design Methodologies for SoC and SiP, 2008
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008
Proceedings of the Critical Information Infrastructure Security, 2008
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.
Proceedings of the Critical Information Infrastructure Security, 2008
Proceedings of the Second International Conference on Complex, 2008
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008
2007
Scalable Comput. Pract. Exp., 2007
J. Softw., 2007
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures.
J. Comput. Secur., 2007
Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007
Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007
Proceedings of the 15th Euromicro International Conference on Parallel, 2007
A policy-based evaluation framework for Quality and Security in Service Oriented Architectures.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the Advances in Grid and Pervasive Computing, 2007
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007
Proceedings of the The Second International Conference on Availability, 2007
2006
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006
Design and implementation of TruMan, a Trust Manager Component for Distributed Systems.
Proceedings of the Second International Workshop on Security, 2006
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
2005
A hierarchical distributed-shared memory parallel Branch & Bound application with PVM and OpenMP for multiprocessor clusters.
Parallel Comput., 2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Proceedings of the 13th Euromicro Workshop on Parallel, 2005
Security Design and Evaluation in a VoIP Secure Infrastracture: A Policy Based Approach.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005
Proceedings of the High Performance Computing and Communications, 2005
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures.
Proceedings of the Public Key Infrastructure, 2005
Proceedings of the 2005 Design, 2005
2004
Softw. Syst. Model., 2004
J. Syst. Archit., 2004
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks.
J. Intell. Manuf., 2004
Proceedings of the Shared Memory Parallel Programming with OpenMP, 2004
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
Proceedings of the 12th Euromicro Workshop on Parallel, 2004
Terminal-Aware Grid Resource and Service Discovery and Access Based on Mobile Agents Technology.
Proceedings of the 12th Euromicro Workshop on Parallel, 2004
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
Proceedings of the Applied Parallel Computing, 2004
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture.
Proceedings of the Applied Parallel Computing, 2004
A Policy-Based Design Methodology and Performance Evaluation Framework for a Secure VoIP Infrastructure.
Proceedings of the ICETE 2004, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
A Case Study of Application Analytical Modeling in Heterogeneous Computing Environments: Cholesky Factorization in a NOW.
J. Supercomput., 2003
Integrated Tools for Performance-Oriented Distributed Software Development.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003
Proceedings of the 11th Euromicro Workshop on Parallel, 2003
Proceedings of the 11th Euromicro Workshop on Parallel, 2003
An automatic classification technique and tool for information retrieval of web documents.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
Policy based interoperability in distributed security infrastructures.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
A resource discovery service for a mobile agents based grid infrastructure.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
An FPGA-Based Performance Analysis of the Unrolling, Tiling, and Pipelining of the AES Algorithm.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003
Proceedings of the 2003 Design, 2003
2002
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test. Verification Reliab., 2002
J. Syst. Archit., 2002
A fault tolerant access to legacy database systems using CORBA technology.
Comput. Syst. Sci. Eng., 2002
Proceedings of the Third International Workshop on Software and Performance, 2002
Proceedings of the High Performance Computing for Computational Science, 2002
Policy formalization to combine separate systems into larger connected network of trust.
Proceedings of the Network Control and Engineering for QoS, 2002
Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations.
Proceedings of the Field-Programmable Logic and Applications, 2002
Proceedings of the Computer Performance Evaluation, 2002
2001
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs.
Sci. Comput. Program., 2001
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001
Proceedings of the Parallel Computing Technologies, 2001
Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001
2000
J. Supercomput., 2000
The Transition from a PVM Program Simulator to a Heterogeneous System Simulator: The HeSSE Project.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000
Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
High Load on Highly Available Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
A performance simulation technique for distributed programs: application to an SOR iterative solver.
Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000
Proceedings of the Applied Parallel Computing, 2000
1999
Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999
Reducing Parallel Program Simulation Complexity by Static Analysis.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Analytical Modelling of Parallel Application in Heterogeneous Computing Environments: A Study of Cholesky Factorization.
Proceedings of the Parallel Computing Technologies, 1999
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999
Proceedings of the 25th EUROMICRO '99 Conference, 1999
Proceedings of the Secure Networking - CQRE (Secure) '99, International Exhibition and Congress Düsseldorf, Germany, November 30, 1999
1998
Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study.
Parallel Comput., 1998
IEEE Concurr., 1998
Efficiency measurements in heterogeneous distributed computing systems: from theory to practice.
Concurr. Pract. Exp., 1998
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development .
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998
1997
Simul. Pract. Theory, 1997
Real Time Syst., 1997
J. Syst. Archit., 1997
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1997
An MPI Driven Parallelization Strategy for Different Computing Platforms: A Case Study.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1997
On the evaluation of efficiency in heterogeneous distributed systems.
Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997
Proceedings of the High-Performance Computing and Networking, 1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
1996
Simul. Pract. Theory, 1996
Distributed Syst. Eng., 1996
EPOCA: status and prospects.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996
The PS project: development of a simulator of PVM applications for heterogeneous and network computing.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996
1995
Performance analysis of distributed memory computers with parallel node architecture.
J. Syst. Softw., 1995
The Use of Simulation for Software Development in Heterogeneous Computing Environments.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995
Proceedings of the Applied Parallel Computing, 1995
1994
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation, 1994
J. Parallel Distributed Comput., 1994
A Mapping Method for Distributed Hetergoneous Systems.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994
PS: a Simulator for Heterogeneous Computing Environments.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994
Proceedings of the Computer Performance Evaluation, 1994
1992
Gate-Level Distributed Logic Simulation on Multicomputer Architecture.
Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992