مهدی کارگهی

1. Estimating Energy Wastage in Embedded Systems Using Model Checking of Timed Automata

Shabani Peyman، Ghassemi Esfahani Fatemeh، Kargahi Mehdi (2024)., CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory), 16-17 October, Tehran, Iran.

2. Resource-aware in-edge distributed real-time deep learning

Yousefi Amin، Kargahi Mehdi (2024)., Internet of Things, 27(-), 101263.

3. Inter-Task Energy-Hotspot Elimination in Fixed-Priority Real-Time Embedded Systems

Shekarisaz Mohsen، Kargahi Mehdi، Thiele Lothar (2024)., IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 43(8), 2340-2353.

1. Adaptive pooling-based convolution factorization for deploying CNNs on energy-constrained IoT edge devices

Yousefi Amin، Kargahi Mehdi (2023)., MICROPROCESSORS AND MICROSYSTEMS, 98(1), 104776.

1. Energy-Resilient Real-Time Scheduling

Shirazi Mahmoud، Thiele Lothar، Kargahi Mehdi (2023)., IEEE TRANSACTIONS ON COMPUTERS, 72(1), 69-81.

2. Control Performance Analysis of Automotive Cyber-Physical Systems: A Study on Efficient Formal Verification

Panahi Vahid، Kargahi Mehdi، Faghih Fathiyeh (2022)., ACM Transactions on Cyber-Physical Systems, 7(1), 1-18.

3. Deploying Reinforcement Learning for Efficient Runtime Decision-Making in Autonomous Systems

Dastranj Melika، Alidoost Nia Mehran، Kargahi Mehdi (2022)., 2022 CPSSI 4th International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 30-31 May, Tehran, Iran.

1. Automatic Energy-Hotspot Detection and Elimination in Real-Time Deeply Embedded Systems

Shekarisaz Mohsen، Thiele Lothar، Kargahi Mehdi (2021)., 2021 IEEE Real-Time Systems Symposium (RTSS), 7-10 December, Dortmund, Germany.

2. Resilient Monitoring in Self-Adaptive Systems through Behavioral Parameter Estimation

Alidoost Nia Mehran، Kargahi Mehdi، Abate Alessanddro (2021)., JOURNAL OF SYSTEMS ARCHITECTURE, 118(1), 102177.

1. Analytical Program Power Characterization for Battery Depletion-time Estimation

Mohammad Pour Fard Mahdi، Hasanloo Mahmoud، Kargahi Mehdi (2021)., ACM Transactions on Embedded Computing Systems, 20(2), 1-9.

3. Dynamic Harvesting- and Energy-Aware Real-Time Task Scheduling

Hasanloo Mahmoud، Kargahi Mehdi، Jalilian Shahrokh (2020)., Sustainable Computing: Informatics and Systems, 29(1), 100413.

4. Program Energy-Hotspot Detection and Removal: A Static Analysis Approach

Shekarisaz Mohsen، Talebian Fatemeh، Jabariani Marjan، Mehri Farzad، Faghih Fathiyeh، Kargahi Mehdi (2020)., 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 10-11 June.

5. Improving Energy-Efficiency of CNNs via Prediction of Reducible Convolutions for Energy-Constrained IoT Devices

Yoosefi Amin، Kargahi Mehdi (2020)., 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 10-11 June.

6. Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems

Alidoost Nia Mehran، Kargahi Mehdi، Abate Alessanddro (2020)., 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 10-11 June.

1. Probabilistic approximation of runtime quantitative verification in self-adaptive systems

Alidoost Nia Mehran، Kargahi Mehdi، Faghih Fathiyeh (2020)., MICROPROCESSORS AND MICROSYSTEMS, 72(102943), 102943.

3. Performance maximization of energy-variable self-powered (m, k)-firm real-time systems

Shirazi Mahmoud، Kargahi Mehdi، Thiele Lothar (2020)., REAL-TIME SYSTEMS, 56(1), 64-111.

4. Aging-Aware Instruction-Level Statistical Dynamic Timing Analysis for Embedded Processors

Moghaddas Sarabi Iraj، Ersali Mostafa، Kargahi Mehdi (2019)., IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 28(2), 433-442.

5. A reliability-aware resource provisioning scheme for real-time industrial applications in a Fog-integrated smart factory

Dehnavi Saeed، Faragardi Hamidreza، Kargahi Mehdi، Fahringer Thomas (2019)., MICROPROCESSORS AND MICROSYSTEMS, 70(1), 1-14.

6. Energy Metamorphic Testing for Android Applications

Azimian Farzaneh، Faghih Fathiyeh، Kargahi Mehdi، Mirdehghan Mahdi (2019)., 2019 IEEE 30th International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC Workshops), 8 September.

7. Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Dehnavi Saeed، Sedaghatbaf Ali، Salmani Bahar، Sirjani Marjan، Kargahi Mehdi، Khamespanah Ehsan (2019)., The 16th International Conference on Mobile Systems and Pervasive Computing, 19-21 August.

8. Instruction-Level NBTI Stress Estimation and Its Application in Runtime Aging Prediction for Embedded Processors

Moghaddas Sarabi Iraj، Fouman Arash، Ersali Mostafa، Kargahi Mehdi (2019)., IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 38(8), 1427-1437.

9. Detecting new generations of threats using attribute-based attack graphs

Alidoost Nia Mehran، Bahrak Behnam، Kargahi Mehdi، Fabian Benjamin (2019)., IET Information Security, 13(4), 293-303.

1. Feasibility Interval for Fixed-Priority Scheduling of Mixed-Criticality Periodic Tasks with Offsets

Asyaban Sedigheh، Kargahi Mehdi (2019)., IEEE Embedded Systems Letters, 11(1), 17-20.