Vidvan Image

Prof Purandar Bhaduri

vidwan id: 128268
Male

Professor, Department of Computer Science and Engineering
Indian Institute of Technology Guwahati

Expertise

  • Computer Science Artificial Intelligence

Publications

Total Articles 33
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 207
h-index 9

CrossRef

CrossRef Icon
Citations 100
h-index 5
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Formal Verification and Analysis of Embedded and Cyber-Physical Systems, Controller Synthesis, Compositional Verification, Interface and Contract Theories for Component-based Design

Personal Details

  • Male
  • Professor , Indian Institute of Technology Guwahati
  • Indian Institute of Technology Guwahati
No Data Found

There is currently nothing to display here.

Professor Dec 2004 – Present
Indian Institute of Technology Guwahati | Department of Computer Science and Engineering

Related Profiles

Experts (12262+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (474+)

View All
Sandeep Reddy

Dr Sandeep Reddy Basireddy

Assistant Professor

Bodhisattva

Dr Bodhisattva Sengupta

Associate Professor

Trinayan

Mr Trinayan Borgohain

Senior Library and Information Assistant

Budhaditya

Dr Budhaditya Hazra

Associate Professor

Amit

Dr Amit Awekar

Associate Professor

Ayon

Dr Ayon Borthakur

Associate Professor

Co-Authors (10)

Amitabha

Dr Amitabha Sanyal

Indian Institute of Technology Bombay

LALATENDU

Dr LALATENDU BEHERA

Dr B R Ambedkar National Institute of Technology, Jalandhar

Chandan

Dr Chandan Karfa

Indian Institute of Technology Guwahati

K. V.

Prof K. V. Krishna

Indian Institute of Technology Guwahati

Pankaj

Dr Pankaj Kalita

Tezpur University

Pankaj

Dr Pankaj Kalita

Indian Institute of Technology Guwahati

Pravati

Dr Pravati Swain

National Institute of Technology, Goa

Sivakumar

Dr Sivakumar G

Indian Institute of Technology Bombay

Sukumar

Prof Sukumar Nandi

Indian Institute of Technology Guwahati

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Monoids of non-halting programs with tests

Open Access
Article

Axiomatization of if-then-else over monoids of possibly non-halting programs and tests

Open Access
article
Authors: Gayatri Panicker and V. Krishna and Purandar Bhaduri

Time-triggered scheduling of mixed-criticality systems

Open Access
Article

Axiomatization of if-Then-else over possibly non-halting programs and tests

Open Access
Article

Translation validation of loop invariant code optimizations involving false computations

Open Access
Conference Paper

Performance modeling and analysis of IEEE 802.11 IBSS PSM in different traffic conditions

Open Access
Article

Reconfigurable communication middleware for flexray-based distributed embedded systems

Open Access
Conference Paper
Authors: Majumdar D.;Zhang L.;Bhaduri P.;Chakraborty S.

Virtual integration of real-time systems based on resource segregation abstraction

Open Access
Conference Paper