Ali Khalili

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Armando Tacchella

> Home > Persons > Ali Khalili

Publications

2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/KhaliliNNT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/KhaliliNNT17
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella:
Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. 92: 139-151 (2017)
2016
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/KhaliliNT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/KhaliliNT16
Ali Khalili, Massimo Narizzano, Armando Tacchella:
Learning for Verification in Embedded Systems: A Case Study. AI*IA 2016: 525-538
2015
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KhaliliNTG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KhaliliNTG15
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS 2014: 1683-1700
[c15]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icgi/KhaliliT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/KhaliliT14
Ali Khalili, Armando Tacchella:
Learning Nondeterministic Mealy Machines. ICGI 2014: 109-123
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/KhaliliNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR 2014: 315-326
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KhaliliNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR abs/1411.1907 (2014)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.