Segui
Davide Basile
Davide Basile
Permanent Researcher at the Institute of Information Science and Technologies, CNR Italy
Email verificata su isti.cnr.it - Home page
Titolo
Citata da
Citata da
Anno
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
612018
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
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
342018
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
332020
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
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
322021
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
322019
Automata for specifying and orchestrating service contracts
D Basile, P Degano, GL Ferrari
Logical methods in computer science 12, 2017
322017
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
292016
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
252017
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
242016
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
232020
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
222020
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
222016
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
172020
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
162022
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
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
152014
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
142017
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20