Davide Basile
Davide Basile
ISTI CNR, Pisa
Verified email at isti.cnr.it
Title
Cited by
Cited by
Year
On the industrial uptake of formal methods in the railway domain
D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...
International Conference on Integrated Formal Methods, 20-29, 2018
302018
Automata for specifying and orchestrating service contracts
D Basile, P Degano, GL Ferrari
arXiv preprint arXiv:1607.08363, 2016
202016
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
202016
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
192017
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
192016
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
172017
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
D Basile, MH ter Beek, V Ciancia
International Symposium on Leveraging Applications of Formal Methods, 372-391, 2018
142018
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
142016
From orchestration to choreography through contract automata
D Basile, P Degano, GL Ferrari, E Tuosto
arXiv preprint arXiv:1410.7471, 2014
142014
Automata for analysing service contracts
D Basile, P Degano, GL Ferrari
International Symposium on Trustworthy Global Computing, 34-50, 2014
132014
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
112017
Model-based evaluation of energy saving systems
D Basile, F Di Giandomenico, S Gnesi
Green IT Engineering: Concepts, Models, Complex Systems Architectures, 187-208, 2017
92017
Tuning energy consumption strategies in the railway domain: a model-based approach
D Basile, F Di Giandomenico, S Gnesi
International Symposium on Leveraging Applications of Formal Methods, 315-330, 2016
92016
Stochastic model-based analysis of energy consumption in a rail road switch heating system
D Basile, S Chiaradonna, F Di Giandomenico, S Gnesi, F Mazzanti
International Workshop on Software Engineering for Resilient Systems, 82-98, 2015
92015
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
82019
Orchestration synthesis for real-time service contracts
D Basile, MH ter Beek, A Legay, LM Traonouez
International Conference on Verification and Evaluation of Computer and …, 2018
72018
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
72017
A formal framework for secure and complying services
D Basile, P Degano, GL Ferrari
The Journal of Supercomputing 69 (1), 43-52, 2014
72014
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
D Basile, MH ter Beek, A Ferrari, A Legay
International Workshop on Formal Methods for Industrial Critical Systems, 1-21, 2019
62019
Timed service contract automata
D Basile, MH ter Beek, A Legay
Innovations in Systems and Software Engineering 16 (2), 199-214, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20