| Learning nondeterministic Mealy machines A Khalili, A Tacchella Proceedings of the 12th International Conference on Grammatical Inference, 2014 | 33 | 2014 |
| 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 | 32 | 2009 |
| 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 | 19 | 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: Proceedings of the 13th International …, 2016 | 10 | 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 | 8 | 2017 |
| 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 | 7 | 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 | 7 | 2009 |
| SimGine: A simulation engine for stochastic discrete-event systems based on SDES description A Khalili, M Abdollahi Azgomi, A Jalaly Bidgoly SIMULATION, 2013 | 4 | 2013 |
| 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 | 2 | 2016 |
| 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 | 2 | 2010 |
| Assessment of flood vulnerability in Makran region using ArcGIS software A Khalili, A Osrosh GEOGRAPHICAL JOURNAL OF TERRITORY 17 (66001500), 1-11, 2020 | 1 | 2020 |
| 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 | 1 | 2015 |
| 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 |
Armando TacchellaProfessor, Information Processing Systems, University of GenoaAdresse e-mail validée de unige.it
