Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Purandar Bhaduri
Observed names:
Bhaduri Purandar,
Bhaduri, Purandar,
Dr. Purandar Bhaduri,
P. Bhaduri
Institution:
Indian Institute of Technology Guwahati
Observed institutions:
Indian Institute of Technology Guwahati,
Tata Consultancy Services (India),
Washington State University
ORCID:
0000-0002-8847-0394
Observed ORCID:
0000-0002-8847-0394
OpenAlex ID:
A5028219180
Model Checking of Statechart Models: Survey and Research Directions
2004
·
Bhaduri, Purandar
, Ramesh, S.
·
arXiv (Cornell University)
·
47
PDF
An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems
2019
·
Lalatendu Behera
, Purandar Bhaduri
·
Design Automation for Embedded Systems
·
23
Performance analysis of FlexRay-based systems using real-time calculus, revisited
2010
·
Devesh B. Chokshi
, Purandar Bhaduri
·
ACM Symposium on Applied Computing
·
23
Interface synthesis and protocol conversion
2007
·
Purandar Bhaduri
, S. Ramesh
·
Formal Aspects of Computing
·
22
PDF
Performance modeling and evaluation of IEEE 802.11 IBSS power save mode
2013
·
Pravati Swain
, Sandip Chakraborty
, et al.
·
Ad Hoc Networks
·
19
Performance Modeling and Analysis of IEEE 802.11 IBSS PSM in Different Traffic Conditions
2014
·
Pravati Swain
, Sandip Chakraborty
, et al.
·
IEEE Transactions on Mobile Computing
·
16
Real-time scheduling interfaces and contracts for the design of distributed embedded systems
2013
·
Ingo Stierand
, Philipp Reinkemeier
, et al.
·
IEEE International Symposium on Industrial Embedded Systems (SIES)
·
16
Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus
2008
·
Devesh B. Chokshi
, Purandar Bhaduri
·
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
·
15
Translation Validation of Code Motion Transformations Involving Loops
2018
·
Ramanuj Chouksey
, Chandan Karfa
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
10
Translation Validation of Loop Invariant Code Optimizations Involving False Computations
2017
·
Ramanuj Chouksey
, Chandan Karfa
, et al.
·
Communications in computer and information science
·
9
Time-Triggered Scheduling of Mixed-Criticality Systems
2017
·
Lalatendu Behera
, Purandar Bhaduri
·
ACM Transactions on Design Automation of Electronic Systems
·
8
Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems
2015
·
Diptesh Majumdar
, Licong Zhang
, et al.
·
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
·
8
Timing Analysis of Real-Time Embedded Systems using Model Checking
2010
·
Anwikar, Vallabh, R.
, Bhaduri, Purandar
·
HAL
·
8
Synthesis of Interface Automata
2005
·
Purandar Bhaduri
·
Lecture notes in computer science
·
8
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study
1999
·
S. Ramesh
, Purandar Bhaduri
·
Lecture notes in computer science
·
8
Time-Triggered Scheduling for Multiprocessor Mixed-Criticality Systems
2017
·
Lalatendu Behera
, Purandar Bhaduri
·
Lecture notes in computer science
·
7
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction
2014
·
Ingo Stierand
, Philipp Reinkemeier
, et al.
·
Lecture notes in computer science
·
7
A proposal for real-time interfaces in SPEEDS
2010
·
Purandar Bhaduri
, Ingo Stierand
·
7
Model checking visual specification of requirements
2003
·
U. Shrotri
, P. Bhaduri
, et al.
·
IEEE International Conference on Software Engineering and Formal Methods (SEFM)
·
7
Verification of Giotto based embedded control systems
2006
·
Rajiv Kumar Poddar
, Purandar Bhaduri
·
Nordic journal of computing
·
6
Formal Techniques for Analysing Scenarios using Message Sequence Charts
2002
·
Purandar Bhaduri
, R. Venkatesh
, et al.
·
Electronic Notes in Theoretical Computer Science
·
6
PDF
An application of compiler technology to the year 2000 problem
1999
·
Mangala Gowri Nanda
, Purandar Bhaduri
, et al.
·
Software Practice and Experience
·
6
Axiomatization of if-then-else over possibly non-halting programs and tests
2017
·
Gayatri Panicker
, K. V. Krishna
, et al.
·
International Journal of Algebra and Computation
·
5
Characterizing feedback signal drop patterns in formal verification of networked control systems
2013
·
Dip Goswami
, Samarjit Chakraborty
, et al.
·
IEEE International Symposium on Computer-Aided Control System Design (CACSD)
·
5
Formal Verification of Optimizing Transformations during High-level Synthesis
2019
·
Ramanuj Chouksey
, Chandan Karfa
, et al.
·
Innovations in Software Engineering Conference (ISEC)
·
4
Show more works
View as search
Works count:
49
Citation count:
329
H-index:
9
I10-index:
9
Year
Topic
Type
