F. Di Giandomenico

Most-cited papers

Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection
Oleg Illiashenko, V. Kharchenko, Ievgen Babeshko, H. Fesenko +1 more
2023Entropy51 citations Open access
Semantic Scholar
Statistical model checking of an energy-saving cyber-physical system in the railway domain
D. Basile, F. Di Giandomenico, S. Gnesi
2017ACM Symposium on Applied Computing28 citations Open access
Semantic Scholar
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
D. Basile, S. Chiaradonna, F. Di Giandomenico, S. Gnesi
2016Journal of Rail Transport Planning & Management27 citations Open access
Semantic Scholar
Dependability Evaluation of Web Service-Based Processes
László Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza +2 more
2006European Performance Engineering Workshop26 citations
Semantic Scholar
Controller synthesis of service contracts with variability
D. Basile, Maurice H. ter Beek, P. Degano, Axel Legay +3 more
2020Science of Computer Programming23 citations Open access
Semantic Scholar
Specifying variability in service contracts
D. Basile, F. Di Giandomenico, S. Gnesi, P. Degano +1 more
2017International Workshop on Variability Modelling of Software-Intensive Systems23 citations Open access
Semantic Scholar
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
D. Basile, Maurice H. ter Beek, F. Di Giandomenico, S. Gnesi
2017Software Product Lines Conference19 citations
Semantic Scholar
Dependability Analysis and Verification for Connected Systems
F. Di Giandomenico, M. Kwiatkowska, M. Martinucci, P. Masci +1 more
2010Leveraging Applications of Formal Methods14 citations Open access
Semantic Scholar
ReSIST : Resilience for Survivability in IST
L. Simoncini, R. Baldoni, C. Bernardeschi, R. Bloomfield +30 more
200814 citations
Semantic Scholar
Critical Utility Infrastructural Resilience
G. Dondossola, Geert Deconinck, F. Di Giandomenico, S. Donatelli +2 more
2012arXiv.org13 citations
Semantic Scholar
Model-Based Evaluation of Energy Saving Systems
D. Basile, F. Di Giandomenico, S. Gnesi
201712 citations
Semantic Scholar
FMCAT: Supporting Dynamic Service-based Product Lines
D. Basile, F. Di Giandomenico, S. Gnesi
2017Software Product Lines Conference11 citations
Semantic Scholar
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach
D. Basile, F. Di Giandomenico, S. Gnesi
2016Leveraging Applications of Formal Methods10 citations
Semantic Scholar
Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities
Alberto Avritzer, F. Di Giandomenico, A. Remke, M. Riedl
2012Resilience Assessment and Evaluation of Computing Systems9 citations
Semantic Scholar
Design of Approaches for Dependability and Initial Prototypes
A. Bertolino, A. Calabrò, S. Chiaradonna, Gabriele Costa +15 more
20118 citations
Semantic Scholar
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
D. Basile, Maurice H. ter Beek, F. Di Giandomenico, A. Fantechi +2 more
2020Leveraging Applications of Formal Methods6 citations
Semantic Scholar
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
D. Basile, F. Di Giandomenico, S. Gnesi
2017International Conference on Model-Driven Engineering and Software Development6 citations Open access
Semantic Scholar
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
D. Basile, S. Chiaradonna, F. Di Giandomenico, S. Gnesi +1 more
2015International Workshop on Software Engineering for Resilient Systems6 citations
Semantic Scholar
A Refinement Approach to Analyse Critical Cyber-Physical Systems
D. Basile, F. Di Giandomenico, S. Gnesi
2017SEFM Workshops5 citations
Semantic Scholar
Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
A. Bertolino, S. Chiaradonna, Gabriele Costa, F. Di Giandomenico +13 more
20105 citations
Semantic Scholar
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
S. Chiaradonna, F. Di Giandomenico, G. Masetti, D. Basile
2019From Software Engineering to Formal Methods and Tools, and Back3 citations
Semantic Scholar
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
D. Basile, F. Di Giandomenico, S. Gnesi
2017International Conference on Reliability, Safety, and Security of Railway Systems2 citations
Semantic Scholar
Controller Synthesis of Contract-based Service Product Lines Extended Version
D. Basile, Maurice H. ter Beek, F. Di Giandomenico, S. Gnesi +2 more
20172 citations
Semantic Scholar
Finalised dependability framework and evaluation results
A. Bertolino, A. Calabrò, S. Chiaradonna, F. Di Giandomenico +12 more
20122 citations
Semantic Scholar
An Integrated Perspective on the Evaluation of Complex Railway Systems
D. Basile, Maurice H. ter Beek, Laura Carnevali, S. Chiaradonna +3 more
2024Leveraging Applications of Formal Methods1 citations
Semantic Scholar
Towards Effective Safety and Cybersecurity Co-engineering in Critical Domains
Ievgen Babeshko, Oleg Illiashenko, F. Di Giandomenico
2023International Conference on Dependable Systems, Services and Technologies1 citations
Semantic Scholar
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
D. Basile, Maurice H. ter Beek, P. Degano, Axel Legay +3 more
2021Formal Techniques for (Networked and) Distributed Systems1 citations Open access
Semantic Scholar
Compositional Algebra of CONNECTors
M. Autili, A. Bertolino, Chris Chilton, A. Marco +8 more
20111 citations
Semantic Scholar
Adaptive architectures for hybrid fault tolerance in distributed computing systems
J. Xu, F. Di Giandomenico, A. Bondavalli
19941 citations
Semantic Scholar
Advanced Integrated Evaluation of Railway Systems
D. Basile, Maurice H. ter Beek, F. Di Giandomenico, Laura Carnevali +1 more
2024ERCIM News0 citations
Semantic Scholar
Organizing Committee of DASC 2019
N. Kanekawa, R. Buyya, T. Dohi, Md. Zakirul Alam Bhuiyan +9 more
20192019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)0 citations Open access
Semantic Scholar
ICECCS 2014 Program Committee
M. Aiguier, L. Almeida, Étienne André, Cyrille Artho +18 more
20140 citations
Semantic Scholar
Consolidated dependability framework
A. Bertolino, A. Calabrò, S. Chiaradonna, Gabriele Costa +17 more
20120 citations
Semantic Scholar
Message from MENS-12 symposium chairs
Y. Kakuda, Yu-Feng Wang, Jian-Hua Ma, Qun Jin +21 more
2012International Conference on Ubiquitous Intelligence and Computing0 citations
Semantic Scholar
ADSN 2011 Committees
General Chair, K. Mori, Y. Kakuda, K. Ishida +14 more
20110 citations
Semantic Scholar
Capturing functional and non-functional connector
M. Autili, Chris Chilton, F. Di Giandomenico, P. Inverardi +6 more
20100 citations
Semantic Scholar
Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16
L. Simoncini, J. Laprie, K. Kanoun, Jean-Charles Fabre +20 more
20070 citations
Semantic Scholar