| emsoft | participants

Krishnendu Chatterjee

EMSOFT 2020: 20th International Conference on Embedded Software

Precedence-aware Automated Competitive Analysis of Real-time Scheduling

Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee

EMSOFT 2012: 12th International Conference on Embedded Software

Finite Automata with Time-Delay Blocks

Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak S. Prabhu