Dr. Srinivas PinisettyAssistant 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

  • 007, SES
  • 08985679665, 674-713-5762
  • spinisetty@iitbbs.ac.in, srinu85.pinisetty@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


• 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

 

Recent Publications (International Journals)

1H. 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)
2S. Pinisetty, P. Roop, S. Smyth, N. Allen, S. Tripakis, R. Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM TECS Journal (2017)
3S. Pinisetty, T. Jéron, S.Tripakis, H. Marchand , Y. Falcone, V. Preoteasa. Predictive Runtime Verification of Timed Properties. (JSS Journal)
4S. 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
5Y. 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
6S. 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)

1Abhinandan panda, Srinivas Pinisetty, Partha S. Roop: A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
2Abhinandan 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
3Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty: Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
4Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop: Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
5Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
6Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty. Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
7Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider: Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
8Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
9S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
10S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
11S. 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
12M. 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
13S, 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
14 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
15S. 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
16S. 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
 

Research Scholar

  • Abhinandan Panda (January 2019 to Present)
  • Saumya Shankar (January 2020 to Present)
 
 

In the Program Committee of VORTEX 2022

 In the Program Comittee of VORTEX 2022:
 
https://2022.ecoop.org/home/vortex-2022
 
Please consider submitting.
 

Contact Us