Person:
Bhateja, Puneet

Profile Picture

Name

Puneet Bhateja

Job Title

Faculty

Email Address

Telephone

079-68261647

Birth Date

Specialization

Theoretical Computer Science

Abstract

Biography

Dr. Puneet Bhateja obtained his PhD in Theoretical Computer Sc from Chennai Mathematical Institute in year 2009 under the supervision of Prof Madhavan Mukund. In his doctoral thesis, he proposed a mathematical theory for testing distributed systems. Immediately after his PhD, he moved to INT-Paris (France). He worked there as a research engineer from 2009 to 2010. Subsequently he held post doctoral positions at INRIA-Rennes (France) from 2010-2011, and CRIM (Canada) from 2011-2012. He joined DA-IICT in year 2013, and since then he is working here.

Research Projects

Organizational Units

Name

Filters

20221

Settings

search.filters.applied.f.isAuthorOfPublication: search.filters.isAuthorOfPublication.a56dc711-45ec-45e0-86f3-60c9f4c57f1a

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    PublicationMetadata only
    Determining asynchronous test equivalence for probabilistic processes
    (Elsevier, 01-08-2022) Bhateja, Puneet; DA-IICT, Gandhinagar
    Each probabilistic process exhibits a kind of input-output behaviour when subjected to asynchronous testing. This behaviour is called the asynchronous test behaviour of the process. When the system under test is comprised of multiple probabilistic processes, the asynchronous test behaviour of the system is equal to the union of the asynchronous test behaviours of the constituent processes. In this paper, we first formalize the notion of asynchronous test behaviour of a process, and then address the following decision problem: Given a system comprising multiple processes, and a reference process, determine whether the two are equivalent in terms of their asynchronous test behaviour or not. We prove this problem to be undecidable.