Morteza Mohaqeqi

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 25

Top Topics

Space Partitioning

Approximation Algorithms

Embedded Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. CoRR (2022)
Morteza Mohaqeqi, Gaoyang Dai, Wang Yi
Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. DATE (2022)
Gaoyang Dai, Morteza Mohaqeqi, Petros Voudouris, Wang Yi
Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA (2022)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION (2022)
Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. RTCSA (2021)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR (2020)
Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, Karl-Erik Årzén
Optimal harmonic period assignment: complexity results and approximation algorithms. Real Time Syst. 54 (4) (2018)
Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. RTAS (2018)
Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162 (2018)
Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools (2017)
Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi
Synthesis of ada code from graph-based task models. SAC (2017)
Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi
Refinement of Workload Models for Engine Controllers by State Space Partitioning. ECRTS (2017)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe (2017)
Morteza Mohaqeqi, Pontus Ekberg, Wang Yi
On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. RTNS (2016)
Sedigheh Asyaban, Mehdi Kargahi, Lothar Thiele, Morteza Mohaqeqi
Analysis and Scheduling of a Battery-Less Mixed-Criticality System with Energy Uncertainty. ACM Trans. Embed. Comput. Syst. 16 (1) (2016)
Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, Karl-Erik Årzén
On the Problem of Finding Optimal Harmonic Periods. RTNS (2016)
Morteza Mohaqeqi, Mehdi Kargahi, Kazim Fouladi
Stochastic Thermal Control of a Multicore Real-Time System. PDP (2016)
Mitra Nasri, Morteza Mohaqeqi, Gerhard Fohler
Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic. RTNS (2016)
Morteza Mohaqeqi, Mohammad Reza Mousavi
Towards an Approximate Conformance Relation for Hybrid I/O Automata. V2CPS@IFM (2016)
Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi
Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS (2016)
Morteza Mohaqeqi, Mohammad Reza Mousavi
Sound Test-Suites for Cyber-Physical Systems. TASE (2016)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe (2016)
Mehdi Ghasemi, Morteza Mohaqeqi, Mehdi Kargahi
Joint management of processing and cooling power based on inaccurate thermal information in a stochastic real-time system. RTNS (2015)
Morteza Mohaqeqi, Mehdi Kargahi
Thermal analysis of stochastic DVFS-enabled multicore real-time systems. J. Supercomput. 71 (12) (2015)
Zeinab Abbasi, Mehdi Kargahi, Morteza Mohaqeqi
Anomaly detection in embedded systems using simultaneous power and temperature monitoring. ISCISC (2014)
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
Conformance Testing of Cyber-Physical Systems: A Comparative Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar
Analytical Leakage-Aware Thermal Modeling of a Real-Time System. IEEE Trans. Computers 63 (6) (2014)
Morteza Mohaqeqi, Mehdi Kargahi
Temperature-aware adaptive power management: An analytical approach for joint processor and cooling mode selection. Sustain. Comput. Informatics Syst. 4 (4) (2014)
Morteza Mohaqeqi, Mehdi Kargahi
Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach. RTNS (2013)
Morteza Mohaqeqi, Mehdi Kargahi, Maryam Dehghan
Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources. ACM Trans. Embed. Comput. Syst. 13 (1s) (2013)
Morteza Mohaqeqi, Mehdi Kargahi
Utility accrual object distribution in MPSoC real-time embedded systems. J. Comput. Syst. Sci. 79 (4) (2013)
Mitra Nasri, Mehdi Kargahi, Morteza Mohaqeqi
Scheduling of Accuracy-Constrained Real-Time Systems in Dynamic Environments. IEEE Embed. Syst. Lett. 4 (3) (2012)
Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. RTNS (2012)
Morteza Mohaqeqi, Mehdi Kargahi
Utility Accrual Object Distribution in Real-Time Systems. ICPADS (2010)