| 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 | 61 | 2018 |
| 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 |
| 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 | 34 | 2018 |
| 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 | 33 | 2021 |
| 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 | 33 | 2020 |
| 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 |
| 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 | 32 | 2019 |
| Automata for specifying and orchestrating service contracts D Basile, P Degano, GL Ferrari Logical methods in computer science 12, 2017 | 32 | 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 | 29 | 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 | 25 | 2017 |
| 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 | 24 | 2016 |
| 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 | 24 | 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 | 23 | 2020 |
| 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 | 22 | 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 | 19 | 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 | 17 | 2022 |
| From orchestration to choreography through contract automata D Basile, P Degano, GL Ferrari, E Tuosto arXiv preprint arXiv:1410.7471, 2014 | 16 | 2014 |
| Automata for analysing service contracts D Basile, P Degano, GL Ferrari Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014 | 15 | 2014 |
| 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 | 14 | 2017 |
| 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 | 14 | 2017 |
Maurice H. ter BeekISTI, CNRDirección de correo verificada de isti.cnr.it
