Follow
Davide Basile
Davide Basile
Permanent Researcher at the Institute of Information Science and Technologies, National Research
Verified email at isti.cnr.it - Homepage
Title
Cited by
Cited by
Year
On the industrial uptake of formal methods in the railway domain
D Basile, MH Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, D Trentini, ...
International Conference on Integrated Formal Methods, 20-29, 2018
51*2018
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
D Basile, MH Beek, V Ciancia
International Symposium on Leveraging Applications of Formal Methods, 372-391, 2018
282018
Automata for specifying and orchestrating service contracts
D Basile, P Degano, GL Ferrari
Logical methods in computer science 12, 2017
282017
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
282017
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
262016
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
D Basile, MH Beek, A Ferrari, A Legay
International Workshop on Formal Methods for Industrial Critical Systems, 1-21, 2019
252019
Survey on formal methods and tools in railways: the ASTRail approach
A Ferrari, MH Beek, F Mazzanti, D Basile, A Fantechi, S Gnesi, A Piattino, ...
International Conference on Reliability, Safety, and Security of Railway …, 2019
232019
Specifying variability in service contracts
D Basile, F Di Giandomenico, S Gnesi, P Degano, GL Ferrari
Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017
222017
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
222016
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
212020
Playing with Our CAT and Communication-Centric Applications
D Basile, P Degano, GL Ferrari, E Tuosto
International Conference on Formal Techniques for Distributed Objects …, 2016
202016
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
17*2021
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
D Basile, MH Beek, A Legay
International Conference on Formal Techniques for Distributed Objects …, 2020
172020
From orchestration to choreography through contract automata
D Basile, P Degano, GL Ferrari, E Tuosto
arXiv preprint arXiv:1410.7471, 2014
162014
Automata for analysing service contracts
D Basile, P Degano, GL Ferrari
International Symposium on Trustworthy Global Computing, 34-50, 2014
162014
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
152020
FMCAT: supporting dynamic service-based product lines
D Basile, F Di Giandomenico, S Gnesi
Proceedings of the 21st International Systems and Software Product Line …, 2017
142017
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
132017
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
R Pugliese, MH Ter Beek, D Basile
Logical Methods in Computer Science 16, 2020
122020
Model-based evaluation of energy saving systems
D Basile, FD Giandomenico, S Gnesi
Green IT Engineering: Concepts, Models, Complex Systems Architectures, 187-208, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20