Purandar Bhaduri
Purandar Bhaduri
Professor, IIT Guwahati
Verified email at iitg.ac.in - Homepage
TitleCited byYear
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
Interface synthesis and protocol conversion
P Bhaduri, S Ramesh
Formal Aspects of Computing 20 (2), 205-224, 2008
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
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
Model checking of statechart models: Survey and research directions. CoRR
P Bhaduri, S Ramesh
arXiv preprint cs.SE/0407038, 2004
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
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
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
Validation of pipelined processor designs using Esterel tools: a case study
S Ramesh, P Bhaduri
International Conference on Computer Aided Verification, 84-95, 1999
Synthesis of interface automata
P Bhaduri
International Symposium on Automated Technology for Verification and …, 2005
Formal consistency of models in multi-view modelling
P Bhaduri, R Venkatesh
Workshop on Consistency Problems in UML-Based Software Development, 2002
Verification of Giotto based Embedded Control Systems.
RK Poddar, P Bhaduri
Nordic Journal of Computing 13 (4), 266, 2006
A proposal for real-time interfaces in speeds
P Bhaduri, I Stierand
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
Model checking visual specification of requirements
U Shrotri, P Bhaduri, R Venkatesh
First International Conference onSoftware Engineering and Formal Methods …, 2003
Timing analysis of real-time embedded systems using model checking
V Anwikar, P Bhaduri
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
Synthesis of synchronous interfaces
P Bhaduri, S Ramesh
Sixth International Conference on Application of Concurrency to System …, 2006
Axiomatization of if-then-else over possibly non-halting programs and tests
G Panicker, KV Krishna, P Bhaduri
International Journal of Algebra and Computation 27 (03), 273-297, 2017
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
Throughput analysis of the IEEE 802.11 power save mode in single hop ad hoc networks
P Swain, S Chakraborty, S Nandi, P Bhaduri
the proc. of ICWN, 2011
The system can't perform the operation now. Try again later.
Articles 1–20