Seuraa
Purandar Bhaduri
Purandar Bhaduri
Professor, IIT Guwahati
Vahvistettu sähköpostiosoite verkkotunnuksessa iitg.ac.in - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Model checking of statechart models: Survey and research directions
P Bhaduri, S Ramesh
arXiv preprint cs/0407038, 2004
592004
Interface synthesis and protocol conversion
P Bhaduri, S Ramesh
Formal Aspects of Computing 20 (2), 205-224, 2008
372008
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
332010
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
262014
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
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
232008
Model checking of statechart models: Survey and research directions. CoRR
P Bhaduri, S Ramesh
arXiv preprint cs.SE/0407038, 2004
232004
An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems
L Behera, P Bhaduri
Design Automation for Embedded Systems 24, 79-109, 2020
212020
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
212013
Synthesis of interface automata
P Bhaduri
Automated Technology for Verification and Analysis: Third International …, 2005
142005
Verification of Giotto based Embedded Control Systems.
RK Poddar, P Bhaduri
Nordic Journal of Computing 13 (4), 266, 2006
132006
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
131999
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
122018
Formal consistency of models in multi-view modelling
P Bhaduri, R Venkatesh
Kuzniarz et al.[43], 149-159, 2002
122002
Time-triggered scheduling for multiprocessor mixed-criticality systems
L Behera, P Bhaduri
Distributed Computing and Internet Technology: 14th International Conference …, 2018
112018
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
112010
Model checking visual specification of requirements
U Shrotri, P Bhaduri, R Venkatesh
First International Conference onSoftware Engineering and Formal Methods …, 2003
112003
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
92015
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
92014
Time-triggered scheduling of mixed-criticality systems
L Behera, P Bhaduri
ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (4 …, 2017
82017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20