KHALILI, ALI
KHALILI, ALI
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.013 secondi).
Automatic Test-Pattern Generation for Grey-Box Programs
2015-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Engineering approaches and methods to verify software in autonomous systems
2014-01-01 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Learning for verification in embedded systems: A case study
2016-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando
Learning middleware models for verification of distributed control programs
2017-01-01 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando
Learning Nondeterministic Mealy Machines
2014-01-01 Khalili, Ali; Tacchella, Armando
Reverse Engineering of Middleware for Verification of Robot Control Architectures
2014-01-01 Khalili, Ali; Natale, Lorenzo; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automatic Test-Pattern Generation for Grey-Box Programs | 1-gen-2015 | Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico | |
| Engineering approaches and methods to verify software in autonomous systems | 1-gen-2014 | Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Learning for verification in embedded systems: A case study | 1-gen-2016 | Khalili, Ali; Narizzano, Massimo; Tacchella, Armando | |
| Learning middleware models for verification of distributed control programs | 1-gen-2017 | Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando | |
| Learning Nondeterministic Mealy Machines | 1-gen-2014 | Khalili, Ali; Tacchella, Armando | |
| Reverse Engineering of Middleware for Verification of Robot Control Architectures | 1-gen-2014 | Khalili, Ali; Natale, Lorenzo; Tacchella, Armando |