Morteza Mohaqeqi

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