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
312014
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
312009
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
182009
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
Territory 17 (66), 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
Evaluation of the Effect of Salicylic Acid and Biological Fertilizers on Morphological and Physiological Characteristics of Medicinal Herbs Borago officinalis L.
A Khalili
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
بهینه سازی پارامترهای جوشکاری قوس تنگستن گاز پالسی در اتصال غیرمشابه مونل۴۰۰ و فولاد زنگ نزن آستنیتیL۳۱۶
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–20