Ali Khalili
TitleCited byYear
Performance evaluation of sensor medium access control protocol using coloured petri nets
MA Azgomi, A Khalili
Electronic Notes in Theoretical Computer Science 242 (2), 31-42, 2009
Learning nondeterministic Mealy machines
A Khalili, A Tacchella
Proceedings of the 12th International Conference on Grammatical Inference, 2014
PDETool: A multi-formalism modeling tool for discrete-event systems based on SDES description
A Khalili, A Jalaly Bidgoly, M Abdollahi Azgomi
Applications and Theory of Petri Nets, 343-352, 2009
Engineering approaches and methods to verify software in autonomous systems
G Cicala, A Khalili, G Metta, L Natale, S Pathak, L Pulina, A Tacchella
Intelligent Autonomous Systems 13, 1683-1700, 2016
Reverse engineering of middleware for verification of robot control architectures
A Khalili, L Natale, A Tacchella
International Conference on Simulation, Modeling, and Programming for …, 2014
Implementation of Coloured Stochastic Activity Networks within the PDETool Framework
AJ Bidgoly, A Khalili, MA Azgomi
Modelling & Simulation, 2009. AMS'09. Third Asia International Conference on …, 2009
Learning for Verification in Embedded Systems: A Case Study
A Khalili, M Narizzano, A Tacchella
Conference of the Italian Association for Artificial Intelligence, 525-538, 2016
Learning middleware models for verification of distributed control programs
A Khalili, M Narizzano, L Natale, A Tacchella
Robotics and Autonomous Systems 92, 139-151, 2017
SimGine: A simulation engine for stochastic discrete-event systems based on SDES description
A Khalili, M Abdollahi Azgomi, A Jalaly Bidgoly
Fast parallel model estimation on the cell broadband engine
A Khalili, A Fijany, F Hosseini, S Safari, JG Fontaine
International Symposium on Visual Computing, 469-480, 2010
Automatic test-pattern generation for grey-box programs
A Khalili, M Narizzano, A Tacchella, E Giunchiglia
Proceedings of the 10th International Workshop on Automation of Software …, 2015
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
A Khalili, MA Azgomi
Journal of Advances in Computer Research 3 (4), 1-16, 2012
A Khalili
The system can't perform the operation now. Try again later.
Articles 1–13