IITBBS
IITBBS

Personal Profile of Dr. Srinivas Pinisetty

Photo of Srinivas Pinisetty
Dr. Srinivas Pinisetty
Title : Assistant Professor
School : Electrical Sciences
Office (Room No.) : 007, SES
Phone No. (Office) : 08985679665, 674-713-5762
Email : spinisetty@iitbbs.ac.in, srinu85.pinisetty@gmail.com
Google Scholar : [Click Here]
Courses Taught
Current
• Formal Languages and Automata Theory (Autumn 2018, IIT Bhubaneswar)
• Compiler Design (Autumn 2018, IIT Bhubaneswar)

Past
• Software Engineering (Spring 2018, IIT Bhubaneswar)
• Testing, Debugging and Verification (Autumn 2017, Chalmers University, CS Department) Lecturer
• Computer-Aided Verification and Synthesis (Spring 2015, Aalto University, CS Department) Tutorial on introducing some model checking tools (NUXMV)
• Parallel and Distributed Systems (Autumn 2015, Aalto University, CS Department) I am responsible for assignments and tutorial classes
Research Interests
• Formal modeling, verification;
• Runtime monitoring (verification, enforcement);
• Applications of runtime monitoring (security, medical devices, other);
• Synthesis, transformation of formal models;
• Applying formal methods in system design and development;
• Model driven development, automated code generation, domain specific languages
Degree Discipline Year School
Ph.D. Computer Science 2015 INRIA Rennes, University of Rennes 1, France
PDEng. Software Technology 2011 Eindhoven University of Technology, The Netherlands
MSc Computer Science and Engineering 2009 Eindhoven University of Technology, The Netherlands
B.E Computer Science and Engineering 2007 Dhirubhai Ambani Institute of Information and Communication Technology, India
Recent Publications (International Journals)
S. Pinisetty, P. Roop, S. Smyth, N. Allen, S. Tripakis, R. Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM TECS Journal (2017)
S. Pinisetty, T. Jéron, S.Tripakis, H. Marchand , Y. Falcone, V. Preoteasa. Predictive Runtime Verification of Timed Properties. (JSS Journal)
S. Pinisetty, V. Preoteasa, S.Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. Formal Methods in System Design Journal (2017). doi:10.1007/s10703-017-0271-1
Y. Falcone, T. Jéron, H. Marchand, S. Pinisetty. Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events. Science of Computer Programming Journal, Volume 123, 1 July 2016, Pages 2-41, ISSN 0167-6423, http://doi.org/10.1016/j.scico.2016.02.008
S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties Revisited. Formal Methods in System Design Journal 45(3): 381-422 (2014)
Conferences (International)
Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE June 2018 (ACCEPTED)
S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
S. Pinisetty, V. Preoteasa, S.Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In ACM Symposium on Applied Computing, Software Verification and Testing Track, Pisa, Italy, April 2016
M. Renard, Y. Falcone, A. Rollet, S, Pinisetty, T. Jéron, H. Marchand. Runtime Enforcement of (Timed) Properties with Uncontrollable Events. In ICTAC 2015, the 12th International Colloquium on Theoretical Aspects of Computing, Cali, Colombia, October 2015
S, Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: a tool chain for Timed Property Enforcement during eXecution. In RV 2015, 15th International Conference on Runtime Verification, Vienna, Austria, September 2015
S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems WODES 2014, Cachan, France, May 2014
S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In ACM Symposium on Applied Computing, Software Verification and Testing Track, Gyeongju, Korea, March 2014
S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, Istanbul, Turkey, September 2012