Follow
Morteza Mohaqeqi
Title
Cited by
Cited by
Year
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
242018
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
212017
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
182016
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
182012
Sound test-suites for cyber-physical systems
M Mohaqeqi, MR Mousavi
2016 10th international symposium on theoretical aspects of software …, 2016
172016
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
172014
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
172012
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
142018
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
142016
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
122016
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
92016
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
92010
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
82016
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
72012
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
62021
Quantifying the effect of period ratios on schedulability of rate monotonic
M Nasri, M Mohaqeqi, G Fohler
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
62016
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
62016
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
52018
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
52017
Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources
M Mohaqeqi, M Kargahi, M Dehghan
ACM Transactions on Embedded Computing Systems (TECS) 13 (1s), 1-28, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20