Stefano Marrone
Orcid: 0000-0003-1927-6173Affiliations:
- University of Campania Luigi Vanvitelli, Naples, Italy
According to our database1,
Stefano Marrone
authored at least 101 papers
between 2003 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
IEEE Trans. Emerg. Top. Comput., 2024
CoRR, 2024
HEAR set: A ligHtwEight acoustic paRameters set to assess mental health from voice analysis.
Comput. Biol. Medicine, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the 19th European Dependable Computing Conference, 2024
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024
Combining Federated and Ensemble Learning in Distributed and Cloud Environments: An Exploratory Study.
Proceedings of the Advanced Information Networking and Applications, 2024
2023
Comput. Secur., September, 2023
An approach for the automatic verification of blockchain protocols: the Tweetchain case study.
J. Comput. Virol. Hacking Tech., March, 2023
Explainabilty Comparison between Random Forests and Neural Networks - Case Study of Amino Acid Volume Prediction.
Inf., January, 2023
J. Ambient Intell. Smart Environ., 2023
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023
Proceedings of the Process Mining Workshops, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023
2022
Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain.
J. Sens. Actuator Networks, 2022
ERCIM News, 2022
CoRR, 2022
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols.
CoRR, 2022
A Federated Consensus-Based Model for Enhancing Fake News and Misleading Information Debunking.
Proceedings of the Intelligent Decision Technologies, 2022
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study.
Proceedings of the Intelligent Decision Technologies, 2022
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology.
Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
2021
Security modelling and formal verification of survivability properties: Application to cyber-physical systems.
J. Syst. Softw., 2021
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.
Formal Aspects Comput., 2021
Exploring the Impact of Data Poisoning Attacks on Machine Learning Model Reliability.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021
Evaluating Efficiency and Effectiveness of Federated Learning Approaches in Knowledge Extraction Tasks.
Proceedings of the International Joint Conference on Neural Networks, 2021
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021
Resilience learning through self adaptation in digital twins of human-cyber-physical systems.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021
2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw., 2020
Int. J. Crit. Infrastructure Prot., 2020
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study.
Future Gener. Comput. Syst., 2020
Future Gener. Comput. Syst., 2020
Proceedings of the 2020 IEEE World Congress on Services, 2020
A flexible simulation-based framework for model-based/data-driven dependability evaluation.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
Proceedings of the IEEE International Conference on Human-Machine Systems, 2020
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020
2019
A model-driven approach for vulnerability evaluation of modern physical protection systems.
Softw. Syst. Model., 2019
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
Softw. Syst. Model., 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019
2017
Sci. Comput. Program., 2017
A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks, 2017
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy 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 11th International Conference for Internet Technology and Secured Transactions, 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
2015
J. Reliab. Intell. Environ., 2015
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems.
Comput. Electr. Eng., 2015
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
Proceedings of the 6th International Conference on Ambient Systems, 2015
Proceedings of the 10th International Conference on P2P, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.
Proceedings of the WISE'14, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project.
Proceedings of the European Project Space on Computational Intelligence, 2014
Proceedings of the 2014 Ninth International Conference on P2P, 2014
2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013
J. High Speed Networks, 2013
Vulnerability modeling and analysis for critical infrastructure protection applications.
Int. J. Crit. Infrastructure Prot., 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 2nd IEEE International Workshop on Measurements & Networking, 2013
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 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
2012
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets Other Model. Concurr., 2012
PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 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
2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the Critical Information Infrastructure Security, 2011
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011
2010
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
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 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
2008
Proceedings of the Second International Conference on Complex, 2008
2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
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
2004
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
Proceedings of the Applied Parallel Computing, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003