Purandar Bhaduri

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 14

Top Topics

Embedded Systems

Formal Verification

Geometric Algebra

Top Venues

Publications

Purandar Bhaduri
Coalgebras for Bisimulation of Weighted Automata over Semirings. Log. Methods Comput. Sci. 19 (1) (2023)
Purandar Bhaduri
Coalgebras for Bisimulation of Weighted Automata over Semirings. CoRR (2021)
Lalatendu Behera, Purandar Bhaduri
An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems. Des. Autom. Embed. Syst. 24 (2) (2020)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Translation Validation of Code Motion Transformations Involving Loops. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (7) (2019)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Formal Verification of Optimizing Transformations during High-level Synthesis. ISEC (2019)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples. VLSI Design (2019)
Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri
Counter-example generation procedure for path-based equivalence checkers. IET Softw. 13 (4) (2019)
Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri
On the structure of C-algebras through atomicity and if-then-else. CoRR (2018)
Lalatendu Behera, Purandar Bhaduri
Time-Triggered Scheduling for Multiprocessor Mixed-Criticality Systems. ICDCIT (2018)
Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri
Axiomatization of if-then-else over monoids of possibly non-halting programs and tests. CoRR (2017)
Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri
Axiomatization of if-then-else over possibly non-halting programs and tests. Int. J. Algebra Comput. 27 (3) (2017)
Lalatendu Behera, Purandar Bhaduri
Time-Triggered Scheduling of Mixed-Criticality Systems. ACM Trans. Design Autom. Electr. Syst. 22 (4) (2017)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Translation Validation of Loop Invariant Code Optimizations Involving False Computations. VDAT (2017)
Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri
Axiomatization of if-then-else over possibly non-halting programs and tests. CoRR (2016)
Diptesh Majumdar, Licong Zhang, Purandar Bhaduri, Samarjit Chakraborty
Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems. RTCSA (2015)
Pravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri
Performance Modeling and Analysis of IEEE 802.11 IBSS PSM in Different Traffic Conditions. IEEE Trans. Mob. Comput. 14 (8) (2015)
Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. FORMATS (2014)
Pravati Swain, Purandar Bhaduri, Sukumar Nandi
Probabilistic model checking of IEEE 802.11 IBSS power save mode. Int. J. Wirel. Mob. Comput. 7 (5) (2014)
Pravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri
Performance modeling and evaluation of IEEE 802.11 IBSS power save mode. Ad Hoc Networks 13 (2014)
Dip Goswami, Samarjit Chakraborty, Purandar Bhaduri, Sanjoy K. Mitter
Characterizing feedback signal drop patterns in formal verification of networked control systems. CACSD (2013)
Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri
Real-time scheduling interfaces and contracts for the design of distributed embedded systems. SIES (2013)
Pravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri
Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model. SAC (2012)
Purandar Bhaduri, Ingo Stierand
A proposal for real-time interfaces in SPEEDS. DATE (2010)
Devesh B. Chokshi, Purandar Bhaduri
Performance analysis of FlexRay-based systems using real-time calculus, revisited. SAC (2010)
Purandar Bhaduri, S. Ramesh
Interface synthesis and protocol conversion. Formal Aspects Comput. 20 (2) (2008)
Devesh B. Chokshi, Purandar Bhaduri
Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus. RTCSA (2008)
Rajiv Kumar Poddar, Purandar Bhaduri
Verification of Giotto based Embedded Control Systems. Nord. J. Comput. 13 (4) (2006)
Purandar Bhaduri, S. Ramesh
Synthesis of Synchronous Interfaces. ACSD (2006)
Girish Keshav Palshikar, Purandar Bhaduri
Verification of Scenario-based Specifications using Templates. Electron. Notes Theor. Comput. Sci. 118 (2005)
Purandar Bhaduri
Synthesis of Interface Automata. ATVA (2005)
Purandar Bhaduri, S. Ramesh
Model Checking of Statechart Models: Survey and Research Directions CoRR (2004)
Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
Model Checking Visual Specification of Requirements. SEFM (2003)
Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar
Formal Techniques for Analysing Scenarios using Message Sequence Charts. Electron. Notes Theor. Comput. Sci. 65 (7) (2002)
R. Venkatesh, Purandar Bhaduri, Mathai Joseph
Formalizing Models and Meta-models for System Development. APSEC (2001)
S. Ramesh, Purandar Bhaduri
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. CAV (1999)
Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal
An Application of Compiler Technology to the Year 2000 Problem. Softw. Pract. Exp. 29 (4) (1999)