Puneet Bhateja

According to our database, Puneet Bhateja authored at least 15 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Asynchronous Test Equivalence over Timed Processes.

Puneet Bhateja

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

Determining asynchronous test equivalence for probabilistic processes.

Puneet Bhateja

Inf. Process. Lett., 2022

2021

Probabilistic testing of asynchronously communicating systems.

Puneet Bhateja

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Asynchronous test equivalence for probabilistic processes.

Puneet Bhateja

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A theoretical framework for testing cyber-physical systems.

Puneet Bhateja

Proceedings of the 6th International Conference on Control, 2019

2017

Asynchronous testing of real-time systems.

Puneet Bhateja

Proceedings of the SCSS 2017, 2017

A new semantic equivalence for real-time processes.

Puneet Bhateja

Proceedings of the 10th Innovations in Software Engineering Conference, 2017

2015

Designing Distributed Systems w.r.t. Conformance.

Puneet Bhateja

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

A TGV-like approach for asynchronous testing.

Puneet Bhateja

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

2011

Test Case Generation Using PDA.

Puneet Bhateja

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Tagging Protocol for Asynchronous Testing.

Puneet Bhateja

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2009

Grammar based asynchronous testing.

Puneet Bhateja

Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

2008

Tagging Make Local Testing of Message-Passing Systems Feasible.

Puneet Bhateja, Madhavan Mukund

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

Local Testing of Message Sequence Charts Is Difficult.

Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2006

A Fresh Look at Testing for Asynchronous Communication.

Puneet Bhateja, Paul Gastin, Madhavan Mukund

Proceedings of the Automated Technology for Verification and Analysis, 2006