Purandar Bhaduri
Purandar Bhaduri
Professor, IIT Guwahati
Verified email at iitg.ac.in - Homepage
Title
Cited by
Cited by
Year
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
572004
Interface synthesis and protocol conversion
P Bhaduri, S Ramesh
Formal Aspects of Computing 20 (2), 205-224, 2008
352008
Performance analysis of FlexRay-based systems using real-time calculus, revisited
DB Chokshi, P Bhaduri
Proceedings of the 2010 ACM Symposium on Applied Computing, 351-356, 2010
302010
Performance modeling and evaluation of IEEE 802.11 IBSS power save mode
P Swain, S Chakraborty, S Nandi, P Bhaduri
Ad Hoc Networks 13, 336-350, 2014
252014
Real-time scheduling interfaces and contracts for the design of distributed embedded systems
I Stierand, P Reinkemeier, T Gezgin, P Bhaduri
2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2013
202013
Model checking of statechart models: Survey and research directions. CoRR
P Bhaduri, S Ramesh
arXiv preprint cs.SE/0407038, 2004
202004
Performance modeling and analysis of IEEE 802.11 IBSS PSM in different traffic conditions
P Swain, S Chakraborty, S Nandi, P Bhaduri
IEEE Transactions on Mobile Computing 14 (8), 1644-1658, 2014
192014
Modeling fixed priority non-preemptive scheduling with real-time calculus
DB Chokshi, P Bhaduri
2008 14th IEEE International Conference on Embedded and Real-Time Computing …, 2008
162008
Validation of pipelined processor designs using Esterel tools: a case study
S Ramesh, P Bhaduri
International Conference on Computer Aided Verification, 84-95, 1999
121999
Verification of Giotto based Embedded Control Systems.
RK Poddar, P Bhaduri
Nordic Journal of Computing 13 (4), 266, 2006
112006
Synthesis of interface automata
P Bhaduri
International Symposium on Automated Technology for Verification and …, 2005
112005
Formal consistency of models in multi-view modelling
P Bhaduri, R Venkatesh
Workshop on Consistency Problems in UML-Based Software Development, 2002
112002
Timing analysis of real-time embedded systems using model checking
V Anwikar, P Bhaduri
102010
Model checking visual specification of requirements
U Shrotri, P Bhaduri, R Venkatesh
First International Conference onSoftware Engineering and Formal Methods …, 2003
102003
A proposal for real-time interfaces in speeds
P Bhaduri, I Stierand
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
92010
Formal techniques for analysing scenarios using message sequence charts
P Bhaduri, R Venkatesh, GK Palshikar
Electronic Notes in Theoretical Computer Science 65 (7), 1-17, 2002
72002
Reconfigurable communication middleware for flex ray-based distributed embedded systems
D Majumdar, L Zhang, P Bhaduri, S Chakraborty
2015 IEEE 21st International Conference on Embedded and Real-Time Computing …, 2015
62015
Virtual integration of real-time systems based on resource segregation abstraction
I Stierand, P Reinkemeier, P Bhaduri
International Conference on Formal Modeling and Analysis of Timed Systems …, 2014
62014
Synthesis of synchronous interfaces
P Bhaduri, S Ramesh
Sixth International Conference on Application of Concurrency to System …, 2006
62006
Translation validation of code motion transformations involving loops
R Chouksey, C Karfa, P Bhaduri
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20