AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Reza Ahmadi

Reza Ahmadi

Queen's University Kingston - Kingston / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 5208002
person_outline Reza Ahmadi's MOST POPULAR ARTICLES
1-) Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware.R Ahmadi, N Hili, L Jweda, N Das, S Ganesan, J DingelEduSymp/OSS4MDE@ MoDELS, 37-44, 2016172016
2-) mCUTE: A Model-level Concolic Unit Testing Engine for UML State MachinesR Ahmadi, J Dingel, K JahedThe IEEE/ACM Automated Software Engineering (ASE), 4, 201992019
3-) Slicing UML-based Models of Real-time Embedded SystemsR Ahmadi, E Posse, J DingelACM/IEEE 21st International Conference on Model Driven Engineering Languages …, 201882018
4-) Automatic verification of Dafny programs with traitsR Ahmadi, KRM Leino, J NummenmaaProceedings of the 17th Workshop on Formal Techniques for Java-like Programs …, 201572015
5-) Property-aware unit testing of uml-rt models in the context of mdeR Ahmadi, N Hili, J DingelModelling Foundations and Applications: 14th European Conference, ECMFA 2018 …, 201862018