Stefano Marrone

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 60

Top Topics

Formal Verification

Top Venues

Publications

Roberta De Fazio, Rosy Di Giovannantonio, Emanuele Bellini, Stefano Marrone
Explainabilty Comparison between Random Forests and Neural Networks - Case Study of Amino Acid Volume Prediction. Inf. 14 (1) (2023)
Emanuele Bellini, Ernesto Damiani, Stefano Marrone
Blockchain-Based Trustworthy O2O Interaction in the Next 6G Ecosystem. CSR (2023)
Ricardo J. Rodríguez, Stefano Marrone, Ibai Marcos, Giuseppe Porzio
MOSTO: A toolkit to facilitate security auditing of ICS devices using Modbus/TCP. Comput. Secur. 132 (2023)
Michele Di Giovanni, Lelio Campanile, Antonio D'Onofrio, Stefano Marrone, Fiammetta Marulli, Mauro Romoli, Carlo Sabbarese, Laura Verde
Supporting the Development of Digital Twins in Nuclear Waste Monitoring Systems. KES (2023)
Gennaro Raimo, Michele Buonanno, Massimiliano Conson, Gennaro Cordasco, Marcos Faúndez-Zanuy, Stefano Marrone, Fiammetta Marulli, Alessandro Vinciarelli, Anna Esposito
Handwriting and Drawing for Depression Detection: A Preliminary Study. CoRR (2023)
Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Stefano Marrone, Fiammetta Marulli, Laura Verde
Inferring Emotional Models from Human-Machine Speech Interactions. KES (2023)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer
An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. 19 (1) (2023)
Stefano Marrone, Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Ugo Gentile, Fiammetta Marulli, Laura Verde
A Petri net oriented approach for advanced building energy management systems. J. Ambient Intell. Smart Environ. 15 (3) (2023)
Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino
Demonstrating the Necessity of Model Generation in Security Protocol Verification. ETFA (2023)
Fiammetta Marulli, Stefano Marrone, Laura Verde
Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain. J. Sens. Actuator Networks 11 (2) (2022)
Laura Verde, Lelio Campanile, Fiammetta Marulli, Stefano Marrone
Speech-based Evaluation of Emotions-Depression Correlation. DASC/PiCom/CBDCom/CyberSciTech (2022)
Marialucia Cuciniello, Terry Amorese, Gennaro Cordasco, Stefano Marrone, Fiammetta Marulli, F. Cavallo, Olga Gordeeva, Zoraida Callejas Carrión, Anna Esposito
Identifying synthetic voices qualities for conversational agents. CoRR (2022)
Terry Amorese, Gennaro Cordasco, Giovanni D'Angelo, Maria Stella de Biase, Michele Di Giovanni, Anna Esposito, Claudia Greco, Stefano Marrone, Fiammetta Marulli, Laura Verde
Toward an Interoperable Catalogue of Multimodal Depression-Related Data. AII (2022)
Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) (2022)
Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Mariapia Raimondo, Laura Verde
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. KES-IDT (2022)
Gennaro Raimo, Michele Buonanno, Massimiliano Conson, Gennaro Cordasco, Marcos Faúndez-Zanuy, Gavin McConvey, Stefano Marrone, Fiammetta Marulli, Alessandro Vinciarelli, Anna Esposito
Handwriting and Drawing for Depression Detection: A Preliminary Study. AII (2022)
Maria Stella de Biase, Stefano Marrone, Angelo Palladino
Towards Automatic Model Completion: from Requirements to SysML State Machines. CoRR (2022)
Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Fiammetta Marulli, Mariapia Raimondo, Laura Verde
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology. ICCSA (Workshops 4) (2022)
Marialucia Cuciniello, Terry Amorese, Gennaro Cordasco, Stefano Marrone, Fiammetta Marulli, Filippo Cavallo, Olga Gordeeva, Zoraida Callejas Carrión, Anna Esposito
Identifying Synthetic Voices' Qualities for Conversational Agents. AII (2022)
Francesco Flammini, Stefano Marrone, Lei Chen
Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News 2022 (129) (2022)
Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde
Challenges and Trends in Federated Learning for Well-being and Healthcare. KES (2022)
Mariapia Raimondo, Stefano Marrone, Angelo Palladino
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. CoRR (2022)
Stefano Marrone, Antonio Tortora, Emanuele Bellini, Antonella Maione, Mariapia Raimondo
Development of a Testbed for Fully Homomorphic Encryption Solutions. CSR (2021)
Laura Verde, Gennaro Raimo, Federica Vitale, Bruno Carbonaro, Gennaro Cordasco, Stefano Marrone, Anna Esposito
A Lightweight Machine Learning Approach to Detect Depression from Speech Analysis. ICTAI (2021)
Fiammetta Marulli, Laura Verde, Stefano Marrone, Roberta Barone, Maria Stella De Biase
Evaluating Efficiency and Effectiveness of Federated Learning Approaches in Knowledge Extraction Tasks. IJCNN (2021)
Maria Stella De Biase, Fiammetta Marulli, Laura Verde, Stefano Marrone
Improving Classification Trustworthiness in Random Forests. CSR (2021)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone
On Formalising and Analysing the Tweetchain Protocol. ICISSP (2021)
Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. 171 (2021)
Laura Verde, Fiammetta Marulli, Stefano Marrone
Exploring the Impact of Data Poisoning Attacks on Machine Learning Model Reliability. KES (2021)
Emanuele Bellini, Franco Bagnoli, Mauro Caporuscio, Ernesto Damiani, Francesco Flammini, Igor Linkov, Pietro Liò, Stefano Marrone
Resilience learning through self adaptation in digital twins of human-cyber-physical systems. CSR (2021)
Fiammetta Marulli, Emanuele Bellini, Stefano Marrone
On managing security in smart e-health applications. Int. J. Comput. Sci. Eng. 24 (6) (2021)
Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33 (6) (2021)
Emanuele Bellini, Stefano Marrone
Towards a novel conceptualization of Cyber Resilience. SERVICES (2020)
Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. 112 (2020)
Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC (2020)
Carlo Abate, Lelio Campanile, Stefano Marrone
A flexible simulation-based framework for model-based/data-driven dependability evaluation. ISSRE Workshops (2020)
Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini
Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. 31 (2020)
Maria Stella De Biase, Stefano Marrone, Fiammetta Marulli
Automatic Generation of Smart Human-Machine Interfaces. ICHMS (2020)
Fiammetta Marulli, Emanuele Bellini, Stefano Marrone
A Security-Oriented Architecture for Federated Learning in Cloud Environments. AINA Workshops (2020)
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)
Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN (2020)
Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110 (2020)
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18 (3) (2019)
Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. PASM (2019)
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
From Dynamic State Machines to Promela. SPIN (2019)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18 (1) (2019)
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23 (2) (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Stefano Marrone
Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures. EuroS&P Workshops (2017)
Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail (2017)
Stefano Marrone, Ugo Gentile
Finding Resilient and Energy-saving Control Strategies in Smart Homes. ANT/SEIT (2016)
Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone
Formal security assessment of Modbus protocol. ICITST (2016)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. 7 (4) (2016)
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)
Stefano Marrone
Using Bayesian networks for highly available cloud-based web applications. J. Reliab. Intell. Environ. 1 (2-4) (2015)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Ricardo J. Rodríguez, Stefano Marrone
Model-Based Vulnerability Assessment of Self-Adaptive Protection Systems. IDC (2015)
Stefano Marrone, Roberto Nardone
Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT (2015)
Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47 (2015)
Marco Gribaudo, Mauro Iacono, Stefano Marrone
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. Electron. Notes Theor. Comput. Sci. 310 (2015)
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC (2014)
Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP (2014)
Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS (2014)
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
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)
Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE (2014)
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)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance CoRR (2013)
Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6 (3-4) (2013)
Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. AINA Workshops (2013)
Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
An integrated lifetime and network quality model of large WSNs. M&N (2013)
Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC (2013)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC (2013)
Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
Petri net based evaluation of energy consumption in wireless sensor nodes. J. High Speed Networks 19 (4) (2013)
Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) (2012)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) (2012)
Enrico Barbierato, Mauro Iacono, Stefano Marrone
PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications. VALUETOOLS (2012)
Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP (2011)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Petri Net Modelling of Physical Vulnerability. CRITIS (2011)
Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA (2011)
Stefano Marrone, Camilla Papa, Valeria Vittorini
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM (2010)
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) (2009)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Interfaces and binding in component based development of formal models. VALUETOOLS (2009)
Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque
Testing Complex Safety-Critical Systems in SOA Context. CISIS (2008)
Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono
The software architecture of the OsMoSys multisolution framework. VALUETOOLS (2007)
Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE (2005)
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)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN (2004)
Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
SWN client-server composition operators in the OsMoSys framework. PNPM (2003)