Vrunda Dave

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 16

Top Topics

Monotonicity Property

Regular Expressions

Top Venues

Publications

Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair for Omega-Regular Properties. ATVA (2022)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair For Omega-regular Properties. CoRR (2022)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. 18 (2) (2022)
Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
Regular transducer expressions for regular transformations. Inf. Comput. 282 (2022)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
Regular Model Checking with Regular Relations. FCT (2021)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. CONCUR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
On the Separability Problem of String Constraints. CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
On the Separability Problem of String Constraints. CONCUR (2020)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Deciding the Computability of Regular Functions over Infinite Words. CoRR (2019)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
MSO-Definable Regular Model Checking. CoRR (2019)
Vrunda Dave, Paul Gastin, Krishna Shankara Narayanan
Regular Transducer Expressions for Regular Transformations. CoRR (2018)
Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
Regular Transducer Expressions for Regular Transformations. LICS (2018)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Perfect Class of Context-Sensitive Timed Languages. DLT (2016)
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
FO-Definable Transformations of Infinite Strings. FSTTCS (2016)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA (2016)
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
FO-definable transformations of infinite strings. CoRR (2016)