CNR Institutional Research Information System

Sfoglia per Autore  BASILE DAVIDE

Opzioni
Mostrati risultati da 1 a 20 di 114
Titolo Data di pubblicazione Autore(i) File
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo
Formal methods for railway systems: a survey of research and technology transfer projects 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Asynchronous team automata 1-gen-2026 Basile, Davide; Ter Beek, Maurice H.; Proença, José
Formal analysis of the contract automata runtime environment with Uppaal: modelling, verification and testing 1-gen-2026 Basile, Davide
Comparing model checking and model-based simulation: presentation 1-gen-2025 Basile, D.; Mazzanti, F.
Comparing model checking and model-based simulation 1-gen-2025 Basile, D.; Mazzanti, F.
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 1-gen-2025 D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 1-gen-2025 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL 1-gen-2024 Basile, Davide
Coherent modal transition systems refinement 1-gen-2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Advanced integrated evaluation of railway systems 1-gen-2024 Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro
Advancing orchestration synthesis for contract automata 1-gen-2024 Basile, D.; ter Beek, M.
Time for networks: mutation testing for timed automata networks 1-gen-2024 Cortés, David; Ortiz, James; Basile, Davide; Aranda, Jesus; Perrouin, Gilles; Schobbens, Pierre Yves
Sustainable mobility: increase of capacity and digitisation of railway transport 1-gen-2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
Modelling, verifying and testing the contract automata runtime environment with UPPAAL 1-gen-2024 Basile, Davide
CN MOST SP4 D1.3.1: Report on formal models 1-gen-2024 Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies 1-gen-2024 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
An integrated perspective on the evaluation of complex railway systems 1-gen-2024 Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Modelling, verifying and testing the contract automata runtime environment with Uppaal 1-gen-2023 Basile, D
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data 1-gen-2023 Basile D.
Mostrati risultati da 1 a 20 di 114
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile