Towards an Approximate Conformance Relation for Hybrid I/O Automata von Mohaqeqi, Morteza, Mousavi, Mohammad Reza

Volltext

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks von Dai, Gaoyang, Mohaqeqi, Morteza, Voudouris, Petros, Yi, Wang

Volltext

Thermal analysis of stochastic DVFS-enabled multicore real-time systems von Mohaqeqi, Morteza, Kargahi, Mehdi

Volltext

Analytical Leakage-Aware Thermal Modeling of a Real-Time System von Mohaqeqi, Morteza, Kargahi, Mehdi, Movaghar, Ali

Volltext

Sound conformance testing for cyber-physical systems: Theory and implementation von Araujo, Hugo, Carvalho, Gustavo, Mohaqeqi, Morteza, Mousavi, Mohammad Reza, Sampaio, Augusto

Volltext

Utility accrual object distribution in MPSoC real-time embedded systems von Mohaqeqi, Morteza, Kargahi, Mehdi

Volltext

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems von Yi, Wang, Mohaqeqi, Morteza, Graf, Susanne

Volltext

Temperature-aware adaptive power management: An analytical approach for joint processor and cooling mode selection von Mohaqeqi, Morteza, Kargahi, Mehdi

Volltext

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach von Khamespanah, Ehsan, Mohaqeqi, Morteza, Ashjaei, Seyed Mohammad Hossein, Sirjani, Marjan

Volltext bestellen

Analysis and Scheduling of a Battery-Less Mixed-Criticality System with Energy Uncertainty von Asyaban, Sedigheh, Kargahi, Mehdi, Thiele, Lothar, Mohaqeqi, Morteza

Volltext

Optimal harmonic period assignment: complexity results and approximation algorithms von Mohaqeqi, Morteza, Nasri, Mitra, Xu, Yang, Cervin, Anton, Årzén, Karl-Erik

Volltext

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model von Mohaqeqi, Morteza, Abdullah, Jakaria, Yi, Wang

Volltext

Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources von Mohaqeqi, Morteza, Kargahi, Mehdi, Dehghan, Maryam

Volltext

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems von Abdullah, Jakaria, Dai, Gaoyang, Guan, Nan, Mohaqeqi, Morteza, Yi, Wang

Volltext

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada von Mohaqeqi, Morteza, Abdullah, Jakaria, Yi, Wang

Volltext

Scheduling of Accuracy-Constrained Real-Time Systems in Dynamic Environments von Nasri, M., Kargahi, M., Mohaqeqi, M.

Volltext

Utility Accrual Object Distribution in Real-Time Systems von Mohaqeqi, M, Kargahi, M

Volltext

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems von Yi, Wang, Mohaqeqi, Morteza, Graf, Susanne

Volltext bestellen

Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach von Khamespanah, Ehsan, Mohaqeqi, Morteza, Ashjaei, Mohammad, Sirjani, Marjan

Volltext bestellen

Sound Test-Suites for Cyber-Physical Systems von Mohaqeqi, Morteza, Mousavi, Mohammad Reza

Volltext bestellen