Rupak Majumdar
EMSOFT 2023: 23rd International Conference on Embedded Software
Neural Abstraction-Based Controller Synthesis and Deployment
EMSOFT 2020: 20th International Conference on Embedded Software
Assume-Guarantee Distributed Synthesis
EMSOFT 2019: 19th International Conference on Embedded Software
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control
EMSOFT 2017: 17th International Conference on Embedded Software
Antlab: A Multi-Robot Task Server
Testing Cyber-Physical Systems through Bayesian Optimization
EMSOFT 2014: 14th International Conference on Embedded Software
Deductive Control Synthesis for Alternating-Time Logics
EMSOFT 2013: 13th International Conference on Embedded Software
Synthesis of Fixed-Point Programs
EMSOFT 2012: 12th International Conference on Embedded Software
Input-Output Robustness for Discrete Systems
Synthesis of Minimal-Error Control Software
Trigger Memoization in Self-Triggered Control
EMSOFT 2011: 11th International Conference on Embedded Software
Performance-Aware Scheduler Synthesis for Control Systems
EMSOFT 2010: 10th International Conference on Embedded Software
Automatic Verification of Control System Implementations
EMSOFT 2005: 5th ACM International Conference on Embedded Software
Code Aware Resource Management
EMSOFT 2002: 2nd International Workshop on Embedded Software
Time-Safety Checking for Embedded Programs