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 | 64* | 2018 |
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 | 39 | 2020 |
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 | 39 | 2019 |
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 | 38 | 2021 |
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 | 35 | 2018 |
Automata for specifying and orchestrating service contracts D Basile, P Degano, GL Ferrari Logical methods in computer science 12, 2017 | 34 | 2017 |
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 | 33 | 2019 |
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 | 33 | 2017 |
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 | 32 | 2016 |
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 | 27 | 2017 |
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 | 26 | 2016 |
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 | 25 | 2020 |
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 | 25 | 2016 |
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 | 24 | 2020 |
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 | 23 | 2020 |
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 | 20 | 2022 |
From orchestration to choreography through contract automata D Basile, P Degano, GL Ferrari, E Tuosto arXiv preprint arXiv:1410.7471, 2014 | 18 | 2014 |
Contract automata library D Basile, MH ter Beek Science of Computer Programming 221, 102841, 2022 | 16 | 2022 |
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 | 16 | 2017 |
Formal analysis of the UNISIG safety application intermediate sub-layer: applying formal methods to railway standard interfaces D Basile, A Fantechi, I Rosadi Formal Methods for Industrial Critical Systems: 26th International …, 2021 | 15 | 2021 |