| emsoft | participants

Jyotirmoy V. Deshmukh

Program Committees:
2016 and 2024
.

EMSOFT 2024: 24th International Conference on Embedded Software

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Navid Hashemi, Lars Lindemann, and Jyotirmoy V. Deshmukh

    EMSOFT 2019: 19th International Conference on Embedded Software

    Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach

    Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, and Paul Bogdan

    EMSOFT 2017: 17th International Conference on Embedded Software

    Testing Cyber-Physical Systems through Bayesian Optimization

    Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S. Prabhu

    EMSOFT 2016: 16th International Conference on Embedded Software

    Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models

    Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and James Kapinski

    EMSOFT 2015: 15th International Conference on Embedded Software

    Forward Invariant Cuts to Simplify Proofs of Safety

    Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh

    EMSOFT 2014: 14th International Conference on Embedded Software

    Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

    Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski