Davide Basile

Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G. L.; Gnesi S.; Di Giandomenico F.

(2020) in Science of computer programming (Print)

Basile, Davide

(2019) in International journal on software tools for technology transfer (Print)

Basile D.; ter Beek M.H.; Legay A.

(2019) in Innovations in systems and software engineering (Print)

Basile D.; ter Beek M.H.; Ferrari A.; Legay A.

(2019) 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS'19), Amsterdam, The Netherlands, 30-31 August 2019

Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi

(2019) Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,, 10/9/2019

Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca

(2019) {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, 4-6/6/2019

Basile D.; ter Beek M.H.; Pugliese R.

(2019) 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), Kongens Lyngby, Denmark, 17-21/06/2019

Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D.

(2019) RSSRail'19 - Third International Conference on Reliability, Safety, and Security of Railway Systems, Lille, France, 04-06 June 2019

Chiaradonna, Silvano; Di Giandomenico, Felicita; Masetti, Giulio; Basile, Davide

(2019) , 2019

Basile, Davide; Pugliese, Rosario; Tiezzi, Francesco; Degano, Pierpaolo; Ferrari, Gian Luigi

(2019) , 2019

Basile D.; ter Beek M.H.; Fantechi A.; Gnesi S.; Mazzanti F.; Piattino A.; Trentini D.; Ferrari A.

(2018) IFM'18 - 14th International Conference on Integrated Formal Methods, Maynooth, Ireland, 5-7/9/2018

Basile D.; ter Beek M.H.; Legay A.; Traonouez L.M.

(2018) 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18), Grenoble, France, 26-28/9/2018

Basile D.; ter Beek M.H.; Gnesi S.

(2018) SPLC'18 - 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, 10-14 September 2018

Basile D.; ter Beek M.H.; Ciancia V.

(2018) ISoLA'18 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cyprus, 5-9 November 2018

Basile D.; Di Giandomenico F.; Gnesi s.

(2017) MODELSWARD, Porto, 02/2017

Basile D.; Di Giandomenico F.; Gnesi S.; Degano P.; Ferrari G.L.

(2017) Vamos, Eindhoven, 2/2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017) SPLC, Siviglia, 09/2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017) RSSRail, Pistoia, 11/2017

Basile D.; Ter Beek M. H.; Di Giandomenico F.; Gnesi S.

(2017) SPLC'17 21st International Systems & Software Product Line Conference, Sevilla, Spain, 25-29 September 2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017) SAC 2017 - 32th ACM SIGAPP Symposium on Applied Computing, Marrakesh, Marocco, 4-6 April 2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017) in Software Engineering and Formal Methods, 2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017) in Green IT Engineering: Concepts, Models, Complex Systems Architectures, 2017

Basile D.; Di Giandomenico F.; Gnesi S.

(2017)

Basile D.; Ter Beek M. H.; Di Giandomenico F.; Gnesi S.; Degano P.; Ferrari G. L.; Legay A.

(2017)

Barsocchi P.; Basile D.; Candela L.; Ciancia V.; Delle Piane M.; Esuli A.; Ferrari A.; Girardi M.; Guidotti R.; Lonetti F.; Moroni D.; Nardini F. M.; Rinzivillo S.; Vadicamo L.

(2017)

Basile D.; Degano P.; Ferrari G.; Tuosto E.

(2016) in Journal of Logical and Algebraic Methods in Programming [online]

Basile D.; Degano P.; Ferrari G.

(2016) in Logical Methods in Computer Science

Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.

(2016) in Journal of rail transport planning & management (Print)

Basile D.; Degano P.; Ferrari G.-L.; Tuosto E.

(2016) Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference, Heraklion, Crete, Greece, 6-9 June 2016

Basile D.; Di Giandomenico F.; Gnesi S.

(2016) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, Corfu, Greece, 10-14 October 2016

Basile D.; Di Giandomenico F.; Gnesi S.

(2016) 2th CINI Annual Conference on ICT for Smart Cities & Communities, Benevento, Italy, 29-30 September 2016

Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.

(2016)

Basile D.; Chiaradonna S.; Giandomenico F.D.; Gnesi S.; Mazzanti F.

(2015) Software Engineering for Resilient Systems. 7th International Workshop, Paris, France, 7-8/09/2015

Basile D.; Galletta L.; Mezzetti G.

(2015) in Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, 2015

Basile D.; Di Giandomenico F.; Gnesi S.

(2015) CINI Annual Conference on ICT for Smart Cities & Communities, Palermo, Italy, 29-30 Ottobre 2015

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi

(2014) in Journal of supercomputing

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi; Tuosto, Emilio

(2014) Proceedings 7th Interaction and Concurrency Experience, ICE 2014, 14/11/2018

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi

(2014) Trustworthy Global Computing - 9th International Symposium, 5-6/9/2014

Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi

(2013) Parallel Computing Technologies - 12th International Conference, 30/9/2013-4/10/2013