Shankara Narayanan Krishna

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 94

Top Venues

Publications

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8 (POPL) (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency (2024)
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP (2024)
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An efficient quantifier elimination procedure for Presburger arithmetic. CoRR (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Ashutosh Gupta, Omkar Tuppe
Optimal Stateless Model Checking for Causal Consistency. TACAS (1) (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. TACAS (1) (2023)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35 (2) (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. CoRR (2023)
Parosh Aziz Abdulla, Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR (2023)
Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
Counter Machines with Infrequent Reversals. FSTTCS (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR (2023)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair for Omega-Regular Properties. ATVA (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe
Optimal SMC for Transactional Programs. CoRR (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, Shankara Narayanan Krishna
Probabilistic Total Store Ordering. ESOP (2022)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS (2022)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR (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)
Shankara Narayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
Parameterized Verification under Release Acquire is PSPACE-complete. PODC (2022)
Aneesh K. Shetty, Shankara Narayanan Krishna, Georg Zetzsche
Scope-Bounded Reachability in Valence Systems. CONCUR (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way resynchronizability of word transducers. CoRR (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way Resynchronizability of Word Transducers. FoSSaCS (2021)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
Regular Model Checking with Regular Relations. FCT (2021)
S. Akshay, Blaise Genest, Loïc Hélouët, Shankara Narayanan Krishna, Sparsa Roychowdhury
Resilience of Timed Systems. FSTTCS (2021)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankara Narayanan Krishna, Ashutosh Trivedi
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS (2021)
Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
Safety Verification of Parameterized Systems under Release-Acquire. CoRR (2021)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Viktor Vafeiadis
The Decidability of Verification under PS 2.0. ESOP (2021)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Logics Meet 2-Way 1-Clock Alternating Timed Automata. CoRR (2021)
Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
SD-Regular Transducer Expressions for Aperiodic Transformations. LICS (2021)
Aneesh K. Shetty, Shankara Narayanan Krishna, Georg Zetzsche
Scope-Bounded Reachability in Valence Systems. CoRR (2021)
Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
SD-Regular Transducer Expressions for Aperiodic Transformations. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM (2021)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Sparsa Roychowdhury
Revisiting Underapproximate Reachability for Multipushdown Systems. TACAS (1) (2020)
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)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Sparsa Roychowdhury
Revisiting Underapproximate Reachability for Multipushdown Systems. CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
On the Separability Problem of String Constraints. CONCUR (2020)
Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna
Robust Controller Synthesis for Duration Calculus. ATVA (2020)
Diego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Containment of Simple Regular Path Queries. CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Viktor Vafeiadis
The Decidability of Verification under Promising 2.0. CoRR (2020)
Diego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Containment of Simple Conjunctive Regular Path Queries. KR (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)
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
Timed Systems through the Lens of Logic. CoRR (2019)
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
Verification of programs under the release-acquire semantics. PLDI (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. FMCAD (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-Bounded Context-Sensitive Languages. DLT (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. CoRR (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-bounded Context-sensitive Languages. CoRR (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. MFCS (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. CoRR (2019)
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
Timed Systems through the Lens of Logic. LICS (2019)
Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna
Regular and First-Order List Functions. LICS (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
Perfect Timed Communication Is Hard. FORMATS (2018)
Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
Regular Transducer Expressions for Regular Transformations. LICS (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
Verification of Timed Asynchronous Programs. FSTTCS (2018)
Paul Gastin, Shankara Narayanan Krishna
Unambiguous Forest Factorization. CoRR (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Logics Meet 1-Clock Alternating Timed Automata. CONCUR (2018)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
Analyzing Timed Systems Using Tree Automata. Log. Methods Comput. Sci. 14 (2) (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Büchi-Kamp Theorems for 1-clock ATA. CoRR (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. MFCS (2017)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
Towards an Efficient Tree Automata based technique for Timed Systems. CoRR (2017)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. CoRR (2017)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
Towards an Efficient Tree Automata Based Technique for Timed Systems. CONCUR (2017)
Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi
Further results on generalised communicating P systems. Theor. Comput. Sci. 701 (2017)
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR (2017)
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
What is Decidable about Perfect Timed Channels? CoRR (2017)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Perfect Class of Context-Sensitive Timed Languages. DLT (2016)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
Analyzing Timed Systems Using Tree Automata. CONCUR (2016)
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Stochastic Timed Games Revisited. CoRR (2016)
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
FO-Definable Transformations of Infinite Strings. FSTTCS (2016)
Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18 (8) (2016)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Metric Temporal Logic with Counting. FoSSaCS (2016)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA (2016)
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Stochastic Timed Games Revisited. MFCS (2016)
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
FO-definable transformations of infinite strings. CoRR (2016)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
Analyzing Timed Systems Using Tree Automata. CoRR (2016)
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
Mean-Payoff Games on Timed Automata. CoRR (2016)
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
Mean-Payoff Games on Timed Automata. FSTTCS (2016)
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
On Nonlinear Prices in Timed Automata. V2CPS@IFM (2016)
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
On Pure Nash Equilibria in Stochastic Games. TAMC (2015)
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Revisiting Robustness in Priced Timed Games. CoRR (2015)
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
Bounded-rate multi-mode systems based motion planning. HSCC (2015)
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
What's decidable about recursive hybrid automata? HSCC (2015)
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. LATA (2015)
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Revisiting Robustness in Priced Timed Games. FSTTCS (2015)
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi
Compositional modeling and analysis of automotive feature product lines. DAC (2015)
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Reachability Games on Recursive Hybrid Automata. TIME (2015)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Metric Temporal Logic with Counting. CoRR (2015)
Shankara Narayanan Krishna, Ashutosh Trivedi
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. CoRR (2015)
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
First-order definable string transformations. CoRR (2014)
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
On Unary Fragments of MTL and TPTL over Timed Words. ICTAC (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Partially Punctual Metric Temporal Logic is Decidable. CoRR (2014)
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. CoRR (2014)
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
First-order Definable String Transformations. FSTTCS (2014)

Shankara Narayanan Krishna.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shankara Narayanan Krishna