| emsoft | participants

Indranil Saha

Program Committees:
2014, 2018, 2019, 2020, 2021, 2022, 2023, and 2024
.

EMSOFT 2022: 22nd International Conference on Embedded Software

An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks

Samvid Mistry, Indranil Saha, and Swarnendu Biswas

EMSOFT 2021: 21st International Conference on Embedded Software

Specification Guided Automated Synthesis of Feedback Controllers

Nikhil Kumar Singh and Indranil Saha

EMSOFT 2020: 20th International Conference on Embedded Software

Specification Guided Automated Debugging of CPS Models

Nikhil Kumar Singh and Indranil Saha

EMSOFT 2017: 17th International Conference on Embedded Software

Antlab: A Multi-Robot Task Server

Ivan Gavran, Rupak Majumdar, and Indranil Saha

EMSOFT 2013: 13th International Conference on Embedded Software

Synthesis of Fixed-Point Programs

Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha

EMSOFT 2012: 12th International Conference on Embedded Software

Synthesis of Minimal-Error Control Software

Rupak Majumdar, Indranil Saha, and Majid Zamani

Trigger Memoization in Self-Triggered Control

Indranil Saha and Rupak Majumdar

EMSOFT 2011: 11th International Conference on Embedded Software

Performance-Aware Scheduler Synthesis for Control Systems

Rupak Majumdar, Indranil Saha, and Majid Zamani

EMSOFT 2010: 10th International Conference on Embedded Software

Automatic Verification of Control System Implementations

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, and Paulo Tabuada