K. Narayan Kumar

63 papers A* 3A 4B 17C 2Journal 16Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parametrised Verification of Intel-x86 Programs.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2024 J jnl
Verification under Intel-x86 with Persistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2022 — conf
Consistency and Persistency in Program Verification: Challenges and Opportunities.
Principles of Systems Design
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
2022 — conf
Verifying Reachability for TSO Programs with Dynamic Thread Creation.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 A conf
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.
ESOP
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
2021 J jnl
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.
CoRR
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
2021 J jnl
Deciding reachability under persistent x86-TSO.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2019 J jnl
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering.
CoRR
Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen
2018 B conf
Regular Separability of Well-Structured Transition Systems.
CONCUR
Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
2018 B conf
Verifying Quantitative Temporal Properties of Procedural Programs.
CONCUR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 B ed.
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
ATVA
Deepak D'Souza, K. Narayan Kumar
2017 — conf
Parity Games on Bounded Phase Multi-pushdown Systems.
NETYS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 — conf
Verification of Asynchronous Programs with Nested Locks.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2016 A conf
Acceleration in Multi-PushDown Systems.
TACAS
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2016 J jnl
Complexity of regular abstractions of one-counter languages.
CoRR
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016 A* conf
The complexity of regular abstractions of one-counter languages.
LICS
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2015 J jnl
Checking conformance for time-constrained scenario-based specifications.
Theor. Comput. Sci.
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2014 J jnl
Adjacent Ordered Multi-Pushdown Systems.
Int. J. Found. Comput. Sci.
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2014 B conf
Controllers for the Verification of Communicating Multi-pushdown Systems.
CONCUR
C. Aiswarya, Paul Gastin, K. Narayan Kumar
2014 J jnl
Distributed Timed Automata with Independently Evolving Clocks.
Fundam. Informaticae
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2014 J jnl
Infinite-State Energy Games.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
Infinite-state energy games.
CSL-LICS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
On Bounded Reachability Analysis of Shared Memory Systems.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2014 B conf
Verifying Communicating Multi-pushdown Systems via Split-Width.
ATVA
C. Aiswarya, Paul Gastin, K. Narayan Kumar
2013 C conf
Adjacent Ordered Multi-Pushdown Systems.
Developments in Language Theory
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2012 B conf
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.
ATVA
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2012 B conf
MSO Decidability of Multi-Pushdown Systems via Split-Width.
CONCUR
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
2012 B conf
Model Checking Languages of Data Words.
FoSSaCS
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
2012 J jnl
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard
CoRR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2012 — ch.
The Theory of Message Sequence Charts.
Modern Applications of Automata Theory
K. Narayan Kumar
2010 — conf
Analysing Message Sequence Graph Specifications.
ISoLA (1)
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar
2010 — conf
Model checking time-constrained scenario-based specifications.
FSTTCS
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2009 — ed.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, IIT Kanpur, India, December 15-17, 2009
FSTTCS
Ravi Kannan, K. Narayan Kumar
2009 — conf
Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009).
FSTTCS
Ravi Kannan, K. Narayan Kumar
2008 B conf
Distributed Timed Automata with Independently Evolving Clocks.
CONCUR
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2007 — conf
Anchored Concatenation of MSCs.
Formal Models, Languages and Applications
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
2007 B conf
Checking Coverage for Infinite Collections of Timed Scenarios.
CONCUR
S. Akshay, Madhavan Mukund, K. Narayan Kumar
2007 B conf
Local Testing of Message Sequence Charts Is Difficult.
FCT
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2005 J jnl
A theory of regular MSC languages.
Inf. Comput.
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
2005 — conf
Causal Closure for MSC Languages.
FSTTCS
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
2004 J jnl
An unfold/fold transformation framework for definite logic programs.
ACM Trans. Program. Lang. Syst.
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2003 J jnl
Bounded time-stamping in message-passing systems.
Theor. Comput. Sci.
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
2003 B conf
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.
MFCS
Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2003 B conf
Netcharts: Bridging the gap between HMSCs and executable specifications.
CONCUR
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2002 J jnl
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
Int. J. Found. Comput. Sci.
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2002 A conf
Resource-Constrained Model Checking of Recursive Programs.
TACAS
Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
2001 B conf
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.
ICLP
K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
2000 A* conf
On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
ICALP
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2000 B conf
Regular Collections of Message Sequence Charts.
MFCS
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2000 B conf
Synthesizing Distributed Finite-State Systems from MSCs.
CONCUR
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
2000 A conf
Verification of Parameterized Systems Using Logic Program Transformations.
TACAS
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
1999 C conf
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.
PPDP
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999 — conf
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
ASIAN
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999 — conf
Faster Model Checking for Open Systems.
ASIAN
Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka
1999 B conf
Generalized Unfold/fold Transformation Systems for Normal Logic Programs.
ICLP
Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan
1998 — conf
Infinite Probabilistic and Nonprobabilistic Testing.
FSTTCS
K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
1998 — conf
Logic Programming and Model Checking.
PLILP/ALP
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
1998 A* conf
Robust Asynchronous Protocols Are Finite-State.
ICALP
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
1998 — conf
Towards a Characterisation of Finite-State Message-Passing Systems.
ASIAN
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
1995 — conf
Keeping Track of the Latest Gossip in Message-Passing Systems.
STRICT
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
1994 — conf
On the Computational Power of Operators in ICSP with Fairness.
FSTTCS
K. Narayan Kumar, Paritosh K. Pandya
1993 — conf
ICSP and Its Relationship with ACSP and CSP.
FSTTCS
K. Narayan Kumar, Paritosh K. Pandya
1993 J jnl
Infinitary Parallelism without Unbounded Nondeterminism in CSP.
Acta Informatica
K. Narayan Kumar, Paritosh K. Pandya