default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefano 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
![[0000-0001-6852-0377]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-6852-0377")
— 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, Fiammetta Marulli, Roberta De Fazio, Lelio Campanile, Stefano Marrone:
HEAR set: A ligHtwEight acoustic paRameters set to assess mental health from voice analysis. Comput. Biol. Medicine 182: 109021 (2024)- [j26]Francesco Flammini, Cristina Alcaraz, Emanuele Bellini, Stefano Marrone, Javier López, Andrea Bondavalli:
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, Leopoldo Beneduce, Francesco Gargiulo, Stefano Marrone, Laura Verde:
Dealing with clinical outcome and fair cost: the FIDCARE platform. EASE 2024: 425-428 - [c65]Atrin Barzegar, Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde, Michele Mastroianni:
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, Stefano Marrone, Elias 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:
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, Stefano Marrone, Ibai Marcos, Giuseppe Porzio:
MOSTO: A toolkit to facilitate security auditing of ICS devices using Modbus/TCP. Comput. Secur. 132: 103373 (2023) - [j24]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): 21 (2023) - [j23]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): 211-233 (2023) - [j22]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): 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, Antonio Balzanella, Stefano Marrone, Fiammetta Marulli, Laura Verde, Vincenzo Reccia, Paolo Valletta:
CaseID Detection for Process Mining: A Heuristic-Based Methodology. ICPM Workshops 2023: 45-57 - [c60]Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Stefano Marrone, Fiammetta Marulli, Laura Verde:
Inferring Emotional Models from Human-Machine Speech Interactions. KES 2023: 1241-1250 - [c59]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: 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, Stefano Marrone, Laura Verde:
Sensitivity of Machine Learning Approaches to Fake and Untrusted Data in Healthcare Domain. J. Sens. Actuator Networks 11(2): 21 (2022) - [c58]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: 320-332 - [c57]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: 333-346 - [c56]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: 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, 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: 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, Stefano Marrone, Mariapia Raimondo, Laura Verde:
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, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini:
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, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
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, Stefano Marrone, José Merseguer, Roberto Nardone:
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ò, Stefano Marrone:
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, Federica Vitale, Bruno Carbonaro, Gennaro Cordasco, Stefano Marrone, Anna Esposito:
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, Roberto Nardone, Stefano Marrone:
Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. 110: 311-313 (2020) - [j16]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: 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, 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) - [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, Stefano Marrone, Fiammetta Marulli:
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, Lelio Campanile, Stefano Marrone:
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, 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) - [j12]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): 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, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini:
From Dynamic State Machines to Promela. SPIN 2019: 56-73 - 2017
- [j11]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): 175-186 (2017) - [j10]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) - [c35]Stefano Marrone:
Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures. EuroS&P Workshops 2017: 167-173 - [c34]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: 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, Ugo Gentile:
Finding Resilient and Energy-saving Control Strategies in Smart Homes. ANT/SEIT 2016: 976-981 - [c32]Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone:
Formal security assessment of Modbus protocol. ICITST 2016: 142-147 - [p1]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
- [j8]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: 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, 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 - [c30]Stefano Marrone, Roberto Nardone:
Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT 2015: 980-987 - [c29]Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
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, 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) - [c27]Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone:
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, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron:
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS 2014: 170-184 - [c24]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 - [c23]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: 29-34 - [c22]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 - [c21]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: 230-245 - [c20]Marco Gribaudo, Mauro Iacono, Stefano Marrone:
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM 2014: 91-111 - 2013
- [j5]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) - [j4]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): 339-358 (2013) - [j3]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) - [c19]Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone:
A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC 2013: 422-429 - [c18]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 - [c17]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: 1588-1593 - [c16]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 - [c15]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 - [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, 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) - [c14]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 - [c13]Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi:
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, Mauro Iacono, Stefano Marrone:
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools. ASMTA 2011: 257-272 - [c10]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Petri Net Modelling of Physical Vulnerability. CRITIS 2011: 128-139 - [c9]Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini:
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 - 2010
- [c8]Stefano Marrone, Camilla Papa, Valeria Vittorini:
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM 2010: 215-228
2000 – 2009
- 2009
- [j1]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): 1422-1432 (2009) - [c7]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini:
Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44 - 2008
- [c6]Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque:
Testing Complex Safety-Critical Systems in SOA Context. CISIS 2008: 87-93 - 2007
- [c5]Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono:
The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51 - 2005
- [c4]Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone:
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE 2005: 163-172 - 2004
- [c3]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c2]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: 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-12-13 20:03 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:
