Le informazioni pubblicate in questa pagina sono gestite in completa autonomia da DAVIDE BASILE il/la quale se ne assume ogni responsabilità
Basile D.; ter Beek M. H.; Pugliese R.
(2020) in Logical Methods in Computer Science
Mazzanti F.; Basile D.
(2020) in ERCIM news online edition
Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.
(2020) ISoLA'20 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications, Rhodes, Greece, 20-30 October, 2020
Basile D.; ter Beek M.H.; Cordy M.; Legay A.
(2020) Proceedings of the 24th International Systems and Software Product Line Conference (SPLC'20), Montréal, Québec, Canada, 19-23/10/2020
Ferrari A,; MazzantiF.; Basile D.; ter Beek M.H.; Fantechi A.
(2020) ICSE'20 - 42nd International Conference on Software Engineering, Seoul, Republic of Korea, 27/6/2020-19/7/2020
Basile D.; ter Beek M.H.; Legay A.
(2020) 40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), Valletta, Malta, 15-19/06/2020
Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
(2020) ISoLA 2020 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Rhodes, Greece, 20-30/10/2020
Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Ferrari A.; Piattino A.; Masullo L.; Trentini D.
(2020)
Mazzanti F.; Basile D.
(2020)
Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G. L.; Gnesi S.; Di Giandomenico F.
(2019) in Science of computer programming (Print)
Basile D.
(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 S.; Di Giandomenico F.; Masetti G.; Basile D.
(2019) in From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, 2019
Basile, Davide; Pugliese, Rosario; Tiezzi, Francesco; Degano, Pierpaolo; Ferrari, Gian Luigi
(2019) , 2019
Basile D.; Di Giandomenico F.; Gnesi S.
(2019) in Green IT Engineering: Social, Business and Industrial Applications, 2019
Ferrari A.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Trentini D.; Piattino A.; Sturani B.
(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.
(2018) in Software Engineering and Formal Methods, 2018
Ferrari A.; Basile D.; Mazzanti F.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D.
(2018)
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.; Di Giandomenico F.; Gnesi s.
(2017) MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, Porto, Portugal, 02/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 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
