Sfoglia per Rivista
EvoMBT: Evolutionary model based testing
2023-01-01 Ferdous, Raihana; Hung, Chia-kang; Kifetew, Fitsum; Prandi, Davide; Susi, Angelo
Extraction of domain concepts from the source code
2015-01-01 Surafel Lemma, Abebe; Tonella, Paolo
Gamifying model-based engineering: The PapyGame tool
2023-01-01 Bucchiarone, Antonio; Savary-Leblanc, Maxime; Le Pallec, Xavier; Bruel, Jean-Michel; Cicchetti, Antonio; Cabot, Jordi; Gérard, Sébastien
GaMoVR: Gamification-based UML learning environment in virtual reality
2024-01-01 Yigitbas, Enes; Schmidt, Maximilian; Bucchiarone, Antonio; Gottschalk, Sebastian; Engels, Gregor
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills
2024-01-01 Bucchiarone, Antonio; Martorella, Tommaso; Frageri, Davide; Colombo, Diego
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
2012-01-01 María, Alpuente; Christophe, Joubert; Stefan, Kowalewski; Roveri, Marco
PX-MBT: A framework for model-based player experience testing
2024-01-01 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Dastani, Mehdi; Keller, Gabriele; Prandi, Davide; Kifetew, Fitsum Meshesha; Dignum, Frank
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
2025-01-01 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
2000-01-01 V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| EvoMBT: Evolutionary model based testing | 1-gen-2023 | Ferdous, Raihana; Hung, Chia-kang; Kifetew, Fitsum; Prandi, Davide; Susi, Angelo | |
| Extraction of domain concepts from the source code | 1-gen-2015 | Surafel Lemma, Abebe; Tonella, Paolo | |
| Gamifying model-based engineering: The PapyGame tool | 1-gen-2023 | Bucchiarone, Antonio; Savary-Leblanc, Maxime; Le Pallec, Xavier; Bruel, Jean-Michel; Cicchetti, Antonio; Cabot, Jordi; Gérard, Sébastien | |
| GaMoVR: Gamification-based UML learning environment in virtual reality | 1-gen-2024 | Yigitbas, Enes; Schmidt, Maximilian; Bucchiarone, Antonio; Gottschalk, Sebastian; Engels, Gregor | |
| PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills | 1-gen-2024 | Bucchiarone, Antonio; Martorella, Tommaso; Frageri, Davide; Colombo, Diego | |
| Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) | 1-gen-2012 | María, Alpuente; Christophe, Joubert; Stefan, Kowalewski; Roveri, Marco | |
| PX-MBT: A framework for model-based player experience testing | 1-gen-2024 | Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Dastani, Mehdi; Keller, Gabriele; Prandi, Davide; Kifetew, Fitsum Meshesha; Dignum, Frank | |
| Safety Assessment of AltaRica Models via Symbolic Model Checking | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
| System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator | 1-gen-2025 | Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano | |
| Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints | 1-gen-2000 | V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto |
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