Follow
Ali Khalili
Title
Cited by
Cited by
Year
Learning nondeterministic Mealy machines
A Khalili, A Tacchella
Proceedings of the 12th International Conference on Grammatical Inference, 2014
302014
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
302009
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
172009
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
102016
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
82014
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
72009
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
42017
SimGine: A simulation engine for stochastic discrete-event systems based on SDES description
A Khalili, M Abdollahi Azgomi, A Jalaly Bidgoly
SIMULATION, 2013
42013
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
22016
Automatic test-pattern generation for grey-box programs
A Khalili, M Narizzano, A Tacchella, E Giunchiglia
2015 IEEE/ACM 10th International Workshop on Automation of Software Test, 33-37, 2015
12015
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
12010
Investigation of some traits of medicinal herb (Borago officinalis L.) in treatment of salicylic acid and biological fertilizers
A Lolaei, A Khalili, S Moshfeghifar
2019
Evaluation of the Effect of Salicylic Acid and Biological Fertilizers on Morphological and Physiological Characteristics of Medicinal Herbs Borago officinalis L.
A Lolaei, A Khalili, B Kaviani
2019
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
2012
PDETool
A Khalili
2008
The system can't perform the operation now. Try again later.
Articles 1–15