Follow
Davide Basile
Davide Basile
Permanent Researcher at the Institute of Information Science and Technologies, CNR Italy
Verified email at isti.cnr.it - Homepage
Title
Cited by
Cited by
Year
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders
D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
632018
Survey on formal methods and tools in railways: the ASTRail approach
A Ferrari, MH ter Beek, F Mazzanti, D Basile, A Fantechi, S Gnesi, ...
International Conference on Reliability, Safety, and Security of Railway …, 2019
392019
Comparing formal tools for system design: a judgment study
A Ferrari, F Mazzanti, D Basile, MH Beek, A Fantechi
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
362020
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC: Experience and Outlook
D Basile, MH ter Beek, V Ciancia
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
352018
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design
A Ferrari, F Mazzanti, D Basile, MH ter Beek
IEEE Transactions on Software Engineering 48 (11), 4675-4691, 2021
342021
Automata for specifying and orchestrating service contracts
D Basile, P Degano, GL Ferrari
Logical methods in computer science 12, 2017
342017
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
D Basile, MH ter Beek, A Ferrari, A Legay
Formal Methods for Industrial Critical Systems: 24th International …, 2019
332019
Statistical model checking of an energy-saving cyber-physical system in the railway domain
D Basile, F Di Giandomenico, S Gnesi
Proceedings of the Symposium on Applied Computing, 1356-1363, 2017
332017
Relating two automata-based models of orchestration and choreography
D Basile, P Degano, GL Ferrari, E Tuosto
Journal of logical and algebraic methods in programming 85 (3), 425-446, 2016
312016
Specifying variability in service contracts
D Basile, F Di Giandomenico, S Gnesi, P Degano, GL Ferrari
Proceedings of the 11th International Workshop on Variability Modelling of …, 2017
272017
Playing with Our CAT and Communication-Centric Applications
D Basile, P Degano, GL Ferrari, E Tuosto
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
262016
Controller synthesis of service contracts with variability
D Basile, MH ter Beek, P Degano, A Legay, GL Ferrari, S Gnesi, ...
Science of Computer Programming 187, 102344, 2020
252020
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
D Basile, S Chiaradonna, F Di Giandomenico, S Gnesi
Journal of Rail Transport Planning & Management 6 (2), 163-181, 2016
252016
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
D Basile, MH ter Beek, A Legay
International Conference on Formal Techniques for Distributed Objects …, 2020
242020
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
D Basile, MH Ter Beek, R Pugliese
Logical Methods in Computer Science 16, 2020
232020
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
D Basile, MH ter Beek, A Ferrari, A Legay
International Journal on Software Tools for Technology Transfer 24 (3), 351-370, 2022
192022
From orchestration to choreography through contract automata
D Basile, P Degano, GL Ferrari, E Tuosto
arXiv preprint arXiv:1410.7471, 2014
182014
Contract automata library
D Basile, MH ter Beek
Science of Computer Programming 221, 102841, 2022
162022
Orchestration of dynamic service product lines with featured modal contract automata
D Basile, MH Ter Beek, F Di Giandomenico, S Gnesi
Proceedings of the 21st International Systems and Software Product Line …, 2017
162017
Automata for analysing service contracts
D Basile, P Degano, GL Ferrari
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
152014
The system can't perform the operation now. Try again later.
Articles 1–20