| emsoft | participants

Borzoo Bonakdarpour

Program Committees:
2018, 2019, 2020, and 2024
.

EMSOFT 2024: 24th International Conference on Embedded Software

Efficient Discovery of Actual Causality using Abstraction-Refinement

Arshia Rafieioskouei and Borzoo Bonakdarpour

    EMSOFT 2019: 19th International Conference on Embedded Software

    Statistical Verification of Hyperproperties for Cyber-Physical Systems

    Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic

    EMSOFT 2017: 17th International Conference on Embedded Software

    Managing the Performance/Error Tradeoff of Floating-point Intensive Applications

    Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, and Sebastian Fischmeister

    EMSOFT 2015: 15th International Conference on Embedded Software

    A Framework for Mining Hybrid Automata From Input/Output Traces

    Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, and Sebastian Fischmeister

    EMSOFT 2011: 11th International Conference on Embedded Software

    Automated Addition of Fault Recovery to Cyber-Physical Component-Based Models

    Borzoo Bonakdarpour, Yiyan Lin, and Sandeep S. Kulkarni

    Automated Distributed Implementation of Component-Based Models with Priorities

    Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeuf

    EMSOFT 2010: 10th International Conference on Embedded Software

    From High-Level Component-Based Models to Distributed Implementations

    Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis

    EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

    Compositional Verification of Fault-Tolerant Real-Time Programs

    Borzoo Bonakdarpour and Sandeep S. Kulkarni

    EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

    Disassembling Real-Time Fault-Tolerant Programs

    Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora