Vrunda Dave

According to our database, Vrunda Dave authored at least 10 papers between 2016 and 2022.

Collaborative distances:

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

2022

Optimal Repair for Omega-Regular Properties.

Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Regular Model Checking with Regular Relations.

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2020

Synthesis of Computable Regular Functions of Infinite Words.

Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote

Proceedings of the 31st International Conference on Concurrency Theory, 2020

On the Separability Problem of String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

MSO-Definable Regular Model Checking.

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

CoRR, 2019

Deciding the Computability of Regular Functions over Infinite Words.

Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote

CoRR, 2019

2018

Regular Transducer Expressions for Regular Transformations.

Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016

A Logical Characterization for Dense-Time Visibly Pushdown Automata.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Language and Automata Theory and Applications, 2016

FO-Definable Transformations of Infinite Strings.

Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

A Perfect Class of Context-Sensitive Timed Languages.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Developments in Language Theory - 20th International Conference, 2016