A- A A+ Site Map
Indian Institute of Technology Bhubaneswar
Indian Institute of Technology Bhubaneswar

Dr. Srinivas Pinisetty Assistant Professor
School of Electrical Sciences
( Computer Science & Engineering)

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

Contact Details

  • A-205, SES
  • 08985679665
  • spinisetty[AT]iitbbs.ac.in, srinu85.pinisetty[AT]gmail.com

Other Profile Link(s)

Education

 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
 

Biosketch

 

Teaching

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

Projects

  • Securing Implantable Medical Devices using Formal Methods (SPARC, MHRD)
  • Runtime Monitoring of (Timed) Propertues (IIT BBS, Seed grant)

Recent Publications (International Journals)

1S. 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)
2A. 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)
3G. Gupta, S. Shankar, S. Pinisetty: Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. JoT Journal (Accepted- 2024)
4R. B. Pendayala, A. Panda, S. Pinisetty: VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System: JoT Journal (Accepted- 2024)
5A. Panda, S. Pinisetty, P. Roop: Securing Pacemakers using Runtime Monitors over Physiological Signals. ACM TECS Journal (2024, doi: 10.1145/3638286)
6Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop: Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers (2023)
7Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop: Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access (2023)
8Srinivas Pinisetty, Ankit Pradhan, Partha Roop & Stavros Tripakis: Compositional runtime enforcement revisited. Formal Methods in System Design (2022)
9Abhinandan 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)
10H. 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)
11S. Pinisetty, P. Roop, S. Smyth, N. Allen, S. Tripakis, R. Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM TECS Journal (2017)
12S. Pinisetty, T. Jéron, S.Tripakis, H. Marchand , Y. Falcone, V. Preoteasa. Predictive Runtime Verification of Timed Properties. (JSS Journal)
13S. 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
14Y. 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
15S. 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)

Conferences (International)

1Saumya Shankar, Srinivas Pinisetty, Thierry Jéron: Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22 (2023)
2Saumya Shankar, Srinivas Pinisetty: Serial Compositional Runtime Enforcement of Safety Timed Properties (ISEC 2023)
3Alex Baird, Hammond Pearce, Srinivas Pinisetty, and Partha Roop: Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones, MEMOCODE (2022)
4Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish Patel, and Partha Roop: Runtime Verification for Clinically Interpretable Arrhythmia Classification, MEMOCODE (2022)
5Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty: Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022
6Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop: Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS 2022
7Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone: Bounded-Memory Runtime Enforcement. SPIN 2022
8Aashay Palliwar, Srinivas Pinisetty: Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion 2022
9Aashay Palliwar, Srinivas Pinisetty: Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA 2022
10Abhinandan panda, Srinivas Pinisetty, Partha S. Roop: A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
11Abhinandan 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
12Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty: Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
13Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop: Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
14Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
15Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty. Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
16Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider: Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
17Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
18S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
19S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
20S. 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
21M. 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
22S, 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
23 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
24S. 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
25S. 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 (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
 

Research Scholar

  • Abhinandan Panda (January 2019 to 2023)
  • Saumya Shankar (January 2020 to Present)
  • Ayush Anand (July 2023 to Present)
 
 

Professional Experience

Invited talks/lectures:

  • 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 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

Useful Links

Contact Us

Registrar

Address :Indian Institute of Technology Bhubaneswar
Argul, Khordha
PIN - 752050, ODISHA
Phone: +91 674 7134550, +91 674 7134551
Email: registrar@iitbbs.ac.in

Office of the Registrar

Address :Indian Institute of Technology Bhubaneswar
Argul, Khordha
PIN - 752050, ODISHA
Phone: +91 674 7134560, +91 674 7134561
Email: registrar.office@iitbbs.ac.in

Copyright © Indian Institute of Technology Bhubaneswar