Book Chapters
  1. 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
  1. S. Krishna, Khushraj Madnani, Paritosh Pandya. Making Metric Temporal Logic Rational, to appear in Proceedings of MFCS'17, Aalborg, August 2017.

  2. S. Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi. The Reach-Avoid Problem in Constant Rate Multi-mode Systems, to appear in Proceedings of ATVA'17, Pune, October 2017.

  3. 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.

  4. V. Dave, S. Krishna, A. Trivedi. First-Order Definable Transformations of Infinite Strings, in Proceedings of FST&TCS'16, Chennai, December 2016.

  5. S. Guha, M. Jurdzinski, S. Krishna, A. Trivedi. Mean-PayOff Games on Timed Automata, in Proceedings of FST&TCS'16, Chennai, December 2016.

  6. D. Bhave, V. Dave, S. Krishna, R.Phawade, A. Trivedi. A Perfect Class of Timed Context-Sensitive Languages, in Proceedings of DLT'16, Montreal, July 2016.

  7. S. Akshay, P. Bouyer, S. Krishna, L. Manasa, A. Trivedi. Stochastic Timed Games Revisited, in Proceedings of MFCS'16, Krakow, August 2016.

  8. S. Akshay, P. Gastin, S. Krishna. Analyzing Timed Systems Using Tree Automata, in Proceedings of CONCUR'16, Quebec, August 2016.

  9. S. Krishna, K. Madnani, P. K. Pandya. Metric Temporal Logic with Counting, in Proceedings of FoSSACS'16, Eindhoven, March 2016.

  10. D. Bhave, V. Dave, S. Krishna, R. Phawade, A. Trivedi. A Logical Characterization for Dense-time Visibly Pushdown Automata, in Proceedings of LATA'16, Prague, March 2016.

  11. S. Guha, S. Krishna, L. Manasa, A. Trivedi. Revisiting Robustness in Priced Timed Games, in Proceedings of FST&TCS'15, Bengaluru, Dec 2015.

  12. 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.

  13. 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.

  14. S. Krishna, L. Manasa, A. Trivedi. What is Decidable about Recursive Hybrid Automata?, in Proceedings of HSCC'15, Seattle, April 2015.

  15. D. Bhave, S. Jha, S. Krishna, S. Schewe, A. Trivedi. Bounded-Rate Multi-Mode Systems Based Motion Planning, in Proceedings of HSCC'15, Seattle, April 2015.

  16. S. Krishna, L. Manasa, A. Trivedi. The Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable, in Proceedings of LATA'15, Nice, Mar 2015.

  17. S. Krishna, L. Manasa, A. Trivedi. Improved Undecidability Results for Reachability Games on Recursive Timed Automata, in Proceedings of GandALF'14, Verona, Sep 2014.

  18. E. Filiot, S. Krishna, A. Trivedi. First Order Definable Transformations, in Proceedings of FST&TCS'14, New Delhi, December 2014.

  19. K. Madnani, S. Krishna, P. K. Pandya. Partially Punctual Metric Temporal Logic is Decidable, in Proceedings of TIME'14, Verona, Sep 2014.

  20. S. Krishna, U. Mathur, A. Trivedi. Weak Singular Hybrid Automata, in Proceedings of FORMATS'14, Florence, Sep 2014.

  21. 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.

  22. K. Madnani, S. Krishna, P. K. Pandya. On Unary Fragments of MTL and TPTL over Timed Words, inProceedings of ICTAC'14, Bucharest, Sep 2014.

  23. 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: 47-62, (2013).

  24. 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 978-3-642-39052-4: 284-293, Springer (2013). Awarded Best Paper in Natural Computing

  25. S. Krishna, J. V. Millo, G. Narwane, S. Ramesh. Compositional Verification of Software Product Lines, in Proceedings of IFM'13 , LNCS ISBN 978-3-642-38612-1: 109-123, Springer (2013).

  26. S. Krishna, J. V. Millo, S. Mohalik, G. Narwane, S. Ramesh. Tracing SPLs Precisely and Efficiently, in Proceedings of SPLC'12, 186-195, ACM (2012).

  27. D. Kini, S. Krishna, P. K. Pandya. Construction of Safety Signal Automata for MTL[U,S], Proceedings of FORMATS'11, LNCS 6919: 225-239, Springer (2011).

  28. 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: 88-102, Springer (2009).

  29. V. Suman, S. Krishna, L. Manasa, P. K. Pandya. Timed Automata with Integer Resets: Language Inclusion and Expressiveness, Proceedings of FORMATS'08, LNCS 5215: 78-92, Springer, (2008).

  30. S. Krishna, K. Loya, P. K. Pandya. On Sampling Abstraction of Continous Time Logic with Durations, Proceedings of TACAS'07, LNCS 4424: 246-260, Springer, (2007).

  31. 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

  1. M. Gheorghe, S. Krishna, R. Rama, H. Ramesh. On Restricted Bio-Turing Machines, Fundamenta Informaticae, Volume 110, Number 1-4, (2011).

  2. C. Jain, S. Krishna, L. Manasa. Model Checking Weighted Integer Reset Timed Automata, Theory of Computing Systems (ToCS), 48(3) : 648-679 (2011).

  3. G. Ciobanu, S. Krishna. Enhanced Mobile Membranes: Computability Results, Theory of Computing Systems (ToCS), 48(3) : 715-729 (2011).

  4. S. Krishna. Membrane Computing with Transport and Embedded Proteins, Theoretical Computer Science, 410 : 355-375 (2009).

  5. S. Krishna. Universality Results for P Systems based on Brane Calculi Operations, Theoretical Computer Science, 371(1-2) : 83-105 (2007).

  6. S. Krishna, Gh. Paun. P Systems with Mobile Membranes, Natural Computing, 4(3) : 255-274 (2005).

Tools
  1. SPLANE (Software Product Line Analysis Engine)