Davide Basile
Orcid: 0000-0002-7196-6609Affiliations:
- ISTI-CNR, Pisa, Italy
According to our database1,
Davide Basile
authored at least 69 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., 2024
J. Log. Algebraic Methods Program., 2024
ERCIM News, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal.
Proceedings of the Coordination Models and Languages, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Dataset, August, 2023
CoRR, 2023
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
IEEE Trans. Software Eng., 2022
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
Int. J. Softw. Tools Technol. Transf., 2022
Empir. Softw. Eng., 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, November, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.
Formal Aspects Comput., 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.
CoRR, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.
Proceedings of the Coordination Models and Languages, 2021
2020
Sci. Comput. Program., 2020
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
Log. Methods Comput. Sci., 2020
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
Applying supervisory control synthesis to priced featured automata and energy problems.
Int. J. Softw. Tools Technol. Transf., 2019
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
Proceedings of the Coordination Models and Languages, 2019
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Statistical model checking of an energy-saving cyber-physical system in the railway domain.
Proceedings of the Symposium on Applied Computing, 2017
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag., 2016
J. Log. Algebraic Methods Program., 2016
Log. Methods Comput. Sci., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
2013
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013