Purandar Bhaduri

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (34)

• The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
  Electronic Proceedings in Theoretical Computer Science 2025 DOI: 10.4204/eptcs.428.6
  +Save
• Coalgebras for Bisimulation of Weighted Automata over Semirings
  Logical Methods in Computer Science 2023 DOI: 10.46298/lmcs-19(1:4)2023
  +Save
• An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems
  Design Automation for Embedded Systems 2020 DOI: 10.1007/s10617-019-09232-3
  +Save
• On the structure of C-algebras through atomicity and if-then-else
  Algebra Universalis 2020 DOI: 10.1007/s00012-020-0648-7
  +Save
• Counter-example generation procedure for path-based equivalence checkers
  IET Software 2019 DOI: 10.1049/iet-sen.2018.5203
  +Save
• Formal verification of optimizing transformations during high-level synthesis
  ACM International Conference Proceeding Series 2019 DOI: 10.1145/3299771.3299797
  +Save
• Improving performance of a path-based equivalence checker using counter-examples
  Proceedings - 32nd International Conference on VLSI Design, VLSID 2019 - Held concurrently with 18th International Conference on Embedded Systems, ES 2019 2019 DOI: 10.1109/VLSID.2019.00083
  +Save
• Translation Validation of Code Motion Transformations Involving Loops
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2019 DOI: 10.1109/TCAD.2018.2846654
  +Save
• Monoids of non-halting programs with tests
  Algebra Universalis 2018 DOI: 10.1007/s00012-018-0490-3
  +Save
• Time-Triggered Scheduling for Multiprocessor Mixed-Criticality Systems
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018 DOI: 10.1007/978-3-319-72344-0_10
  +Save