Mehdi Kargahi

65 papers A 2B 5C 2Misc 6Journal 42Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Model Verification at Runtime through Adaptive Dynamic Approximation.
ACM Trans. Auton. Adapt. Syst.
Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate
2025 J jnl
Energy-harvesting-aware federated scheduling of parallel real-time tasks.
J. Supercomput.
Jamal Mohammadi, Mahmoud Shirazi, Mehdi Kargahi
2024 J jnl
Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification.
ACM Trans. Cyber Phys. Syst.
Vahid Panahi, Mehdi Kargahi, Fathiyeh Faghih
2024 J jnl
Inter-Task Energy-Hotspot Elimination in Fixed-Priority Real-Time Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mohsen Shekarisaz, Mehdi Kargahi, Lothar Thiele
2024 J jnl
Resource-aware in-edge distributed real-time deep learning.
Internet Things
Amin Yoosefi, Mehdi Kargahi
2023 J jnl
Adaptive pooling-based convolution factorization for deploying CNNs on energy-constrained IoT edge devices.
Microprocess. Microsystems
Amin Yoosefi, Mehdi Kargahi
2023 — conf
Efficient On-device Transfer Learning using Activation Memory Reduction.
FMEC
Amin Yoosefi, Hamid Mousavi, Masoud Daneshtalab, Mehdi Kargahi
2023 J jnl
Energy-Resilient Real-Time Scheduling.
IEEE Trans. Computers
Mahmoud Shirazi, Lothar Thiele, Mehdi Kargahi
2021 J jnl
Analytical Program Power Characterization for Battery Depletion-time Estimation.
ACM Trans. Embed. Comput. Syst.
Mahdi Mohammadpour Fard, Mahmood Hasanloo, Mehdi Kargahi
2021 A conf
Automatic Energy-Hotspot Detection and Elimination in Real-Time Deeply Embedded Systems.
RTSS
Mohsen Shekarisaz, Lothar Thiele, Mehdi Kargahi
2021 J jnl
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime.
CoRR
Melika Dastranj, Mehran Alidoost Nia, Mehdi Kargahi
2021 J jnl
Resilient monitoring in self-adaptive systems through behavioral parameter estimation.
J. Syst. Archit.
Mehran Alidoost Nia, Mehdi Kargahi, Alessandro Abate
2020 J jnl
Aging-Aware Instruction-Level Statistical Dynamic Timing Analysis for Embedded Processors.
IEEE Trans. Very Large Scale Integr. Syst.
Iraj Moghaddasi, Mostafa E. Salehi, Mehdi Kargahi
2020 J jnl
Dynamic harvesting- and energy-aware real-time task scheduling.
Sustain. Comput. Informatics Syst.
Mahmoud Hasanloo, Mehdi Kargahi, Shahrokh Jalilian
2020 J jnl
Performance maximization of energy-variable self-powered (m, k)-firm real-time systems.
Real Time Syst.
Mahmoud Shirazi, Mehdi Kargahi, Lothar Thiele
2020 J jnl
Probabilistic approximation of runtime quantitative verification in self-adaptive systems.
Microprocess. Microsystems
Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih
2019 J jnl
A reliability-aware resource provisioning scheme for real-time industrial applications in a Fog-integrated smart factory.
Microprocess. Microsystems
Saeid Dehnavi, Hamid Reza Faragardi, Mehdi Kargahi, Thomas Fahringer
2019 J jnl
Detecting new generations of threats using attribute-based attack graphs.
IET Inf. Secur.
Mehran Alidoost Nia, Behnam Bahrak, Mehdi Kargahi, Benjamin Fabian
2019 — conf
Energy Metamorphic Testing for Android Applications.
PIMRC Workshops
Farzaneh Azimian, Fathiyeh Faghih, Mehdi Kargahi, S. M. Mahdi Mirdehghan
2019 J jnl
Feasibility Interval for Fixed-Priority Scheduling of Mixed-Criticality Periodic Tasks With Offsets.
IEEE Embed. Syst. Lett.
Sedigheh Asyaban, Mehdi Kargahi
2019 J jnl
Instruction-Level NBTI Stress Estimation and Its Application in Runtime Aging Prediction for Embedded Processors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Iraj Moghaddasi, Arash Fouman, Mostafa E. Salehi, Mehdi Kargahi
2019 J jnl
The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies.
CoRR
Ali Behnoudfar, Seyyed Hossein Hosseini Zahani, Mojtaba Hatami, Mahmoud Naghibzadeh, Boshra Taheri, Fathieh Faghih, Mehdi Kargahi
2018 J jnl
An energy-aware resource provisioning scheme for real-time applications in a cloud data center.
Softw. Pract. Exp.
Hamid Reza Faragardi, Saeid Dehnavi, Thomas Nolte, Mehdi Kargahi, Thomas Fahringer
2018 J jnl
An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems.
Real Time Syst.
Sedigheh Asyaban, Mehdi Kargahi
2018 J jnl
Harvesting-aware charge management in embedded systems equipped with a hybrid electrical energy storage.
Comput. Electr. Eng.
Mahmoud Hasanloo, Mehdi Kargahi
2018 J jnl
ReDePoly: reducing delays in multi-channel P2P live streaming systems using distributed intelligence.
Telecommun. Syst.
Abdulbaghi Ghaderzadeh, Mehdi Kargahi, Midia Reshadi
2017 J jnl
InFreD: Intelligent Free Rider Detection in collaborative distributed systems.
J. Netw. Comput. Appl.
Abdulbaghi Ghaderzadeh, Mehdi Kargahi, Midia Reshadi
2017 Misc conf
Resilient scheduling of energy-variable weakly-hard real-time systems.
RTNS
Mahmoud Shirazi, Mehdi Kargahi, Lothar Thiele
2017 J jnl
Resource Availability Prediction in Distributed Systems: An Approach for Modeling Non-Stationary Transition Probabilities.
IEEE Trans. Parallel Distributed Syst.
Somayeh Kianpisheh, Mehdi Kargahi, Nasrollah Moghaddam Charkari
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 J jnl
Ant colony based constrained workflow scheduling for heterogeneous computing systems.
Clust. Comput.
Somayeh Kianpisheh, Nasrollah Moghaddam Charkari, Mehdi Kargahi
2016 — ed.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016.
V2CPS@IFM
Mehdi Kargahi, Ashutosh Trivedi
2016 J jnl
Reliability-driven scheduling of time/cost-constrained grid workflows.
Future Gener. Comput. Syst.
Somayeh Kianpisheh, Nasrollah Moghadam Charkari, Mehdi Kargahi
2016 C conf
Stochastic Thermal Control of a Multicore Real-Time System.
PDP
Morteza Mohaqeqi, Mehdi Kargahi, Kazim Fouladi
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 B conf
A Framework to Construct Customized Harmonic Periods for Real-Time Systems.
ECRTS
Mitra Nasri, Gerhard Fohler, 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 Misc conf
On the Optimality of RM and EDF for Non-Preemptive Real-Time Harmonic Tasks.
RTNS
Mitra Nasri, Sanjoy K. Baruah, Gerhard Fohler, Mehdi Kargahi
2014 J jnl
Precautious-RM: a predictable non-preemptive scheduling algorithm for harmonic tasks.
Real Time Syst.
Mitra Nasri, Mehdi Kargahi
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 J jnl
Analytical architecture-based performability evaluation of real-time software systems.
J. Syst. Softw.
Faeze Eshragh, Mehdi Kargahi
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 B conf
A Method for Improving Delay-Sensitive Accuracy in Real-Time Embedded Systems.
RTCSA
Mitra Nasri, Mehdi Kargahi
2012 Misc conf
A real-time data aggregation method for fault-tolerant wireless sensor networks.
SAC
Peyman Teymoori, Mehdi Kargahi, Nasser Yazdani
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
2011 J jnl
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions.
IEEE Trans. Computers
Mehdi Kargahi, Ali Movaghar
2010 J jnl
Dynamic routing of real-time jobs among parallel EDF queues: A performance study.
Comput. Electr. Eng.
Mehdi Kargahi, Ali Movaghar
2010 J jnl
On the Handling of Node Failures: Energy-Efficient Job Allocation Algorithm for Real-time Sensor Networks.
J. Inf. Process. Syst.
Hamid Karimi, Mehdi Kargahi, Nasser Yazdani
2010 J jnl
Utility Accrual Dynamic Routing in Real-Time Parallel Systems.
IEEE Trans. Parallel Distributed Syst.
Mehdi Kargahi, Ali Movaghar
2010 B conf
Utility Accrual Object Distribution in Real-Time Systems.
ICPADS
Morteza Mohaqeqi, Mehdi Kargahi
2009 — conf
A Method for Dynamic Software Updating in Real-Time Systems.
ACIS-ICIS
Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar-Rahimabadi
2009 B conf
A Scheduling Algorithm for Execution-Instant Sensitive Real-Time Systems.
RTCSA
Leili Farzinvash, Mehdi Kargahi
2009 — conf
A Simulated Annealing Approach for Maximizing the Accrued Utility of an Isochronal Soft Real-Time System.
ICECS
Ali Asghar Pourhaji Kazem, Neda Dadashkhani, Mehdi Kargahi, Hamed Habibi Aghdam
2009 C conf
Energy-Efficient Cluster-Based Scheme for Handling Node Failure in Real-Time Sensor Networks.
DASC
Hamid Karimi, Mehdi Kargahi, Nasser Yazdani
2009 — conf
FLS: a fuzzy-based location-service in mobile ad-hoc wireless networks.
ICUMT
Amjad Osmani, Abolfazl Toroghi Haghighat, Mehdi Kargahi
2009 — conf
Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms.
ACIS-ICIS
Ali Asghar Pourhaji Kazem, Habib Seifzadeh, Mehdi Kargahi, Ali Movaghar-Rahimabadi, Shahriar Lotfi
2008 J jnl
Stochastic DVS-based dynamic power management for soft real-time systems.
Microprocess. Microsystems
Mehdi Kargahi, Ali Movaghar
2006 J jnl
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy.
J. Supercomput.
Mehdi Kargahi, Ali Movaghar
2005 B conf
Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study.
MASCOTS
Mehdi Kargahi, Ali Movaghar
2004 A conf
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy.
DSN
Mehdi Kargahi, Ali Movaghar-Rahimabadi