Davide Basile
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Comparing formal tools for system design: a judgment study
Alessio Ferrari and others (2020) · Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering · ACM
On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders
Davide Basile and others (2018) · Lecture notes in computer science · Springer Science+Business Media
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
Davide Basile and others (2017) · Proceedings of the 21st International Systems and Software Product Line Conference - Volume B · ACM
Specification and Verification of Contract-Based Applications
Davide Basile (2016)