Srinivas Pinisetty - Concepedia

Author

Srinivas Pinisetty

Centre Inria de l'Université de Rennes ORCID

Also Known As

Pinisetty, Srinivas, Srinivas Pinisetty

Publications

645

Citations

H-Index

Concepts

All Affiliations

Centre Inria de l'Université de Rennes Aalto University Laboratoire d'Informatique de Grenoble Institut national de recherche en sciences et technologies du numérique University of Auckland

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	392
2	Computer Science	10	10	392
3	Systems Engineering	7	7	272
4	Computer Engineering	4	4	200
5	Control Systems	1	1	77

Srinivas Pinisetty

Publications

451

Citations

H-Index

Page 1

	Year	Citations
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems Hammond Pearce, Srinivas Pinisetty, Partha S. Roop, IEEE Transactions on Industrial Informatics EngineeringInformation SecuritySmart I/o ModulesRuntime EnforcementIndustrial Control System	2019	77
Runtime Enforcement of Cyber-Physical Systems Srinivas Pinisetty, Partha S. Roop, Steven Smyth, ACM Transactions on Embedded Computing Systems EngineeringInformation SecurityVerificationMinimal Runtime OverheadRuntime Enforcement	2017	72
Predictive runtime verification of timed properties Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Journal of Systems and Software Predictive Runtime VerificationEngineeringRuntime VerificationAutomated ReasoningProgram Analysis	2017	51
Runtime enforcement of timed properties revisited Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Formal Methods in System Design Hardware SecurityEngineeringRuntime VerificationProgram AnalysisVerification	2014	47
Security of Pacemakers using Runtime Verification Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Wearable SystemMobile SecurityEngineeringInformation SecurityVerification	2018	38
Runtime enforcement of regular timed properties by suppressing and delaying events Ylìès Falcone, Thierry Jéron, Hervé Marchand, Science of Computer Programming Hardware SecurityEngineeringRuntime VerificationInformation SecurityVerification	2016	31
Runtime enforcement of reactive systems using synchronous enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, EngineeringVerificationSoftware EngineeringRuntime EnforcementConcurrent System	2017	28
Securing implantable medical devices with runtime enforcement hardware Hammond Pearce, Matthew M. Y. Kuo, Partha S. Roop,	2019	27
Predictive runtime enforcement Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Formal Methods in System Design EngineeringRuntime VerificationProgram AnalysisInformation SecurityPredictive Runtime Enforcement	2017	22
Runtime Enforcement of Parametric Timed Properties with Practical Applications Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, IFAC Proceedings Volumes Hardware SecurityEngineeringRuntime VerificationTiming AnalysisVerification	2014	13

Page 1