A Fresh Look at Testing for Asynchronous Communication. - Puneet Bhateja; Paul Gastin; Madhavan Mukund (ATVA, 2006)

Local Testing of Message Sequence Charts Is Difficult. - Puneet Bhateja; Paul Gastin; Madhavan Mukund; K. Narayan Kumar (FCT, 2007)

Tagging Make Local Testing of Message-Passing Systems Feasible. - Puneet Bhateja; Madhavan Mukund (SEFM, 2008)

Grammar based asynchronous testing. - Puneet Bhateja (ISEC, 2009)

A Tagging Protocol for Asynchronous Testing. - Puneet Bhateja (TASE, 2011)

Test Case Generation Using PDA. - Puneet Bhateja (TASE, 2011)

A TGV-like approach for asynchronous testing. - Puneet Bhateja (ISEC, 2014)

Designing Distributed Systems w.r.t. Conformance. - Puneet Bhateja (APSEC, 2015)

A new semantic equivalence for real-time processes. - Puneet Bhateja (ISEC, 2017)

Asynchronous testing of real-time systems. - Puneet Bhateja (SCSS, 2017)

A theoretical framework for testing cyber-physical systems. - Puneet Bhateja (CoDIT, 2019)

Asynchronous test equivalence for probabilistic processes. - Puneet Bhateja (APSEC, 2020)

Probabilistic testing of asynchronously communicating systems. - Puneet Bhateja (APSEC, 2021)

Determining asynchronous test equivalence for probabilistic processes. - Puneet Bhateja (Inf. Process. Lett., 2022)

Asynchronous Test Equivalence over Timed Processes. - Puneet Bhateja (TASE, 2023)

Designing Distributed Systems Using SAT Solvers. - Puneet Bhateja (APSEC, 2024)