Purandar Bhaduri

Citado por

	Total	Desde 2019
Citas	469	138
Índice h	12	8
Índice i10	17	4

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 1 6 9 10 16 7 12 14 17 31 30 26 36 23 26 22 27 33 37 23 21 19 5

Acceso público

Ver todo

6 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DDirección de correo verificada de iitbombay.org
Sukumar NandiProfessor Indian Institute of Technology GuwahatiDirección de correo verificada de iitg.ac.in
Dr. Pravati Swain (NITGoa)Assistant professor Department of Computer Science and EngineeringDirección de correo verificada de nitgoa.ac.in
Sandip ChakrabortyAssociate Professor, Indian Institute of Technology KharagpurDirección de correo verificada de cse.iitkgp.ac.in
Chandan KarfaIndian Institute of Technology GuwahatiDirección de correo verificada de iitg.ernet.in
Lalatendu BeheraAssistant Professor, Department of Computer Science and Engineering, NIT JalandharDirección de correo verificada de nitj.ac.in
Samarjit ChakrabortyKenan Professor of Computer Science, The University of North Carolina at Chapel HillDirección de correo verificada de cs.unc.edu
Girish Keshav PalshikarTCS Research, Tata Consultancy Services Limited, Pune, IndiaDirección de correo verificada de tcs.com
Vallabh AnwikarIIT GuwahatiDirección de correo verificada de tcs.com
Ulka ShrotriTRDDC, Tata Consultancy ServicesDirección de correo verificada de tcs.com
Diptesh MajumdarMicrosoftDirección de correo verificada de microsoft.com
Licong ZhangTechnical University of MunichDirección de correo verificada de rcs.ei.tum.de
Dip GoswamiAssociate Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Dirección de correo verificada de tue.nl
sanjoy mitterprofessor of Electrical Engineering , MITDirección de correo verificada de mit.edu
Kunal BanerjeeData Science Foundation, WalmartDirección de correo verificada de walmartlabs.com
Pankaj Kumar KalitaIIT KanpurDirección de correo verificada de cse.iitk.ac.in
mangala gowri nanda
Ramanuj ChoukseyCadence Design Systems

Seguir

Purandar Bhaduri

Professor, IIT Guwahati

Dirección de correo verificada de iitg.ac.in - Página principal

Formal Verification Logic and Semantics


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	26	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
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
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	12	2018
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
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
Time-triggered scheduling of mixed-criticality systems L Behera, P Bhaduri ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (4 …, 2017	8	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores