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
 S. Krishna, Khushraj Madnani, Paritosh Pandya. Making Metric Temporal Logic Rational, to appear 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, to appear 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, to appear 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, 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)