


default search action
Nicola 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
- [j81]Mario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco di Torrepadula:
Designing on-board explainable passenger flow prediction. Eng. Appl. Artif. Intell. 139: 109648 (2025) - [j80]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) - [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) - 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]