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
332014
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
322009
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
192009
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: Proceedings of the 13th International …, 2016
102016
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
82017
Reverse engineering of middleware for verification of robot control architectures
A Khalili, L Natale, A Tacchella
Simulation, Modeling, and Programming for Autonomous Robots: 4th …, 2014
72014
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
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
AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016
22016
Fast parallel model estimation on the cell broadband engine
A Khalili, A Fijany, F Hosseini, S Safari, JG Fontaine
Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las …, 2010
22010
Assessment of flood vulnerability in Makran region using ArcGIS software
A Khalili, A Osrosh
GEOGRAPHICAL JOURNAL OF TERRITORY 17 (66001500), 1-11, 2020
12020
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
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
OPTIMIZATION OF THE PULSED GAS TUNGSTEN ARC WELDING PARAMETERS IN DISSIMILAR JOINT BETWEEN MONEL 400 AND AUSTENITIC STAINLESS STEEL AISI 316L
ALI KHALILI, AM KASIRI, M SHAMANIAN
JOURNAL OF SIMULATION AND ANALYSIS OF NOVEL TECHNOLOGIES IN MECHANICAL …, 2017
2017
Optimization of the Pulsed Gas Tungsten Arc Welding in Dissimilar Joining Austenitic Stainless Steel AISI 316L to Nickel-Base Super Alloy of Monel 400
A Khalili, M Kasiri-Asgarani, M Shamanian
Journal of Simulation and Analysis of Novel Technologies in Mechanical …, 2016
2016
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–18