School of Electrical and Computer Sciences

Srinivas Pinisetty

Dr. Srinivas Pinisetty

Associate Professor
Formal modeling, verification; untime monitoring (verification, enforcement);Applications of runtime monitoring (security, medical devices, other); Synthesis, transformation of formal models; Applying formal methods in system design and development;
  • DST/Inria Associate Team SINCRET (2024-Ongoing) : Scalable and incremental security monitoring and enforcement for timed systems with Inria, Rennes (France).
  • Securing Implantable Medical Devices using Formal Methods (SPARC, MHRD)
  • Runtime Monitoring of (Timed) Propertues (IIT BBS, Seed grant)
Spring 2022:
  1. Software Engineering (Spring 2022, IIT Bhubaneswar)
  2. Introduction to Programming and Data Structures (Spring 2022, IIT Bhubaneswar)
  3. Introduction to Programming and Data Structures Lab (Spring 2022, IIT Bhubaneswar)
Autumn 2021:
  1. Compiler Design (Autumn 2021, IIT Bhubaneswar)
  2. Compiler Design Lab (Autumn 2021, IIT Bhubaneswar)
  3. Software Testing and Verification (Autumn 2021, IIT Bhubaneswar)
Spring 2021:
  1. Software Engineering (Spring 2021, IIT Bhubaneswar)
  2. Introduction to Programming and Data Structures (Spring 2021, IIT Bhubaneswar)
  3. Introduction to Programming and Data Structures Lab (Spring 2021, IIT Bhubaneswar)
Autumn 2020:
  1. Compiler Design (Autumn 2020, IIT Bhubaneswar)
  2. Compiler Design Lab (Autumn 2020, IIT Bhubaneswar)
  3. Software Testing and Verification (Autumn 2020, IIT Bhubaneswar)
Spring 2020:
  1. Software Engineering (Spring 2020, IIT Bhubaneswar)
  2. Introduction to Programming and Data Structures (Spring 2020, IIT Bhubaneswar)
  3. Introduction to Programming and Data Structures Lab (Spring 2020, IIT Bhubaneswar)
Autumn 2019:
  1. Formal Languages and Automata Theory (Autumn 2019, IIT Bhubaneswar)
  2. Compiler Design (Autumn 2019, IIT Bhubaneswar)
  3. Compiler Design Lab (Autumn 2019, IIT Bhubaneswar)
Spring 2019:
  1. Introduction to Programming and Data Structures (Spring 2019, IIT Bhubaneswar)
  2. Introduction to Programming and Data Structures Lab (Spring 2019, IIT Bhubaneswar)
  3. Software Testing and Verification (Spring 2019, IIT Bhubaneswar)
Autumn 2018:
  1. Formal Languages and Automata Theory (Autumn 2018, IIT Bhubaneswar)
  2. Compiler Design (Autumn 2018, IIT Bhubaneswar)
  3. Compiler Design Lab (Autumn 2018, IIT Bhubaneswar)
Previous:
  1. Software Engineering (Spring 2018, IIT Bhubaneswar)
  2. Testing, Debugging and Verification (Autumn 2017, Chalmers University, CS Department) Lecturer
  3. Computer-Aided Verification and Synthesis (Spring 2015, Aalto University, CS Department) Tutorial on introducing some model checking tools (NUXMV)
  4. Parallel and Distributed Systems (Autumn 2015, Aalto University, CS Department) I am responsible for assignments and tutorial classes
  • Abhinandan Panda (January 2019 to 2023)
  • Saumya Shankar (January 2020- August 2024); Currently with University of Auckland, New Zealand)
  • Ayush Anand (July 2023 to Present)
  1. A. Panda, A. Anand, S. Pinisetty, and P. Roop. An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG (Accepted in EMSOFT 2024 and will be published in IEEE Embedded System Letters (IEEE-ESL))
  2. S. Shankar, A. Pradhan, S. Pinisetty, A. Rollet, Y. Falcone: Bounded-Memory Runtime Enforcement with Probabilistic and Performance Analysis. Formal Methods in System Design Journal (Accepted- 2024)
  3. A. Baird, A. Panda, H. Pearce, S. Pinisetty, P. Roop: Scalable Security Enforcement for Cyber Physical Systems. IEEE Access (2024: doi: 10.1109/ACCESS.2024.3357714)
  4. G. Gupta, S. Shankar, S. Pinisetty: Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. JoT Journal (Accepted- 2024)
  5. R. B. Pendayala, A. Panda, S. Pinisetty: VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System: JoT Journal (Accepted- 2024)
  6. A. Panda, S. Pinisetty, P. Roop: Securing Pacemakers using Runtime Monitors over Physiological Signals. ACM TECS Journal (2024, doi: 10.1145/3638286)
  7. Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop: Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers (2023)
  8. Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop: Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access (2023)
  9. Srinivas Pinisetty, Ankit Pradhan, Partha Roop & Stavros Tripakis: Compositional runtime enforcement revisited. Formal Methods in System Design (2022)
  10. Abhinandan Panda, Srinivas Pinisetty, and Partha Roop: A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. IEEE Embedded Systems Letters (2022)
  11. 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)
  12. S. Pinisetty, P. Roop, S. Smyth, N. Allen, S. Tripakis, R. Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM TECS Journal (2017)
  13. S. Pinisetty, T. Jéron, S.Tripakis, H. Marchand , Y. Falcone, V. Preoteasa. Predictive Runtime Verification of Timed Properties. (JSS Journal)
  14. 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
  15. 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
  16. S. Pinisetty, Y. Falcone, T. Jeron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties Revisited. Formal Methods in System Design Journal 45(3): 381-422 (2014)
  1. Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty and Partha Roop. A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study (RV 2024)- ACCEPTED
  2. Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha Roop. Runtime Verified Neural Networks for Cyber-Physical Systems (VORTEX 2024)- ACCEPTED
  3. Saumya Shankar, Srinivas Pinisetty, Thierry Jéron: Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22 (2023)
  4. Saumya Shankar, Srinivas Pinisetty: Serial Compositional Runtime Enforcement of Safety Timed Properties (ISEC 2023)
  5. Alex Baird, Hammond Pearce, Srinivas Pinisetty, and Partha Roop: Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones, MEMOCODE (2022)
  6. Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish Patel, and Partha Roop: Runtime Verification for Clinically Interpretable Arrhythmia Classification, MEMOCODE (2022)
  7. Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty: Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022
  8. Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop: Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS 2022
  9. Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Ylié¨s Falcone: Bounded-Memory Runtime Enforcement. SPIN 2022
  10. Aashay Palliwar, Srinivas Pinisetty: Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion 2022
  11. Aashay Palliwar, Srinivas Pinisetty: Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA 2022
  12. Abhinandan panda, Srinivas Pinisetty, Partha S. Roop: A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
  13. 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
  14. Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty: Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
  15. Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop: Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
  16. Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
  17. Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty. Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
  18. Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider: Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
  19. Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
  20. S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
  21. S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
 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
  • ITS Award, Science and Engineering Research Board (SERB), Govt. of India, 2024.
  • Teaching Excellence Award (CSE) – February 2023: Conferred by Indian Institute of Technology Bhubaneswar
  • 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
  • PhD Thesis awarded high honours (“Très Honorable”)- University of Rennes, INRIA Rennes France

Invited talks/lectures:

  • Invited lecture at Gandhi Institute of Excellent Technocrats (GIET) Bhubaneswar, Guest speaker, induction programme at GIET); 28 August 2024
  • Invited lecture at Gandhi Engineering College (GEC) Bhubaneswar (Guest speaker, induction programme at GEC); 09 August 2024 (Recent trends in AI and data science)
  • IEEE CAS Bangalore Chapter  Industry Forum event “Chip Verification – The New frontiers”; 18 Nov 2023 (Formal Runtime Monitoring and its Applications)
  • Data engineering and communication technology NCDECT 2023, 24-25 Feb 2023 (Formal runtime monitoring and its applications combined with AI for healthcare)
  • Workshop on Recent Trends in Software Testing- RTST 2019: Automated Program Verification
  • Invited talk: Samsung Software Engineering Team, March 31 2021 (Runtime monitoring, model verification, & runtime enforcement)

Research related (Program committee chairing)

  • MEMOCODE 2024:   https://memocode2024.github.io/

Research related (Program committee member)

  • ISEC 2025: https://conf.researchr.org/home/isec-2025
  • VORTEX 2024: https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024#About
  • ISEC 2024:   https://conf.researchr.org/home/isec-2024
  • VORTEX 2023:  https://conf.researchr.org/track/ecoop-issta-2023/vortex-2023
  • MEMOCODE 2020: Publication chair and PC member:  https://iitjammu.ac.in/conferences/memocode2020/callforpapers.html
  • INDISCON 2022
  • VORTEX 2022: https://2022.ecoop.org/home/vortex-2022
Scroll to Top