Purandar Bhaduri

37 papers A* 1A 1B 4C 1Misc 4Journal 17Unranked 9

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