Skip to content
cs-conference-ranking.org

Puneet Bhateja

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

2006–2026

Best venue rank

National

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026TASEScenario Matching Problem in Distributed Systems.Puneet Bhateja
2024APSECDesigning Distributed Systems Using SAT Solvers.Puneet Bhateja
2023TASEAsynchronous Test Equivalence over Timed Processes.Puneet Bhateja
2021APSECProbabilistic testing of asynchronously communicating systems.Puneet Bhateja
2020APSECAsynchronous test equivalence for probabilistic processes.Puneet Bhateja
2019CoDITA theoretical framework for testing cyber-physical systems.Puneet Bhateja
2015APSECDesigning Distributed Systems w.r.t. Conformance.Puneet Bhateja
2011TASEA Tagging Protocol for Asynchronous Testing.Puneet Bhateja
2011TASETest Case Generation Using PDA.Puneet Bhateja
2008SEFMTagging Make Local Testing of Message-Passing Systems Feasible.Puneet Bhateja, Madhavan Mukund
2007FCTLocal Testing of Message Sequence Charts Is Difficult.Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2006ATVAA Fresh Look at Testing for Asynchronous Communication.Puneet Bhateja, Paul Gastin, Madhavan Mukund