Morteza Mohaqeqi

According to our database, Morteza Mohaqeqi authored at least 33 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks.

Gaoyang Dai, Morteza Mohaqeqi, Petros Voudouris, Wang Yi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks.

Morteza Mohaqeqi, Gaoyang Dai, Wang Yi

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.

Wang Yi, Morteza Mohaqeqi, Susanne Graf

Proceedings of the Coordination Models and Languages, 2022

2021

Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes.

Gaoyang Dai, Morteza Mohaqeqi, Wang Yi

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2018

Sound conformance testing for cyber-physical systems: Theory and implementation.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio

Sci. Comput. Program., 2018

Optimal harmonic period assignment: complexity results and approximation algorithms.

Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, Karl-Erik Årzén

Real Time Syst., 2018

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing.

Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

2017

Synthesis of ada code from graph-based task models.

Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi

Proceedings of the Symposium on Applied Computing, 2017

Refinement of Workload Models for Engine Controllers by State Space Partitioning.

Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

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

Towards an Approximate Conformance Relation for Hybrid I/O Automata.

Morteza Mohaqeqi, Mohammad Reza Mousavi

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Sound Test-Suites for Cyber-Physical Systems.

Morteza Mohaqeqi, Mohammad Reza Mousavi

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic.

Mitra Nasri, Morteza Mohaqeqi, Gerhard Fohler

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

On the Problem of Finding Optimal Harmonic Periods.

Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, Karl-Erik Årzén

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension.

Morteza Mohaqeqi, Pontus Ekberg, Wang Yi

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Stochastic Thermal Control of a Multicore Real-Time System.

Morteza Mohaqeqi, Mehdi Kargahi, Kazim Fouladi

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Schedulability Analysis of Synchronous Digraph Real-Time Tasks.

Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Thermal analysis of stochastic DVFS-enabled multicore real-time systems.

Morteza Mohaqeqi, Mehdi Kargahi

J. Supercomput., 2015

Joint management of processing and cooling power based on inaccurate thermal information in a stochastic real-time system.

Mehdi Ghasemi, Morteza Mohaqeqi, Mehdi Kargahi

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

2014

Analytical Leakage-Aware Thermal Modeling of a Real-Time System.

Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar

IEEE Trans. Computers, 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

Conformance Testing of Cyber-Physical Systems: A Comparative Study.

Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Anomaly detection in embedded systems using simultaneous power and temperature monitoring.

Zeinab Abbasi, Mehdi Kargahi, Morteza Mohaqeqi

Proceedings of the 11th International ISC Conference on Information Security and Cryptology, 2014

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

Utility accrual object distribution in MPSoC real-time embedded systems.

Morteza Mohaqeqi, Mehdi Kargahi

J. Comput. Syst. Sci., 2013

Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach.

Morteza Mohaqeqi, Mehdi Kargahi

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

2012

Scheduling of Accuracy-Constrained Real-Time Systems in Dynamic Environments.

Mitra Nasri, Mehdi Kargahi, Morteza Mohaqeqi

IEEE Embed. Syst. Lett., 2012

Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system.

Morteza Mohaqeqi, Mehdi Kargahi, Ali Movaghar

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2010

Utility Accrual Object Distribution in Real-Time Systems.

Morteza Mohaqeqi, Mehdi Kargahi

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010