Book Chapters

M. Cavaliere, S. Krishna, Gh. Paun, A. Paun. Membrane Computing with Objects on Membranes, in The Oxford Handbook of Membrane Computing, Oxford University Press, Dec 2009.
Publications in Refereed International Conference Proceedings
 Kalyani Dole, Ashutosh Gupta and S. Krishna. Robust Controller Synthesis for Duration Calculus, to appear in Proceedings of ATVA'20, Hanoi, Vietnam, October 2020.
 Parosh Abdulla, Mohamed Faouzi Atig, Vrunda Dave and S. Krishna.
On the Separability Problem of String Constraints, to appear in Proceedings of CONCUR'20, Vienna, Austria, September 2020.
 Vrunda Dave, Emmanuel Filiot, Krishna S and Nathan Lhote.
Synthesis of Computable Regular Functions of Infinite Words, to
appear in Proceedings of CONCUR'20, Vienna,
Austria, September 2020.
 Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner.
Containment of Simple Regular Path Queries, to appear in Proceedings of KR'20, Rhodes, September 2020.
 S. Akshay, P. Gastin, S. Krishna, S. Roychowdhury. Revisiting Underapproximate Reachability for Multipushdown Systems, in Proceedings of TACAS'20 , Dublin, April 2020.
 S. Bose, S. Krishna, A. Muscholl, V. Penelle, G. Puppis.
On Synthesis of Resynchronizers for Transducers, in Proceedings of MFCS'19, Aachen, August 2019.
 D. Bhave, S. Krishna, R. Phawade and A. Trivedi. On Timed Scope Bounded ContextSensitive Languages, in Proceedings of DLT'19, Warsaw, August 2019.
 P. A. Abdulla, J. Arora, M. Faouzi Atig, S. Krishna. Verification of Programs under the ReleaseAcquire Semantics, in Proceedings of PLDI'19, Phoenix, Arizona, June 2019.
 S. Akshay, P. Gastin, V. Juge, S. Krishna. Timed Systems through the Lens of Logic, in Proceedings of LICS'19, Vancouver, June 2019.
 P. A. Abdulla, M. Faouzi Atig, S. Krishna, Shaan Vaidya. Verification of Timed Asynchronous Programs, in Proceedings of FST&TCS'18, Ahmedabad, December 2018.
 S. Krishna, K. Madnani, P. K. Pandya. Logics meet 1clock Alternating Automata, in Proceedings of CONCUR'18, Beijing, September 2018.
 P. A. Abdulla, M. Faouzi Atig, S. Krishna. Perfect Timed Communication is Hard, in Proceedings of FORMATS'18, Beijing, September 2018.
 L. Daviaud, M. Bojańczyk, S. Krishna. Regular and Firstorder List Functions, in Proceedings of LICS'18, Oxford, July 2018.
 V. Dave, P. Gastin, S. Krishna. Regular Transducer Expressions for Regular Transformations, in Proceedings of LICS'18, Oxford, July 2018.
 S. Krishna, Khushraj Madnani, Paritosh Pandya. Making Metric Temporal Logic Rational, in Proceedings of MFCS'17, Aalborg, August 2017.
 S. Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi. The ReachAvoid Problem in Constant Rate Multimode Systems, in Proceedings of ATVA'17, Pune, October 2017.
 S.Akshay, Paul Gastin, S. Krishna and Ilias Sarkar. Towards an Efficient Tree Automata based technique for Timed Systems, in Proceedings of CONCUR'17, Berlin, September 2017.
 V. Dave, S. Krishna, A. Trivedi. FirstOrder Definable Transformations of Infinite Strings, in Proceedings of FST&TCS'16, Chennai, December 2016.
 S. Guha, M. Jurdzinski, S. Krishna, A. Trivedi. MeanPayOff Games on Timed Automata, in Proceedings of FST&TCS'16, Chennai, December 2016.
 D. Bhave, V. Dave, S. Krishna, R.Phawade, A. Trivedi. A Perfect Class of Timed ContextSensitive Languages, in Proceedings of DLT'16, Montreal, July 2016.
 S. Akshay, P. Bouyer, S. Krishna, L. Manasa, A. Trivedi. Stochastic Timed Games Revisited, in Proceedings of MFCS'16, Krakow, August 2016.
 S. Akshay, P. Gastin, S. Krishna. Analyzing Timed Systems Using Tree Automata, in Proceedings of CONCUR'16, Quebec, August 2016.
 S. Krishna, K. Madnani, P. K. Pandya. Metric Temporal Logic with Counting, in Proceedings of FoSSACS'16, Eindhoven, March 2016.
 D. Bhave, V. Dave, S. Krishna, R. Phawade, A. Trivedi. A Logical Characterization for Densetime Visibly Pushdown Automata, in Proceedings of LATA'16, Prague, March 2016.
 S. Guha, S. Krishna, L. Manasa, A. Trivedi. Revisiting Robustness in Priced Timed Games, in Proceedings of FST&TCS'15, Bengaluru, Dec 2015.
 S. Krishna, G. Narwane, S. Ramesh, A. Trivedi. Compositional modeling and analysis of automotive feature product lines, in Proceedings of DAC'15,San Francisco, June 2015.
 A. Das, S. Krishna, L. Manasa, A. Trivedi, D. Wojtczak. On Pure Nash Equilibria in Stochastic Games, in Proceedings of TAMC'15, Singapore, May 2015.
 S. Krishna, L. Manasa, A. Trivedi. What is Decidable about Recursive Hybrid Automata?, in
Proceedings of HSCC'15, Seattle, April 2015.
 D. Bhave, S. Jha, S. Krishna, S. Schewe, A. Trivedi. BoundedRate MultiMode Systems Based Motion Planning,
in Proceedings of HSCC'15, Seattle, April 2015.
 S. Krishna, L. Manasa, A. Trivedi. The TimeBounded Reachability Problem for Recursive Timed Automata is Undecidable, in Proceedings of LATA'15, Nice, Mar 2015.
 S. Krishna, L. Manasa, A. Trivedi. Improved Undecidability Results for Reachability Games on Recursive Timed Automata, in Proceedings of GandALF'14, Verona, Sep 2014.
 E. Filiot, S. Krishna, A. Trivedi. First Order Definable Transformations, in Proceedings of FST&TCS'14, New Delhi, December 2014.
 K. Madnani, S. Krishna, P. K. Pandya. Partially Punctual Metric Temporal Logic is Decidable, in Proceedings of TIME'14, Verona, Sep 2014.
 S. Krishna, U. Mathur, A. Trivedi. Weak Singular Hybrid Automata, in Proceedings of FORMATS'14, Florence, Sep 2014.
 T. Brihaye, G. Geerarts, S. Krishna, L. Manasa, B. Monmenge, A. Trivedi. Adding Negative Prices to Priced Timed Games, in Proceedings of CONCUR'14, Rome, Sep 2014.
 K. Madnani, S. Krishna, P. K. Pandya. On Unary Fragments of MTL and TPTL over Timed Words, inProceedings of ICTAC'14, Bucharest, Sep 2014.
 S. Guha, S. Krishna, C. Narayan, S. Arun Kumar. A Unifying Approach to Decide Relations for Timed Automata and their
Game Characterization, in Proceedings of EXPRESS/SOS 2013,
EPTCS 120: 4762, (2013).
 C. Dragomir, S. Krishna, M. Ghoerghe. Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems, in Proceedings of CiE'13, LNCS ISBN 9783642390524: 284293, Springer (2013). Awarded Best Paper in Natural Computing
 S. Krishna, J. V. Millo, G. Narwane, S. Ramesh. Compositional Verification of Software Product Lines, in Proceedings of IFM'13 , LNCS ISBN 9783642386121: 109123, Springer (2013).
 S. Krishna, J. V. Millo, S. Mohalik, G. Narwane, S. Ramesh. Tracing SPLs Precisely and Efficiently, in Proceedings of SPLC'12, 186195, ACM (2012).
 D. Kini, S. Krishna, P. K. Pandya. Construction of Safety Signal Automata for MTL[U,S], Proceedings of FORMATS'11, LNCS 6919: 225239, Springer (2011).
 A. Chiplunkar, C. Jain, S. Krishna. Model Checking logic WCTL with Multiconstrained modalities on One Clock Priced Timed Automata, Proceedings of FORMATS'09, LNCS 5813: 88102, Springer (2009).
 V. Suman, S. Krishna, L. Manasa, P. K. Pandya. Timed Automata with Integer Resets: Language Inclusion and
Expressiveness, Proceedings of FORMATS'08,
LNCS 5215: 7892, Springer, (2008).
 S. Krishna, K. Loya, P. K. Pandya. On Sampling Abstraction of Continous Time Logic with Durations, Proceedings of TACAS'07,
LNCS 4424: 246260, Springer, (2007).
 S. Krishna, P. K. Pandya. Modal strength reduction in quantified
discrete duration calculus,
Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science,
(FSTTCS), LNCS 3821: 444 456, Springer, (2005).
Publications in Refereed Journals
 M. Gheorghe, F. Ipate, S. Krishna, Ersebet CsuhajVarju and Ceterechi Rodica. Further Results on Generalised Communicating P Systems, to appear in Theoretical Computer Science.
 M. Gheorghe, S. Krishna, R. Rama, H. Ramesh. On Restricted BioTuring Machines, Fundamenta Informaticae,
Volume 110, Number 14, (2011).
 C. Jain, S. Krishna, L. Manasa. Model Checking Weighted Integer Reset Timed Automata, Theory of Computing Systems (ToCS), 48(3) : 648679 (2011).
 G. Ciobanu, S. Krishna. Enhanced Mobile Membranes: Computability Results,
Theory of Computing Systems (ToCS), 48(3) : 715729 (2011).
 S. Krishna. Membrane Computing with Transport and Embedded Proteins, Theoretical Computer Science, 410 : 355375 (2009).
 S. Krishna. Universality Results for P Systems based on Brane Calculi Operations, Theoretical Computer Science, 371(12) : 83105 (2007).
 S. Krishna, Gh. Paun. P Systems with Mobile Membranes,
Natural Computing, 4(3) : 255274 (2005).
Tools
 SPLANE (Software Product Line Analysis Engine)