All Stories

  1. Efficient Model Verification at Runtime through Adaptive Dynamic Approximation

    Article • ACM Transactions on Autonomous and Adaptive Systems, December 2024, ACM (Association for Computing Machinery)

    Mehdi Kargahi, Dr Mehran Alidoost Nia

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

    Article • ACM Transactions on Cyber-Physical Systems, December 2022, ACM (Association for Computing Machinery)

    Mehdi Kargahi

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

    Article • ACM Transactions on Embedded Computing Systems, January 2021, ACM (Association for Computing Machinery)

    Mehdi Kargahi

  4. Detecting New Generations of Threats Using Attribute-Based Attack Graphs

    Article • IET Information Security, January 2019, the Institution of Engineering and Technology (the IET)

    Dr Mehran Alidoost Nia, Mehdi Kargahi

  5. A Mixed-Criticality Real-Time System with Stochastic Energy Harvesting: Scheduling and Analysis

    Article • ACM Transactions on Embedded Computing Systems, November 2016, ACM (Association for Computing Machinery)

    Mehdi Kargahi

  6. Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources

    Article • ACM Transactions on Embedded Computing Systems, November 2013, ACM (Association for Computing Machinery)

    Mehdi Kargahi