E-LIB Suche - Ergebnisse für: Krishna, Shankara Narayanan

1

How Hard Is Weak-Memory Testing?:

Chakraborty, Soham ; Krishna, Shankara Narayanan ; Mathur, Umang.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1978-2009 , 2024

Link: https://doi.org/10.1145/..

2

From Non-punctuality to Non-adjacency: A Quest for Decidabi..:

Krishna, Shankara Narayanan ; Madnani, Khushraj ; Mazo Jr., Manuel.
Formal Aspects of Computing. 35 (2023) 2 - p. 1-50 , 2023

Link: https://doi.org/10.1145/..

3

Optimal Repair for Omega-Regular Properties:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Dave, Vrunda ; Krishna, Shankara Narayanan ; Murali, Vishnu. - p. 354-370 , 2022

Link: https://doi.org/10.1007/..

4

Regular transducer expressions for regular transformations:

Dave, Vrunda ; Gastin, Paul ; Krishna, Shankara Narayanan
Information and Computation. 282 (2022) - p. 104655 , 2022

Link: https://doi.org/10.1016/..

5

Regular Model Checking with Regular Relations:

, In: Fundamentals of Computation Theory; Lecture Notes in Computer Science,

Dave, Vrunda ; Dohmen, Taylor ; Krishna, Shankara Narayanan. - p. 190-203 , 2021

Link: https://doi.org/10.1007/..

6

SD-regular transducer expressions for aperiodic transformat..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Dartois, Luc ; Gastin, Paul ; Krishna, Shankara Narayanan - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

7

Generalizing Non-punctuality for Timed Temporal Logic with ..:

, In: Formal Methods; Lecture Notes in Computer Science,

Krishna, Shankara Narayanan ; Madnani, Khushraj ; Mazo Jr., Manuel. - p. 182-199 , 2021

Link: https://doi.org/10.1007/..

8

Robust Controller Synthesis for Duration Calculus:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Dole, Kalyani ; Gupta, Ashutosh ; Krishna, Shankara Narayanan - p. 429-446 , 2020

Link: https://doi.org/10.1007/..

9

Design variability verification in Software Product Lines:

Narwane, Ganesh Khandu ; Millo, Jean-Vivien ; Krishna, Shankara Narayanan.
Sādhanā. 44 (2019) 1 - p. , 2019

Link: https://doi.org/10.1007/..

10

Timed systems through the lens of logic:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Akshay, S. ; Gastin, Paul ; Jugé, Vincent. - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

11

Perfect Timed Communication Is Hard:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Krishna, Shankara Narayanan - p. 91-107 , 2018

Link: https://doi.org/10.1007/..

12

Regular and First-Order List Functions:

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

Bojańczyk, Mikołaj ; Daviaud, Laure ; Krishna, Shankara Narayanan - p. 125-134 , 2018

Link: https://dl.acm.org/doi/1..

13

Regular Transducer Expressions for Regular Transformations:

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

Dave, Vrunda ; Gastin, Paul ; Krishna, Shankara Narayanan - p. 315-324 , 2018

Link: https://dl.acm.org/doi/1..

14

Further results on generalised communicating P systems:

Krishna, Shankara Narayanan ; Gheorghe, Marian ; Ipate, Florentin..
Theoretical Computer Science. 701 (2017) - p. 146-160 , 2017

Link: https://doi.org/10.1016/..

15

What's decidable about recursive hybrid automata?:

, In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control,

Krishna, Shankara Narayanan ; Manasa, Lakshmi ; Trivedi, Ashutosh - p. 31-40 , 2015

Link: https://dl.acm.org/doi/1..