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
Research Scholars :
  • Abhinandan Panda (January 2019 to Present)
  • Saumya Shankar (January 2020 to Present)
 
Google Scholar : [Click Here]
Courses Taught

• Compiler Design (Autumn 2020, IIT Bhubaneswar)
• Compiler Design Lab (Autumn 2020, IIT Bhubaneswar)
• Software Testing and Verification (Autumn 2020, IIT Bhubaneswar)


• Software Engineering (Spring 2020, IIT Bhubaneswar)
• Introduction to Programming and Data Structures (Spring 2020, IIT Bhubaneswar)
• Introduction to Programming and Data Structures Lab (Spring 2020, IIT Bhubaneswar)


• Formal Languages and Automata Theory (Autumn 2019, IIT Bhubaneswar)
• Compiler Design (Autumn 2019, IIT Bhubaneswar)
• Compiler Design Lab (Autumn 2019, IIT Bhubaneswar)

• Introduction to Programming and Data Structures (Spring 2019, IIT Bhubaneswar)

• Introduction to Programming and Data Structures Lab (Spring 2019, IIT Bhubaneswar)
• Software Testing and Verification (Spring 2019, IIT Bhubaneswar)
• Formal Languages and Automata Theory (Autumn 2018, IIT Bhubaneswar)
• Compiler Design (Autumn 2018, IIT Bhubaneswar)

• Compiler Design Lab (Autumn 2018, IIT Bhubaneswar)

• 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)
H. Pearce, S. Pinisetty, M. Kuo, P. Roop, A. Ukil. Smart I/O modules for mitigating cyber-physical attacks on industrial control systems. IEEE Transactions on Industrial Informatics (2020)
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)
Abhinandan panda, Srinivas Pinisetty, Partha S. Roop: A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
Abhinandan panda, Srinivas Pinisetty, Partha S. Roop, Ajay Babu K, M. Sabarimalai Manikandan: Runtime verification of implantable medical devices using multiple physiological signals. SAC 2021: 1837-1840
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty: Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop: Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty. Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider: Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
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
Academic Honors & Awards
  • Teaching Excellence Award for the best performance over all class category (2020): Conferred by Indian Institute of Technology Bhubaneswar
  • Teaching Excellence Award for the best performance in the medium sized class category (2020): Conferred by Indian Institute of Technology Bhubaneswar
  • Received 2020 DUO-India Professor Fellowship Award
In the Program Committee of VORTEX 2022
 In the Program Comittee of VORTEX 2022:
 
https://2022.ecoop.org/home/vortex-2022
 
Please consider submitting.