srinivas pinisetty

Employment

• Aalto-yliopisto Postdoctoral Researcher
  2015 - Present
• Inria Centre de Recherche Rennes Bretagne Atlantique PhD Researcher
  2011 - 2015

Education

• Inria Centre de Recherche Rennes Bretagne Atlantique PhD in Computer Science
  2011 - 2015
• Technische Universiteit Eindhoven PDEng in Software Techonology
  2009 - 2011
• Dhirubhai Ambani Institute of Information and Communication Technology BE
  2003 - 2007
• Technische Universiteit Eindhoven MSc
  ? - 2009

Projects & Funding

Projects & funding information is unavailable.

Publications (31)

• Advancements in Runtime Enforcement Frameworks for Reactive Systems
  2026 DOI: 10.1145/3796563.3796582
  +Save
• Cp2SRust: A Transpiler for C/C++ to Safer Rust
  2026 DOI: 10.1145/3796563.3796600
  +Save
• Modeling and Verification of Enhanced MTIP: Secure and Sleepy
  2026 DOI: 10.1145/3796563.3796604
  +Save
• Formal Runtime Verification Framework for Detecting Cardiac Abnormalities
  IEEE Embedded Systems Letters 2026 DOI: 10.1109/LES.2026.3655840
  +Save
• Prompt Runtime Enforcement
  2026 DOI: 10.1007/978-3-032-08707-2_7
  +Save
• Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study
  2026 DOI: 10.1007/978-3-032-11176-0_28
  +Save
• Compositional Security Enforcement of Timed Properties for Cyber Physical Systems
  ACM Transactions on Embedded Computing Systems 2026 DOI: 10.1145/3834562
  +Save
• Securing Pacemakers Using Runtime Monitors over Physiological Signals
  ACM Transactions on Embedded Computing Systems 2025 DOI: 10.1145/3638286
  +Save
• Runtime Enforcement of CPS against Signal Temporal Logic
  2025 DOI: 10.1145/3716863.3718052
  +Save
• Runtime Enforcement with Event Reordering
  2025 DOI: 10.1007/978-3-031-77019-7_22
  +Save