Davide BASILE

Ruolo attuale:: Docente A Contratto

Recapiti

	0552751511
	davide.basile(AT)unifi.it

Davide BASILE

Orario di ricevimento (aggiornato al 09/01/2019)

Martedì 14:30-16:00 oppure su appuntamento

Davide BASILE

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita (2020). Controller synthesis of service contracts with variability. SCIENCE OF COMPUTER PROGRAMMING, vol. 187, pp. 102344-102392, ISSN:0167-6423 DOI

Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O. (2020). 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. In: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, grc, 2020, Springer Science and Business Media Deutschland GmbH, vol. 12476, pp. 368-384. DOI

Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A. (2020). Comparing formal tools for system design: A judgment study. In: 42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020, kor, 2020, IEEE Computer Society, pp. 62-74, ISBN:9781450371216 DOI

Basile D.; ter Beek M.H.; Legay A. (2020). Timed service contract automata. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 16, pp. 199-214, ISSN:1614-5046 DOI Accesso ONLINE all'editore

Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D. (2020). Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. In: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, grc, 2020, Springer Science and Business Media Deutschland GmbH, vol. 12478, pp. 467-485. DOI

Basile, Davide*; Di Giandomenico, Felicita; Gnesi, Stefania (2019). On quantitative assessment of reliability and energy consumption indicators in railway systems. In: Davide Basile Felicita Di Giandomenico and Stefania Gnesi. Studies in Systems, Decision and Control, pp. 423-447 Springer International Publishing, ISBN:978-3-030-00252-7. DOI Accesso ONLINE all'editore

Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi (2019). The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In: SAFECOMPW-SASSUR 2019, Springer, pp. 185-197, ISBN:978-3-030-26249-5

Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari (2019). Automata-based Behavioural Contracts with Action Correlation. In: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini. From Software Engineering to Formal Methods and Tools, and Back -- Essays dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 131-151 Springer, ISBN:978-3-030-30984-8. DOI

Basile D.; Fantechi A.; Rucher L.; Mando G. (2019). Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. In: 3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, fra, 2019, Springer Verlag, vol. 11495, pp. 41-58, ISBN:978-3-030-18743-9 DOI Accesso ONLINE all'editore

Chiaradonna S.; Di Giandomenico F.; Masetti G.; Basile D. (2019). A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. In: Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 481-501 Springer Verlag, ISBN:978-3-030-30984-8. DOI Accesso ONLINE all'editore

Basile D.; ter Beek M.H.; Ferrari A.; Legay A. (2019). Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. In: 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, nld, 2019, Springer Verlag, vol. 11687, pp. 1-21, ISBN:978-3-030-27007-0 DOI Accesso ONLINE all'editore

Basile, Davide (2019). Applying supervisory control synthesis to priced featured automata and energy problems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, pp. 679-689, ISSN:1433-2779 DOI

Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D. (2019). Survey on Formal Methods and Tools in Railways: The ASTRail Approach. In: 3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, fra, 2019, Springer Verlag, vol. 11495, pp. 226-241. DOI Accesso ONLINE all'editore

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari (2018). On the industrial uptake of formal methods in the railway domain: A survey with stakeholders. In: 14th International Conference on Integrated Formal Methods, IFM 2018, irl, 2018, Springer Verlag, vol. 11023, pp. 20-29, ISBN:9783319989372 DOI Accesso ONLINE all'editore

Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania (2018). A refinement approach to analyse critical cyber-physical systems. In: International Conference on Software Engineering and Formal Methods SEFM 2017: Software Engineering and Formal Methods, Springer Verlag, pp. 267-283, ISBN:9783319747804 DOI Accesso ONLINE all'editore

Basile, Davide; Beek, Maurice H. ter; Gnesi, Stefania (2018). Modelling and analysis with featured modal contract automata. In: 22nd International Conference on Systems and Software Product Line, Association for Computing Machinery, pp. 11-16, ISBN:9781450359450 DOI

Basile, Davide; ter Beek, Maurice H.; Ciancia, Vincenzo (2018). Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC. In: ISOLA 2018, Springer Verlag, pp. 372-391, ISBN:978-3-030-03420-7 DOI

Basile, Davide; ter Beek, Maurice H.; Legay, Axel; Traonouez, Louis-Marie (2018). Orchestration Synthesis for Real-Time Service Contracts. In: Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Springer Verlag, vol. 11181, pp. 31-47, ISBN:978-3-030-00358-6 DOI

Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, Gian-Luigi (2017). Specifying variability in service contracts. In: 11th International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven University of Technology (TU/e), nld, 2017, Association for Computing Machinery, pp. 20-27, ISBN:9781450348119 DOI Accesso ONLINE all'editore

Gnesi, Stefania; Di Giandomenico, Felicita; Basile, Davide (2017). Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. In: 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, SCITEPRESS, pp. 679-686, ISBN:978-989-758-210-3 DOI

Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania (2017). Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. In: 2nd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2017, ita, 2017, Springer Verlag, vol. 10598, pp. 221-237, ISBN:9783319684987 DOI Accesso ONLINE all'editore

Basile, Davide; Ter Beek, Maurice H.; Di Giandomenico, Felicita; Gnesi, Stefania (2017). Orchestration of dynamic service product lines with featured modal contract automata. In: 21st International Systems and Software Product Line Conference, SPLC 2017, esp, 2017, Association for Computing Machinery, vol. 2, pp. 117-122, ISBN:9781450351195 DOI Accesso ONLINE all'editore

Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania (2017). Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: 32nd Annual ACM Symposium on Applied Computing, SAC 2017, mar, 2017, Association for Computing Machinery, vol. 128005, pp. 1356-1363, ISBN:9781450344869 DOI

Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania (2017). FMCAT: Supporting dynamic service-based product lines. In: 21st International Systems and Software Product Line Conference, SPLC 2017, esp, 2017, Association for Computing Machinery, vol. 2, pp. 3-8, ISBN:9781450351195 DOI Accesso ONLINE all'editore

Basile, Davide*; Di Giandomenico, Felicita; Gnesi, Stefania (2017). Model-based evaluation of energy saving systems. In: Davide Basile and Felicita Di Giandomenico and Stefania Gnesi. Studies in Systems, Decision and Control, pp. 187-208 Springer International Publishing, ISBN:978-3-319-44161-0. DOI Accesso ONLINE all'editore

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio (2016). Playing with our CAT and communication-centric applications. In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems FORTE 2016: Formal Techniques for Distributed Objects, Components, and Systems, Springer Verlag, pp. 62-73, ISBN:9783319395692 DOI Accesso ONLINE all'editore

Davide Basile (2016). Specification and Verification of Contract-Based Applications. (Tutor: Pierpaolo Degano, Gian-Luigi Ferrari)

Basile, D.*; Degano, P.; Ferrari, G.L.; Tuosto, E. (2016). Relating two automata-based models of orchestration and choreography. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 85, pp. 425-446, ISSN:2352-2216 DOI Accesso ONLINE all'editore

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi (2016). Automata for specifying and orchestrating service contracts. LOGICAL METHODS IN COMPUTER SCIENCE, vol. 12, pp. 1-50, ISSN:1860-5974 DOI Accesso ONLINE all'editore

Basile, Davide*; Di Giandomenico, Felicita; Gnesi, Stefania (2016). Tuning energy consumption strategies in the railway domain: A model-based approach. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,, Springer Verlag, vol. 9953, pp. 315-330, ISBN:9783319471686 DOI Accesso ONLINE all'editore

Basile, Davide*; Chiaradonna, Silvano; Di Giandomenico, Felicita; Gnesi, Stefania (2016). A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. JOURNAL OF RAIL TRANSPORT PLANNING & MANAGEMENT, vol. 6, pp. 163-181, ISSN:2210-9706 DOI Accesso ONLINE all'editore

Basile, Davide; Galletta, Letterio; Mezzetti, Gianluca* (2015). Safe adaptation through implicit effect coercion. In: Davide Basile and Letterio Galletta and Gianluca Mezzetti. Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, pp. 122-141, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND: Springer Verlag, ISBN:978-3-319-25526-2. DOI Accesso ONLINE all'editore

Basile, Davide*; Chiaradonna, Silvano; Giandomenico, Felicita Di; Gnesi, Stefania; Mazzanti, Franco (2015). Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: SERENE 2015, Springer Verlag, pp. 82-98, ISBN:9783319231280 DOI Accesso ONLINE all'editore

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio (2014). From orchestration to choreography through contract automata. In: 7th Interaction and Concurrency Experience, ICE 2014, Open Publishing Association, pp. 67-85. DOI Accesso ONLINE all'editore

Basile, Davide; Degano, Pierpaolo*; Ferrari, Gian -Luigi (2014). A formal framework for secure and complying services. THE JOURNAL OF SUPERCOMPUTING, pp. 43-52, ISSN:0920-8542 DOI Accesso ONLINE all'editore

Basile, Davide*; Degano, Pierpaolo; Ferrari, Gian Luigi (2014). Automata for analysing service contracts. In: International Symposium on Trustworthy Global Computing TGC 2014: Trustworthy Global Computing, Springer Verlag, pp. 34-50, ISBN:978-3-662-45916-4 DOI Accesso ONLINE all'editore

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi (2013). Secure and unfailing services. In: Parallel Computing Technologies - 12th International Conference, PaCT 2013, Victor Malyshkin, pp. 167-181, ISBN:9783642399572 DOI

Davide BASILE

Insegnamenti relativi all'Anno Accademico

- - -

Davide BASILE

Curriculum

CV last update 2018

Dates (from - to)

2012– 2016

Name and type of organisation providing education and training

PhD course in Computer Science, Scuola di dottorato Galileo Galilei, University of Pisa

Dates (from - to)		February 2015 – March 2017
Supervisors
Organization		Istituto di Scienze e Tecnologie dell’Informazione, CNR, Pisa
Occupation		Temporary Research fellow, research topic: “Modellazione e analisi di sistemi resilient evolvibili e adattabili”
Main activities		Research
Reference		BANDO ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 ISTI CNR Pisa

Dates (from - to)		April 2017 – ongoing
Supervisors
Organization		Istituto di Scienze e Tecnologie dell’Informazione, CNR, Pisa
Occupation		Research associate, research topic “Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation”
Main activities		Research
Reference

Dates (from - to)		April 2017 – September 2018
Supervisors
Organization		Department of Information Engineering, University of Florence
Occupation		Temporary Research Fellow, research topic “Signaling and Sensing Technologies in Railway Applications”
Main activities		Research
Reference		Reference: Decreto n.2037 Bando Prot. N. 27087 III/13-59.11 Anno 2017

Dates (from - to)		October 2018 – ongoing

Organization		Department of Statistics, Computer Science and Applications, University of Florence
Occupation		Ricercatore t.d. art. 24 c. 3 lett. A Legge 240/10 (t.pieno)
Main activities		Research, Teaching
Reference

• Dates (from - to)		January 2014 – August 2014
• Name and type of organisation providing education and training		Visiting PhD Student at University of Leicester
• Reference		emilio@leicester.ac.uk

• Dates (from - to)		June 2017
• Name and type of organisation providing education and training		Visiting INRIA Rennes under invitation (certification enclosed)
• Reference		axel.legay@inria.fr

Teaching Activities

Dates (from - to)		Second semester a.a. 2013/2014
Supervisor
Organization		Department of Computer Science, University of Pisa
Occupation		Programmazione 2 bachelor course
Main activities		Teaching assistant

Dates (from - to)		Second Semester a.a. 2017/2018
Supervisor
Organization		Department of Computer Science, University of Pisa
Occupation		Languages, Interpreters and Compilers, master course
Main activities		Teaching assistant

Grant

Grant to the amount of €1220 for travel and living expenses and participation fee, for the NATO Advanced Study Institute International Summer School MOD15 on Verification and Synthesis of Correct and Secure Systems, held in Marktoberdorf from August 5 2015 to August 16 2015, references Dr.Katharina Spies asimod@in.tum.de,

Grant to the amount of €920 for travel expenses and participating fee to attend the 11th International Federation for Information Processing (IFIP) International Federated Conference on Distributed Computing Techniques — DisCoTec, helded on 6-9 June 2016 in Heraklion, Greece. Reference: Kostas Magoutis, General Chair of DisCoTec 2016

ISTI Young Research Award++ 2017 and 2018, Grant of 1000 euro http://www.isti.cnr.it/news/yawards-yra.php protocol n.1250 of 6 March 2017, reference: Claudio Montani, ISTI CNR Pisa

European Projects

PRIN Security Horizon (2010XSEMLC), from 1/2/2013 to 31/12/2014,

Reference: Prof.Degano – (Department of Computer Science, UNIPI)

Role: PhD Student

PRIN TENACE 20103P34XC, from 1/2/2015 to 31/1/2016,

Reference: Bando ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 CUP B81J12002720001

Role: Temporary Research Fellow (ISTI CNR)

PRIN CINA 2010LHT4KM, from 1/2/2015 to 31/1/2016,

Reference: Bando ISTI 037/2014 - PI Prot. 4531 del 09-12-2014 CUP B81J12002720001

Role: Temporary Research Fellow (ISTI CNR)

H2020 2017-2020 S2R-OC-IP2-01-2017 “Operational conditions of the signalling and automation systems; signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field” from 1/09/2017 to ongoing

Title: ASTRail – Satellite-based Signalling and Automation Systems on Railway along with Formal Method and Moving Block validation

Reference: Dott. Stefania Gnesi (ISTI CNR)