Stefano Marrone

127 papers A 1B 23C 6Misc 7Journal 40Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CARE: Clinical AI predictor for posterior urethal valves - design, explainability and evaluation. J. Syst. Softw. Roberta De Fazio, Stefano Marrone, Paola Tirelli, Raffaele Chianese, Clelia Di Nardo, Pierluigi Marzuillo, Laura Verde
2026	J	`jnl`	Inferring failure processes via causality analysis: from event logs to predictive fault trees. Reliab. Eng. Syst. Saf. Roberta De Fazio, Benoît Depaire, Stefano Marrone, Laura Verde
2025	J	`jnl`	Assessing Safety and Sustainability of a Monitoring System for Nuclear Waste Management. IEEE Access Michele Di Giovanni, Laura Verde, Lelio Campanile, Mauro Romoli, Carlo Sabbarese, Stefano Marrone
2025	—	`conf`	Comparing Emerging Technologies in Image Classification: From Quantum to Kolmogorov. ICCSA (Workshops 1) Fabio Napoli, Mariarosaria Castaldo, Stefano Marrone, Lelio Campanile
2025	J	`jnl`	Comparing Emerging and Hybrid Quantum-Kolmogorov Architectures for Image Classification. Comput. Lelio Campanile, Mariarosaria Castaldo, Stefano Marrone, Fabio Napoli
2025	—	`conf`	Computational Risk Assessment in Water Distribution Network. ICCS (Workshops 4) Yas Barzegar, Atrin Barzegar, Stefano Marrone, Laura Verde, Francesco Bellini, Patrizio Pisani
2025	B	`conf`	Data-Centric Water Safety Monitoring: A Machine Learning Pipeline with Intelligent Feature Selection for Potability Prediction. KES Yas Barzegar, Atrin Barzegar, Francesco Bellini, Stefano Marrone, Patrizio Pisani, Laura Verde
2025	B	`conf`	Detecting Vegetation Patterns in Satellite Images: SILVIA, a Segmentation-Based Approach. KES Maria Stella de Biase, Roberta De Fazio, Stefano Marrone
2025	B	`conf`	Extracting Knowledge from Data in Lightweight Digital Twin Construction. KES Laura Verde, Maria Stella de Biase, Giusy D'angelo, Roberta Petruolo, Paola Tirelli, Stefano Guarino, Anna Di Sessa, Pierluigi Marzuillo, Stefano Marrone
2025	B	`conf`	Measuring Software Product Quality Based on Fuzzy Inference System Techniques in ISO Standard. KES Atrin Barzegar, Yas Barzegar, Laura Verde, Francesco Bellini, Patrizio Pisani, Stefano Marrone
2025	C	`conf`	Quantum Convolutional Neural Networks for Image Classification: Perspectives and Challenges. IoTBDS Fabio Napoli, Lelio Campanile, Giovanni De Gregorio, Stefano Marrone
2025	B	`conf`	Toward Paediatric Digital Twins: STELLA-Segmentation Tool for Enhanced Localisation and Labelling of Diagnostic Areas. KES Roberta De Fazio, Maria Stella de Biase, Pierluigi Marzuillo, Paola Tirelli, Fiammetta Marulli, Stefano Marrone, Laura Verde
2025	C	`conf`	Towards a Digital Twin of the Cardiovascular System. IoTBDS Ciro Nespolino, Roberta De Fazio, Laura Verde, Stefano Marrone
2025	B	`conf`	Towards a pre-surgery clinical decision support system. KES Stefano Marrone, Roberta De Fazio, Rossella Picone, Laura Verde
2025	B	`conf`	Unleashing the power of simulation-based inference: an application to complex stochastic processes. KES Michele Di Giovanni, Ciro Nespolino, Stefano Marrone, Fiammetta Marulli
2024	—	`conf`	An Operation-Aware Ensemble Methodology for Remaining Useful Life Estimation. RACS Ciro Nespolino, Stefano Marrone, Francesco Martone, Gianpaolo Romano, Gaetano Zazzaro, Laura Verde
2024	—	`conf`	Combining Federated and Ensemble Learning in Distributed and Cloud Environments: An Exploratory Study. AINA (5) Fiammetta Marulli, Lelio Campanile, Stefano Marrone, Laura Verde
2024	J	`jnl`	Completion of SysML state machines from Given-When-Then requirements. Softw. Syst. Model. Maria Stella de Biase, Simona Bernardi, Stefano Marrone, José Merseguer, Angelo Palladino
2024	A	`conf`	Dealing with clinical outcome and fair cost: the FIDCARE platform. EASE Raffaele Chianese, Leopoldo Beneduce, Francesco Gargiulo, Stefano Marrone, Laura Verde
2024	—	`conf`	Designing an Evaluation Chain for Assessing the Quality of Data Generation by Tabular GANs. RACS Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde
2024	B	`conf`	Fuzzy Inference System for Risk Assessment of Wheat Flour Product Manufacturing Systems. KES Yas Barzegar, Atrin Barzegar, Francesco Bellini, Stefano Marrone, Laura Verde
2024	Misc	`conf`	Fuzzy-based Severity Evaluation in Privacy Problems: an Application to Healthcare. EDCC Atrin Barzegar, Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde, Michele Mastroianni
2024	J	`jnl`	HEAR set: A ligHtwEight acoustic paRameters set to assess mental health from voice analysis. Comput. Biol. Medicine Laura Verde, Fiammetta Marulli, Roberta De Fazio, Lelio Campanile, Stefano Marrone
2024	B	`conf`	Improving Voice Pathology Classification Using Artificial Data Generation. KES Tomás Jirsa, Laura Verde, Fiammetta Marulli, Stefano Marrone, Jan Vrba
2024	J	`jnl`	Quantum Computing: Vision and Challenges. CoRR Sukhpal Singh Gill, Oktay Cetinkaya, Stefano Marrone, Elías F. Combarro, Daniel Claudino, David Haunschild, Leon Schlote, Huaming Wu, Carlo Ottaviani, Xiaoyuan Liu, Sree Pragna Machupalli, Kamalpreet Kaur, Priyansh Arora, Ji Liu, Salman Shamshad, Ahmed Farouk, Houbing Herbert Song, Steve Uhlig, Kotagiri Ramamohanarao
2024	—	`conf`	Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini
2024	B	`conf`	Towards Hepatic Cancer Detection with Bayesian Networks for Patients Digital Twins Modelling. KES Roberta De Fazio, Adrian Bartos, Viviana Leonetti, Stefano Marrone, Laura Verde
2024	J	`jnl`	Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. IEEE Trans. Emerg. Top. Comput. Francesco Flammini, Cristina Alcaraz, Emanuele Bellini, Stefano Marrone, Javier López, Andrea Bondavalli
2024	J	`jnl`	Towards an extension of Fault Trees in the Predictive Maintenance Scenario. CoRR Roberta De Fazio, Stefano Marrone, Laura Verde, Vincenzo Reccia, Paolo Valletta
2024	B	`conf`	Understanding Readability of Large Language Models Output: An Empirical Analysis. KES Fiammetta Marulli, Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Laura Verde, Marianna Bifulco
2024	B	`conf`	What does a Heart Beat for? A Heterogeneous Approach for Human Digital Twin Construction. KES Stefano Marrone
2023	J	`jnl`	A Petri net oriented approach for advanced building energy management systems. J. Ambient Intell. Smart Environ. Stefano Marrone, Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Ugo Gentile, Fiammetta Marulli, Laura Verde
2023	J	`jnl`	An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer
2023	Misc	`conf`	Blockchain-Based Trustworthy O2O Interaction in the Next 6G Ecosystem. CSR Emanuele Bellini, Ernesto Damiani, Stefano Marrone
2023	—	`conf`	CaseID Detection for Process Mining: A Heuristic-Based Methodology. ICPM Workshops Roberta De Fazio, Antonio Balzanella, Stefano Marrone, Fiammetta Marulli, Laura Verde, Vincenzo Reccia, Paolo Valletta
2023	C	`conf`	Demonstrating the Necessity of Model Generation in Security Protocol Verification. ETFA Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino
2023	J	`jnl`	Explainabilty Comparison between Random Forests and Neural Networks - Case Study of Amino Acid Volume Prediction. Inf. Roberta De Fazio, Rosy Di Giovannantonio, Emanuele Bellini, Stefano Marrone
2023	J	`jnl`	Handwriting and Drawing for Depression Detection: A Preliminary Study. CoRR Gennaro Raimo, Michele Buonanno, Massimiliano Conson, Gennaro Cordasco, Marcos Faúndez-Zanuy, Stefano Marrone, Fiammetta Marulli, Alessandro Vinciarelli, Anna Esposito
2023	B	`conf`	Inferring Emotional Models from Human-Machine Speech Interactions. KES Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Stefano Marrone, Fiammetta Marulli, Laura Verde
2023	J	`jnl`	MOSTO: A toolkit to facilitate security auditing of ICS devices using Modbus/TCP. Comput. Secur. Ricardo J. Rodríguez, Stefano Marrone, Ibai Marcos, Giuseppe Porzio
2023	B	`conf`	Supporting the Development of Digital Twins in Nuclear Waste Monitoring Systems. KES Michele Di Giovanni, Lelio Campanile, Antonio D'Onofrio, Stefano Marrone, Fiammetta Marulli, Mauro Romoli, Carlo Sabbarese, Laura Verde
2022	—	`conf`	A Federated Consensus-Based Model for Enhancing Fake News and Misleading Information Debunking. KES-IDT Fiammetta Marulli, Laura Verde, Stefano Marrone, Lelio Campanile
2022	—	`conf`	Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2022	B	`conf`	Challenges and Trends in Federated Learning for Well-being and Healthcare. KES Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde
2022	—	`ed.`	Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings EDCC Workshops Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini
2022	J	`jnl`	Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News Francesco Flammini, Stefano Marrone, Lei Chen
2022	—	`conf`	Handwriting and Drawing for Depression Detection: A Preliminary Study. AII Gennaro Raimo, Michele Buonanno, Massimiliano Conson, Gennaro Cordasco, Marcos Faúndez-Zanuy, Gavin McConvey, Stefano Marrone, Fiammetta Marulli, Alessandro Vinciarelli, Anna Esposito
2022	—	`conf`	Identifying Synthetic Voices' Qualities for Conversational Agents. AII Marialucia Cuciniello, Terry Amorese, Gennaro Cordasco, Stefano Marrone, Fiammetta Marulli, Filippo Cavallo, Olga Gordeeva, Zoraida Callejas Carrión, Anna Esposito
2022	J	`jnl`	Identifying synthetic voices qualities for conversational agents. CoRR Marialucia Cuciniello, Terry Amorese, Gennaro Cordasco, Stefano Marrone, Fiammetta Marulli, Filippo Cavallo, Olga Gordeeva, Zoraida Callejas Carrión, Anna Esposito
2022	J	`jnl`	Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. CoRR Mariapia Raimondo, Stefano Marrone, Angelo Palladino
2022	—	`conf`	On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. KES-IDT Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Mariapia Raimondo, Laura Verde
2022	—	`conf`	Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology. ICCSA (Workshops 4) Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Fiammetta Marulli, Mariapia Raimondo, Laura Verde
2022	J	`jnl`	Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain. J. Sens. Actuator Networks Fiammetta Marulli, Stefano Marrone, Laura Verde
2022	—	`conf`	Speech-based Evaluation of Emotions-Depression Correlation. DASC/PiCom/CBDCom/CyberSciTech Laura Verde, Lelio Campanile, Fiammetta Marulli, Stefano Marrone
2022	—	`conf`	Toward an Interoperable Catalogue of Multimodal Depression-Related Data. AII Terry Amorese, Gennaro Cordasco, Giovanni D'Angelo, Maria Stella de Biase, Michele Di Giovanni, Anna Esposito, Claudia Greco, Stefano Marrone, Fiammetta Marulli, Laura Verde
2022	J	`jnl`	Towards Automatic Model Completion: from Requirements to SysML State Machines. CoRR Maria Stella de Biase, Stefano Marrone, Angelo Palladino
2021	B	`conf`	A Lightweight Machine Learning Approach to Detect Depression from Speech Analysis. ICTAI Laura Verde, Gennaro Raimo, Federica Vitale, Bruno Carbonaro, Gennaro Cordasco, Stefano Marrone, Anna Esposito
2021	J	`jnl`	Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2021	Misc	`conf`	Development of a Testbed for Fully Homomorphic Encryption Solutions. CSR Stefano Marrone, Antonio Tortora, Emanuele Bellini, Antonella Maione, Mariapia Raimondo
2021	B	`conf`	Evaluating Efficiency and Effectiveness of Federated Learning Approaches in Knowledge Extraction Tasks. IJCNN Fiammetta Marulli, Laura Verde, Stefano Marrone, Roberta Barone, Maria Stella de Biase
2021	B	`conf`	Exploring the Impact of Data Poisoning Attacks on Machine Learning Model Reliability. KES Laura Verde, Fiammetta Marulli, Stefano Marrone
2021	Misc	`conf`	Improving Classification Trustworthiness in Random Forests. CSR Maria Stella de Biase, Fiammetta Marulli, Laura Verde, Stefano Marrone
2021	C	`conf`	On Formalising and Analysing the Tweetchain Protocol. ICISSP Mariapia Raimondo, Simona Bernardi, Stefano Marrone
2021	J	`jnl`	On managing security in smart e-health applications. Int. J. Comput. Sci. Eng. Fiammetta Marulli, Emanuele Bellini, Stefano Marrone
2021	Misc	`conf`	Resilience learning through self adaptation in digital twins of human-cyber-physical systems. CSR Emanuele Bellini, Franco Bagnoli, Mauro Caporuscio, Ernesto Damiani, Francesco Flammini, Igor Linkov, Pietro Liò, Stefano Marrone
2021	J	`jnl`	Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
2020	—	`conf`	A Security-Oriented Architecture for Federated Learning in Cloud Environments. AINA Workshops Fiammetta Marulli, Emanuele Bellini, Stefano Marrone
2020	—	`conf`	A flexible simulation-based framework for model-based/data-driven dependability evaluation. ISSRE Workshops Carlo Abate, Lelio Campanile, Stefano Marrone
2020	J	`jnl`	Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
2020	J	`jnl`	An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 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
2020	—	`conf`	Automatic Generation of Smart Human-Machine Interfaces. ICHMS Maria Stella de Biase, Stefano Marrone, Fiammetta Marulli
2020	J	`jnl`	Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini
2020	B	`conf`	Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone
2020	J	`jnl`	Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo
2020	B	`conf`	Towards a novel conceptualization of Cyber Resilience. SERVICES Emanuele Bellini, Stefano Marrone
2019	J	`jnl`	A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
2019	—	`conf`	From Dynamic State Machines to Promela. SPIN Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
2019	—	`conf`	On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. PASM Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni
2019	J	`jnl`	Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
2017	—	`conf`	A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2017	J	`jnl`	A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
2017	J	`jnl`	Dynamic state machines for modelling railway control systems. Sci. Comput. Program. Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
2017	—	`conf`	Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures. EuroS&P Workshops Stefano Marrone
2016	J	`jnl`	Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2016	—	`conf`	Finding Resilient and Energy-saving Control Strategies in Smart Homes. ANT/SEIT Stefano Marrone, Ugo Gentile
2016	—	`conf`	Formal security assessment of Modbus protocol. ICITST Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone
2016	—	`ch.`	Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. Recent Advances in Computational Intelligence in Defense and Security Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2015	—	`conf`	Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT Stefano Marrone, Roberto Nardone
2015	Misc	`conf`	Model-Based Vulnerability Assessment of Self-Adaptive Protection Systems. IDC Ricardo J. Rodríguez, Stefano Marrone
2015	—	`conf`	Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. 3PGCIC Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
2015	—	`conf`	Modeling Railway Control Systems in Promela. FTSCS Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2015	J	`jnl`	On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini
2015	J	`jnl`	Using Bayesian networks for highly available cloud-based web applications. J. Reliab. Intell. Environ. Stefano Marrone
2014	—	`conf`	A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2014	B	`conf`	A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2014	—	`conf`	An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
2014	—	`conf`	Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
2014	—	`conf`	Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM Marco Gribaudo, Mauro Iacono, Stefano Marrone
2014	—	`conf`	Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone
2014	—	`conf`	Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
2014	C	`conf`	Test Specification Patterns for Automatic Generation of Test Sequences. FMICS Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
2014	J	`jnl`	Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2013	—	`conf`	A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
2013	J	`jnl`	A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance CoRR Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2013	—	`conf`	An integrated lifetime and network quality model of large WSNs. M&N Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2013	J	`jnl`	Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
2013	—	`conf`	Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. AINA Workshops Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
2013	—	`conf`	Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
2013	J	`jnl`	Petri net based evaluation of energy consumption in wireless sensor nodes. J. High Speed Networks Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
2013	—	`conf`	Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2013	J	`jnl`	Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
2012	J	`jnl`	A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
2012	—	`conf`	Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
2012	—	`conf`	Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2012	—	`conf`	PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications. VALUETOOLS Enrico Barbierato, Mauro Iacono, Stefano Marrone
2011	B	`conf`	Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
2011	—	`conf`	Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone
2011	C	`conf`	Petri Net Modelling of Physical Vulnerability. CRITIS Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2010	B	`conf`	Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM Stefano Marrone, Camilla Papa, Valeria Vittorini
2009	J	`jnl`	A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. Reliab. Eng. Syst. Saf. Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2009	—	`conf`	Interfaces and binding in component based development of formal models. VALUETOOLS Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
2008	Misc	`conf`	Testing Complex Safety-Critical Systems in SOA Context. CISIS Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque
2007	—	`conf`	The software architecture of the OsMoSys multisolution framework. VALUETOOLS Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono
2005	—	`conf`	Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone
2004	—	`conf`	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
2004	—	`conf`	Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2003	—	`conf`	SWN client-server composition operators in the OsMoSys framework. PNPM Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca