Davide Basile

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 58

Top Topics

Supervisory Control

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Log. Algebraic Methods Program.

Publications

Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024 (137) (2024)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138 (2024)
David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE (2024)
Davide Basile
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. COORDINATION (2024)
Davide Basile, Maurice H. ter Beek
Advancing orchestration synthesis for contract automata. J. Log. Algebraic Methods Program. 141 (2024)
Davide Basile, Maurice H. ter Beek
Research Challenges in Orchestration Synthesis. CoRR (2023)
Davide Basile
A Sound and Complete Refinement Relation for Non-reducible Modal Transition Systems. CoRR (2023)
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE (2023)
Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Davide Basile, Franco Mazzanti, Alessio Ferrari
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS (2023)
Davide Basile, Maurice H. ter Beek
A Runtime Environment for Contract Automata. FM (2023)
Davide Basile, Maurice H. ter Beek
A Runtime Environment for Contract Automata. CoRR (2022)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48 (11) (2022)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) (2022)
Davide Basile, Maurice H. ter Beek
Contract Automata Library. Sci. Comput. Program. 221 (2022)
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022 (131) (2022)
Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27 (7) (2022)
Davide Basile, Alessandro Fantechi, Irene Rosadi
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. FMICS (2021)
Davide Basile
Secure Multi-Party Computation with Service Contract Automata. ERCIM News 2021 (126) (2021)
Davide Basile, Maurice H. ter Beek
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. COORDINATION (2021)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects Comput. 33 (6) (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR (2021)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) (2020)
Davide Basile, Maurice H. ter Beek, Axel Legay
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE (2020)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Franco Mazzanti, Davide Basile
A Formal Methods Demonstrator for Railways. ERCIM News 2020 (121) (2020)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16 (2) (2020)
Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) (2020)
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
Comparing formal tools for system design: a judgment study. ICSE (2020)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020)
Davide Basile, Maurice H. ter Beek, Axel Legay
Timed service contract automata. Innov. Syst. Softw. Eng. 16 (2) (2020)
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops (2019)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR (2019)
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION (2019)
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail (2019)
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back (2019)
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. From Software Engineering to Formal Methods and Tools, and Back (2019)
Davide Basile
Applying supervisory control synthesis to priced featured automata and energy problems. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail (2019)
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS (2019)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM (2018)
Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
Orchestration Synthesis for Real-Time Service Contracts. VECoS (2018)
Davide Basile, Maurice H. ter Beek, Stefania Gnesi
Modelling and analysis with featured modal contract automata. SPLC (2) (2018)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) (2018)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian Luigi Ferrari
Specifying variability in service contracts. VaMoS (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD (2017)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Automata for Specifying and Orchestrating Service Contracts. Log. Methods Comput. Sci. 12 (4) (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Relating two automata-based models of orchestration and choreography. J. Log. Algebraic Methods Program. 85 (3) (2016)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6 (2) (2016)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) (2016)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
Playing with Our CAT and Communication-Centric Applications. FORTE (2016)
Davide Basile, Letterio Galletta, Gianluca Mezzetti
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security (2015)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE (2015)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Automata for Analysing Service Contracts. TGC (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto
From Orchestration to Choreography through Contract Automata. ICE (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
A formal framework for secure and complying services. J. Supercomput. 69 (1) (2014)
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
Secure and Unfailing Services. PaCT (2013)