Davide Basile - RankMe

70 papers A* 1B 3C 11Misc 1Journal 27Unranked 26

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