All Stories

  1. Simulation-Based Verification of Bounded-Horizon Safety for Hybrid Systems using Dynamic Number of Simulations

    Article • IET Cyber-Physical Systems Theory & Applications, January 2019, the Institution of Engineering and Technology (the IET)

    Ratnesh Kumar

  2. Verification using Counterexample Fragment based Specification Relaxation: Case of Modular/Concurrent Linear Hybrid Automata

    Article • IET Cyber-Physical Systems Theory & Applications, June 2017, the Institution of Engineering and Technology (the IET)

    Ratnesh Kumar

  3. Model based testing of Simulink and Stateflow

    Article • IET Cyber-Physical Systems Theory & Applications, November 2016, the Institution of Engineering and Technology (the IET)

    Ratnesh Kumar