Utility Accrual Object Distribution in Real-Time Systems. - Morteza Mohaqeqi; Mehdi Kargahi (ICPADS, 2010)

Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system. - Morteza Mohaqeqi; Mehdi Kargahi; Ali Movaghar 001 (RTNS, 2012)

Scheduling of Accuracy-Constrained Real-Time Systems in Dynamic Environments. - Mitra Nasri; Mehdi Kargahi; Morteza Mohaqeqi (IEEE Embed. Syst. Lett., 2012)

Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach. - Morteza Mohaqeqi; Mehdi Kargahi (RTNS, 2013)

Utility accrual object distribution in MPSoC real-time embedded systems. - Morteza Mohaqeqi; Mehdi Kargahi (J. Comput. Syst. Sci., 2013)

Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources. - Morteza Mohaqeqi; Mehdi Kargahi; Maryam Dehghan (ACM Trans. Embed. Comput. Syst., 2013)

Anomaly detection in embedded systems using simultaneous power and temperature monitoring. - Zeinab Abbasi; Mehdi Kargahi; Morteza Mohaqeqi (ISCISC, 2014)

Conformance Testing of Cyber-Physical Systems: A Comparative Study. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Walid Taha (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Temperature-aware adaptive power management: An analytical approach for joint processor and cooling mode selection. - Morteza Mohaqeqi; Mehdi Kargahi (Sustain. Comput. Informatics Syst., 2014)

Analytical Leakage-Aware Thermal Modeling of a Real-Time System. - Morteza Mohaqeqi; Mehdi Kargahi; Ali Movaghar 001 (IEEE Trans. Computers, 2014)

Joint management of processing and cooling power based on inaccurate thermal information in a stochastic real-time system. - Mehdi Ghasemi; Morteza Mohaqeqi; Mehdi Kargahi (RTNS, 2015)

Thermal analysis of stochastic DVFS-enabled multicore real-time systems. - Morteza Mohaqeqi; Mehdi Kargahi (J. Supercomput., 2015)

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2016)

Schedulability Analysis of Synchronous Digraph Real-Time Tasks. - Morteza Mohaqeqi; Jakaria Abdullah; Nan Guan; Wang Yi 001 (ECRTS, 2016)

Stochastic Thermal Control of a Multicore Real-Time System. - Morteza Mohaqeqi; Mehdi Kargahi; Kazim Fouladi (PDP, 2016)

On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. - Morteza Mohaqeqi; Pontus Ekberg; Wang Yi 001 (RTNS, 2016)

On the Problem of Finding Optimal Harmonic Periods. - Morteza Mohaqeqi; Mitra Nasri; Yang Xu 028; Anton Cervin; Karl-Erik Årzén (RTNS, 2016)

Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic. - Mitra Nasri; Morteza Mohaqeqi; Gerhard Fohler (RTNS, 2016)

Sound Test-Suites for Cyber-Physical Systems. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001 (TASE, 2016)

Towards an Approximate Conformance Relation for Hybrid I/O Automata. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001 (V2CPS@IFM, 2016)

Analysis and Scheduling of a Battery-Less Mixed-Criticality System with Energy Uncertainty. - Sedigheh Asyaban; Mehdi Kargahi; Lothar Thiele; Morteza Mohaqeqi (ACM Trans. Embed. Comput. Syst., 2016)

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2017)

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. - Jakaria Abdullah; Gaoyang Dai; Nan Guan; Morteza Mohaqeqi; Wang Yi 001 (Models, Algorithms, Logics and Tools, 2017)

Refinement of Workload Models for Engine Controllers by State Space Partitioning. - Morteza Mohaqeqi; Syed Md Jakaria Abdullah; Pontus Ekberg; Wang Yi 001 (ECRTS, 2017)

Synthesis of ada code from graph-based task models. - Jakaria Abdullah; Morteza Mohaqeqi; Wang Yi 001 (SAC, 2017)

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. - Jakaria Abdullah; Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTAS, 2018)

Optimal harmonic period assignment: complexity results and approximation algorithms. - Morteza Mohaqeqi; Mitra Nasri; Yang Xu 028; Anton Cervin; Karl-Erik Årzén (Real Time Syst., 2018)

Sound conformance testing for cyber-physical systems: Theory and implementation. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (Sci. Comput. Program., 2018)

Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. - Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTCSA, 2021)

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. - Wang Yi 001; Morteza Mohaqeqi; Susanne Graf (COORDINATION, 2022)

Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. - Morteza Mohaqeqi; Gaoyang Dai; Wang Yi 001 (DATE, 2022)

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. - Ehsan Khamespanah; Morteza Mohaqeqi; Mohammad Ashjaei; Marjan Sirjani (ETFA, 2022)

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. - Gaoyang Dai; Morteza Mohaqeqi; Petros Voudouris; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)