| Model checking of statechart models: Survey and research directions P Bhaduri, S Ramesh arXiv preprint cs/0407038, 2004 | 59 | 2004 |
| Interface synthesis and protocol conversion P Bhaduri, S Ramesh Formal Aspects of Computing 20 (2), 205-224, 2008 | 37 | 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 | 33 | 2010 |
| 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 | 27 | 2014 |
| 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 | 25 | 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 | 23 | 2008 |
| Model checking of statechart models: Survey and research directions. CoRR P Bhaduri, S Ramesh arXiv preprint cs.SE/0407038, 2004 | 23 | 2004 |
| An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems L Behera, P Bhaduri Design Automation for Embedded Systems 24, 79-109, 2020 | 21 | 2020 |
| 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 | 21 | 2013 |
| Synthesis of interface automata P Bhaduri Automated Technology for Verification and Analysis: Third International …, 2005 | 14 | 2005 |
| 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 | 13 | 2018 |
| Verification of Giotto based Embedded Control Systems. RK Poddar, P Bhaduri Nordic Journal of Computing 13 (4), 266, 2006 | 13 | 2006 |
| Validation of pipelined processor designs using Esterel tools: a case study S Ramesh, P Bhaduri Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 13 | 1999 |
| Formal consistency of models in multi-view modelling P Bhaduri, R Venkatesh Kuzniarz et al.[43], 149-159, 2002 | 12 | 2002 |
| Time-triggered scheduling for multiprocessor mixed-criticality systems L Behera, P Bhaduri Distributed Computing and Internet Technology: 14th International Conference …, 2018 | 11 | 2018 |
| Timing analysis of real-time embedded systems using model checking VR Anwikar, P Bhaduri 18th international conference on real-time and network systems, 119-128, 2010 | 11 | 2010 |
| Model checking visual specification of requirements U Shrotri, P Bhaduri, R Venkatesh First International Conference onSoftware Engineering and Formal Methods …, 2003 | 11 | 2003 |
| Translation validation of loop invariant code optimizations involving false computations R Chouksey, C Karfa, P Bhaduri VLSI Design and Test: 21st International Symposium, VDAT 2017, Roorkee …, 2017 | 9 | 2017 |
| 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 | 9 | 2015 |
| Virtual integration of real-time systems based on resource segregation abstraction I Stierand, P Reinkemeier, P Bhaduri Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014 | 9 | 2014 |
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D在 iitbombay.org 的电子邮件经过验证
