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
542004
Interface synthesis and protocol conversion
P Bhaduri, S Ramesh
Formal Aspects of Computing 20 (2), 205-224, 2008
312008
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
272010
Model checking of statechart models: Survey and research directions. CoRR
P Bhaduri, S Ramesh
arXiv preprint cs.SE/0407038, 2004
232004
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
212014
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
192013
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
142008
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
122014
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
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
Verification of Giotto based Embedded Control Systems.
RK Poddar, P Bhaduri
Nordic Journal of Computing 13 (4), 266, 2006
102006
A proposal for real-time interfaces in speeds
P Bhaduri, I Stierand
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
92010
Model checking visual specification of requirements
U Shrotri, P Bhaduri, R Venkatesh
First International Conference onSoftware Engineering and Formal Methods …, 2003
92003
Timing analysis of real-time embedded systems using model checking
V Anwikar, P Bhaduri
82010
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
Synthesis of synchronous interfaces
P Bhaduri, S Ramesh
Sixth International Conference on Application of Concurrency to System …, 2006
62006
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
52014
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
52011
Formalizing models and meta-models for system development extended abstract
R Venkatesh, P Bhaduri, M Joseph
Proceedings Eighth Asia-Pacific Software Engineering Conference, 155-158, 2001
52001
The system can't perform the operation now. Try again later.
Articles 1–20