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.009 secondi).
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