| Sound conformance testing for cyber-physical systems: Theory and implementation H Araujo, G Carvalho, M Mohaqeqi, MR Mousavi, A Sampaio Science of Computer Programming 162, 35-54, 2018 | 23 | 2018 |
| Refinement of workload models for engine controllers by state space partitioning M Mohaqeqi, J Abdullah, P Ekberg, W Yi 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), 2017 | 21 | 2017 |
| Optimal harmonic period assignment: complexity results and approximation algorithms M Mohaqeqi, M Nasri, Y Xu, A Cervin, KE Ĺrzén Real-Time Systems 54, 830-860, 2018 | 20 | 2018 |
| Schedulability Analysis of Synchronous Digraph Real-Time Tasks M Mohaqeqi, J Abdullah, N Guan, W Yi 28th Euromicro Conference on Real-Time Systems (ECRTS) (2016), 176-186, 2016 | 19 | 2016 |
| Scheduling of accuracy-constrained real-time systems in dynamic environments M Nasri, M Kargahi, M Mohaqeqi IEEE Embedded Systems Letters 4 (3), 61-64, 2012 | 18 | 2012 |
| Sound test-suites for cyber-physical systems M Mohaqeqi, MR Mousavi 2016 10th international symposium on theoretical aspects of software …, 2016 | 17 | 2016 |
| Conformance testing of cyber-physical systems: A comparative study M Mohaqeqi, MR Mousavi, W Taha The 14th International Workshop on Automated Verification of Critical …, 2014 | 17 | 2014 |
| Analytical leakage-aware thermal modeling of a real-time system M Mohaqeqi, M Kargahi, A Movaghar IEEE Transactions on Computers 63 (6), 1378-1392, 2012 | 17 | 2012 |
| Analysis and scheduling of a battery-less mixed-criticality system with energy uncertainty S Asyaban, M Kargahi, L Thiele, M Mohaqeqi ACM Transactions on Embedded Computing Systems (TECS) 16 (1), 1-26, 2016 | 14 | 2016 |
| On the problem of finding optimal harmonic periods M Mohaqeqi, M Nasri, Y Xu, A Cervin, KE Ĺrzén Proceedings of the 24th International Conference on Real-Time Networks and …, 2016 | 11 | 2016 |
| Mimos: A deterministic model for the design and update of real-time systems W Yi, M Mohaqeqi, S Graf International Conference on Coordination Languages and Models, 17-34, 2022 | 10 | 2022 |
| A new approach for better document retrieval and classification performance using supervised WSD and Concept Graph R Soltanpoor, M Mohsenzadeh, M Mohaqeqi 2010 First International Conference on Integrated Intelligent Computing, 32-38, 2010 | 10 | 2010 |
| On fixed-priority schedulability analysis of sporadic tasks with self-suspension M Mohaqeqi, P Ekberg, W Yi Proceedings of the 24th International Conference on Real-Time Networks and …, 2016 | 9 | 2016 |
| Stochastic thermal control of a multicore real-time system M Mohaqeqi, M Kargahi, K Fouladi 2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016 | 9 | 2016 |
| Timing-anomaly free dynamic scheduling of periodic DAG tasks with non-preemptive nodes G Dai, M Mohaqeqi, W Yi 2021 IEEE 27th International Conference on Embedded and Real-Time Computing …, 2021 | 7 | 2021 |
| Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system M Mohaqeqi, M Kargahi, A Movaghar Proceedings of the 20th International Conference on Real-Time and Network …, 2012 | 7 | 2012 |
| Modeling and analysis of data flow graphs using the digraph real-time task model M Mohaqeqi, J Abdullah, W Yi Reliable Software Technologies–Ada-Europe 2016: 21st Ada-Europe …, 2016 | 6 | 2016 |
| Schedulability analysis and software synthesis for graph-based task models with resource sharing J Abdullah, G Dai, M Mohaqeqi, W Yi 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018 | 5 | 2018 |
| Synthesis of Ada code from graph-based task models J Abdullah, M Mohaqeqi, W Yi Proceedings of the Symposium on Applied Computing, 1467-1472, 2017 | 5 | 2017 |
| Towards a tool: times-pro for modeling, analysis, simulation and implementation of cyber-physical systems J Abdullah, G Dai, N Guan, M Mohaqeqi, W Yi Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 5 | 2017 |
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
