Vrunda Dave

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