Concepedia

Srinivas Pinisetty

SP

14

Publications

451

Citations

11

H-Index

2014

Active since

Affiliations

Centre Inria de l'Université de Rennes(Current)

Aalto University

Laboratoire d'Informatique de Grenoble

Institut national de recherche en sciences et technologies du numérique

University of Auckland

Srinivas Pinisetty is an author at Centre Inria de l'Université de Rennes specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsHardware SecuritySystems EngineeringSoftware AnalysisData SecurityProgram Analysis

Publications per year

2014–2022

14

Publications

14

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems

Hammond Pearce, Srinivas Pinisetty, Partha S. Roop et al. · IEEE Transactions on Industrial Informatics · 2019 · 77 citations

Engineering, Information Security, Smart I/o Modules +20

Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth et al. · ACM Transactions on Embedded Computing Systems · 2017 · 72 citations

Engineering, Information Security, Verification +20

Predictive runtime verification of timed properties

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis et al. · Journal of Systems and Software · 2017 · 51 citations

Predictive Runtime Verification, Engineering, Runtime Verification +10

Runtime enforcement of timed properties revisited

Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron et al. · Formal Methods in System Design · 2014 · 47 citations · Full text

Hardware Security, Engineering, Runtime Verification +11

Security of Pacemakers using Runtime Verification

Srinivas Pinisetty, Partha S. Roop, Vidula Sawant et al. · 2018 · 38 citations

Wearable System, Mobile Security, Engineering +19

Rows per page

1–5 of 14