default search action
Stefano Marrone 0001
Person information
- affiliation: University of Campania Luigi Vanvitelli, Naples, Italy
- not to be confused with: Stefano Marrone 0002
Other persons with the same name
- Stefano Marrone 0002
— University of Naples Federico II, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j27]Laura Verde
HEAR set: A ligHtwEight acoustic paRameters set to assess mental health from voice analysis. Comput. Biol. Medicine 182: 109021 (2024) - [j26]Francesco Flammini
Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. IEEE Trans. Emerg. Top. Comput. 12(2): 601-614 (2024) - [c67]Fiammetta Marulli, Lelio Campanile, Stefano Marrone, Laura Verde:
Combining Federated and Ensemble Learning in Distributed and Cloud Environments: An Exploratory Study. AINA (5) 2024: 297-306 - [c66]Raffaele Chianese
Dealing with clinical outcome and fair cost: the FIDCARE platform. EASE 2024: 425-428 - [c65]Atrin Barzegar
Fuzzy-based Severity Evaluation in Privacy Problems: an Application to Healthcare. EDCC 2024: 147-154 - [c64]Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) 2024: 174-189 - [i8]Sukhpal Singh Gill, Oktay Cetinkaya
Quantum Computing: Vision and Challenges. CoRR abs/2403.02240 (2024) - [i7]Roberta De Fazio, Stefano Marrone, Laura Verde, Vincenzo Reccia, Paolo Valletta:
Towards an extension of Fault Trees in the Predictive Maintenance Scenario. CoRR abs/2403.13785 (2024) - 2023
- [j25]Ricardo J. Rodríguez
MOSTO: A toolkit to facilitate security auditing of ICS devices using Modbus/TCP. Comput. Secur. 132: 103373 (2023) - [j24]Roberta De Fazio
Explainabilty Comparison between Random Forests and Neural Networks - Case Study of Amino Acid Volume Prediction. Inf. 14(1): 21 (2023) - [j23]Stefano Marrone, Lelio Campanile, Roberta De Fazio
A Petri net oriented approach for advanced building energy management systems. J. Ambient Intell. Smart Environ. 15(3): 211-233 (2023) - [j22]Mariapia Raimondo, Simona Bernardi, Stefano Marrone
An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. 19(1): 17-32 (2023) - [c63]Emanuele Bellini, Ernesto Damiani, Stefano Marrone:
Blockchain-Based Trustworthy O2O Interaction in the Next 6G Ecosystem. CSR 2023: 92-98 - [c62]Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino:
Demonstrating the Necessity of Model Generation in Security Protocol Verification. ETFA 2023: 1-8 - [c61]Roberta De Fazio
CaseID Detection for Process Mining: A Heuristic-Based Methodology. ICPM Workshops 2023: 45-57 - [c60]Lelio Campanile, Roberta De Fazio, Michele Di Giovanni
Inferring Emotional Models from Human-Machine Speech Interactions. KES 2023: 1241-1250 - [c59]Michele Di Giovanni
Supporting the Development of Digital Twins in Nuclear Waste Monitoring Systems. KES 2023: 3133-3142 - [i6]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 abs/2302.02499 (2023) - 2022
- [j21]Fiammetta Marulli
Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain. J. Sens. Actuator Networks 11(2): 21 (2022) - [c58]Gennaro Raimo
Handwriting and Drawing for Depression Detection: A Preliminary Study. AII 2022: 320-332 - [c57]Marialucia Cuciniello, Terry Amorese, Gennaro Cordasco
Identifying Synthetic Voices' Qualities for Conversational Agents. AII 2022: 333-346 - [c56]Terry Amorese
Toward an Interoperable Catalogue of Multimodal Depression-Related Data. AII 2022: 376-390 - [c55]Laura Verde, Lelio Campanile, Fiammetta Marulli, Stefano Marrone:
Speech-based Evaluation of Emotions-Depression Correlation. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c54]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: 377-388 - [c53]Roberto Canonico
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) 2022: 308-320 - [c52]Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde:
Challenges and Trends in Federated Learning for Well-being and Healthcare. KES 2022: 1144-1153 - [c51]Lelio Campanile, Maria Stella de Biase
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. KES-IDT 2022: 561-571 - [c50]Fiammetta Marulli, Laura Verde, Stefano Marrone, Lelio Campanile:
A Federated Consensus-Based Model for Enhancing Fake News and Misleading Information Debunking. KES-IDT 2022: 587-596 - [e1]Stefano Marrone
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Communications in Computer and Information Science 1656, Springer 2022, ISBN 978-3-031-16244-2 [contents] - [i5]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. CoRR abs/2205.04149 (2022) - [i4]Mariapia Raimondo, Stefano Marrone, Angelo Palladino:
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. CoRR abs/2210.03020 (2022) - [i3]Maria Stella de Biase, Stefano Marrone, Angelo Palladino:
Towards Automatic Model Completion: from Requirements to SysML State Machines. CoRR abs/2210.03388 (2022) - [i2]Francesco Flammini, Stefano Marrone, Lei Chen:
Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News 2022(129): 0 (2022) - 2021
- [j20]Francesco Flammini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33(6): 989-1007 (2021) - [j19]Fiammetta Marulli, Emanuele Bellini, Stefano Marrone:
On managing security in smart e-health applications. Int. J. Comput. Sci. Eng. 24(6): 639-652 (2021) - [j18]Simona Bernardi, Ugo Gentile
Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. 171: 110746 (2021) - [c49]Emanuele Bellini, Franco Bagnoli, Mauro Caporuscio, Ernesto Damiani, Francesco Flammini, Igor Linkov, Pietro Liò
Resilience learning through self adaptation in digital twins of human-cyber-physical systems. CSR 2021: 168-173 - [c48]Stefano Marrone, Antonio Tortora, Emanuele Bellini, Antonella Maione, Mariapia Raimondo:
Development of a Testbed for Fully Homomorphic Encryption Solutions. CSR 2021: 206-211 - [c47]Maria Stella de Biase, Fiammetta Marulli, Laura Verde, Stefano Marrone:
Improving Classification Trustworthiness in Random Forests. CSR 2021: 563-568 - [c46]Mariapia Raimondo, Simona Bernardi, Stefano Marrone:
On Formalising and Analysing the Tweetchain Protocol. ICISSP 2021: 781-791 - [c45]Laura Verde, Gennaro Raimo
A Lightweight Machine Learning Approach to Detect Depression from Speech Analysis. ICTAI 2021: 330-335 - [c44]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: 1-6 - [c43]Laura Verde, Fiammetta Marulli, Stefano Marrone:
Exploring the Impact of Data Poisoning Attacks on Machine Learning Model Reliability. KES 2021: 2624-2632 - 2020
- [j17]Simona Bernardi, Ugo Gentile
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110: 311-313 (2020) - [j16]Francesco Flammini
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. 112: 965-981 (2020) - [j15]Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini:
Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. 31: 100390 (2020) - [j14]Roberto Nardone
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020) - [c42]Fiammetta Marulli, Emanuele Bellini, Stefano Marrone:
A Security-Oriented Architecture for Federated Learning in Cloud Environments. AINA Workshops 2020: 730-741 - [c41]Maria Stella de Biase
Automatic Generation of Smart Human-Machine Interfaces. ICHMS 2020: 1-4 - [c40]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone:
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN 2020: 1-8 - [c39]Carlo Abate
A flexible simulation-based framework for model-based/data-driven dependability evaluation. ISSRE Workshops 2020: 261-266 - [c38]Emanuele Bellini, Stefano Marrone:
Towards a novel conceptualization of Cyber Resilience. SERVICES 2020: 189-196
2010 – 2019
- 2019
- [j13]Annarita Drago, Stefano Marrone
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18(1): 523-556 (2019) - [j12]Simona Bernardi
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18(3): 2241-2264 (2019) - [c37]Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. PASM 2019: 107-127 - [c36]Massimo Benerecetti, Ugo Gentile
From Dynamic State Machines to Promela. SPIN 2019: 56-73 - 2017
- [j11]Ugo Gentile
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23(2): 175-186 (2017) - [j10]Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133: 116-153 (2017) - [c35]Stefano Marrone
Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures. EuroS&P Workshops 2017: 167-173 - [c34]Roberto Canonico
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail 2017: 34-50 - 2016
- [j9]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) - [c33]Stefano Marrone
Finding Resilient and Energy-saving Control Strategies in Smart Homes. ANT/SEIT 2016: 976-981 - [c32]Roberto Nardone
Formal security assessment of Modbus protocol. ICITST 2016: 142-147 - [p1]Francesco Flammini
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. Recent Advances in Computational Intelligence in Defense and Security 2016: 71-100 - 2015
- [j8]Stefano Marrone
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47: 275-285 (2015) - [j7]Stefano Marrone
Using Bayesian networks for highly available cloud-based web applications. J. Reliab. Intell. Environ. 1(2-4): 87-100 (2015) - [c31]Ugo Gentile
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. 3PGCIC 2015: 527-532 - [c30]Stefano Marrone
Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT 2015: 980-987 - [c29]Roberto Nardone
Modeling Railway Control Systems in Promela. FTSCS 2015: 121-136 - [c28]Ricardo J. Rodríguez, Stefano Marrone
Model-Based Vulnerability Assessment of Self-Adaptive Protection Systems. IDC 2015: 439-449 - 2014
- [j6]Stefano Marrone
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 669-683 (2014) - [c27]Ugo Gentile
A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC 2014: 394-399 - [c26]Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone:
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS 2014 - [c25]Ugo Gentile
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS 2014: 170-184 - [c24]Roberto Nardone
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS 2014: 93-109 - [c23]Domenico Amalfitano
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE 2014: 29-34 - [c22]Gregorio Barberio, Beniamino Di Martino
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops 2014: 147-156 - [c21]Francesco Flammini
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP 2014: 230-245 - [c20]Marco Gribaudo
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM 2014: 91-111 - 2013
- [j5]Stefano Marrone
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6(3-4): 217-227 (2013) - [j4]Maurizio D'Arienzo
Petri net based evaluation of energy consumption in wireless sensor nodes. J. High Speed Networks 19(4): 339-358 (2013) - [j3]Simona Bernardi
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120: 112-126 (2013) - [c19]Ermanno Battista, Valentina Casola
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC 2013: 422-429 - [c18]Francesco Flammini
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops 2013: 442-456 - [c17]Maurizio D'Arienzo
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. AINA Workshops 2013: 1588-1593 - [c16]Ermanno Battista, Valentina Casola
An integrated lifetime and network quality model of large WSNs. M&N 2013: 132-137 - [c15]Annarita Drago, Stefano Marrone
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC 2013: 380-387 - [i1]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
- [j2]Stefano Marrone
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6: 308-333 (2012) - [c14]Francesco Flammini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) 2012: 190-204 - [c13]Stefano Marrone
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) 2012: 231-245 - [c12]Enrico Barbierato, Mauro Iacono, Stefano Marrone:
PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications. VALUETOOLS 2012: 64-73 - 2011
- [c11]Enrico Barbierato, Marco Gribaudo
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA 2011: 257-272 - [c10]Francesco Flammini
Petri Net Modelling of Physical Vulnerability. CRITIS 2011: 128-139 - [c9]Simona Bernardi
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 - 2010
- [c8]Stefano Marrone
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM 2010: 215-228
2000 – 2009
- 2009
- [j1]Francesco Flammini
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) - [c7]Giuliana Franceschinis, Marco Gribaudo
Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44 - 2008
- [c6]Renato Donini, Stefano Marrone
Testing Complex Safety-Critical Systems in SOA Context. CISIS 2008: 87-93 - 2007
- [c5]Francesco Moscato, Francesco Flammini
The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51 - 2005
- [c4]Francesco Flammini
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE 2005: 163-172 - 2004
- [c3]Giuliana Franceschinis, Marco Gribaudo
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c2]Mauro Iacono
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA 2004: 499-508 - 2003
- [c1]Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
SWN client-server composition operators in the OsMoSys framework. PNPM 2003: 52-61
Coauthor Index
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 2024-11-11 22:22 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: