Puneet Bhateja

16 papers B 3C 5Misc 3Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2024 C conf
Designing Distributed Systems Using SAT Solvers.
APSEC
Puneet Bhateja
2023 Misc conf
Asynchronous Test Equivalence over Timed Processes.
TASE
Puneet Bhateja
2022 J jnl
Determining asynchronous test equivalence for probabilistic processes.
Inf. Process. Lett.
Puneet Bhateja
2021 C conf
Probabilistic testing of asynchronously communicating systems.
APSEC
Puneet Bhateja
2020 C conf
Asynchronous test equivalence for probabilistic processes.
APSEC
Puneet Bhateja
2019 C conf
A theoretical framework for testing cyber-physical systems.
CoDIT
Puneet Bhateja
2017 — conf
A new semantic equivalence for real-time processes.
ISEC
Puneet Bhateja
2017 — conf
Asynchronous testing of real-time systems.
SCSS
Puneet Bhateja
2015 C conf
Designing Distributed Systems w.r.t. Conformance.
APSEC
Puneet Bhateja
2014 — conf
A TGV-like approach for asynchronous testing.
ISEC
Puneet Bhateja
2011 Misc conf
A Tagging Protocol for Asynchronous Testing.
TASE
Puneet Bhateja
2011 Misc conf
Test Case Generation Using PDA.
TASE
Puneet Bhateja
2009 — conf
Grammar based asynchronous testing.
ISEC
Puneet Bhateja
2008 B conf
Tagging Make Local Testing of Message-Passing Systems Feasible.
SEFM
Puneet Bhateja, Madhavan Mukund
2007 B conf
Local Testing of Message Sequence Charts Is Difficult.
FCT
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2006 B conf
A Fresh Look at Testing for Asynchronous Communication.
ATVA
Puneet Bhateja, Paul Gastin, Madhavan Mukund