Follow
Srinivas Pinisetty
Srinivas Pinisetty
Faculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology Bhubaneswar
Verified email at iitbbs.ac.in - Homepage
Title
Cited by
Cited by
Year
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
652017
Runtime enforcement of cyber-physical systems
S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017
572017
Smart I/O modules for mitigating cyber-physical attacks on industrial control systems
H Pearce, S Pinisetty, PS Roop, MMY Kuo, A Ukil
IEEE Transactions on Industrial Informatics 16 (7), 4659-4669, 2019
532019
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, O Nguena Timo
Formal Methods in System Design 45, 381-422, 2014
512014
Runtime enforcement of regular timed properties by suppressing and delaying events
Y Falcone, T Jéron, H Marchand, S Pinisetty
Science of Computer Programming 123, 2-41, 2016
462016
Runtime enforcement of timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OL Nguena Timo
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
432013
Predictive runtime enforcement
S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1628-1633, 2016
372016
Runtime enforcement of reactive systems using synchronous enforcers
S Pinisetty, PS Roop, S Smyth, S Tripakis, R Hanxleden
Proceedings of the 24th ACM SIGSOFT international SPIN symposium on model …, 2017
272017
Enforcement of (timed) properties with uncontrollable events
M Renard, Y Falcone, A Rollet, S Pinisetty, T Jéron, H Marchand
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
262015
On the runtime enforcement of timed properties
Y Falcone, S Pinisetty
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
252019
Security of pacemakers using runtime verification
S Pinisetty, PS Roop, V Sawant, G Schneider
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
212018
Runtime enforcement of parametric timed properties with practical applications
S Pinisetty, Y Falcone, T Jéron, H Marchand
IFAC Proceedings Volumes 47 (2), 420-427, 2014
212014
Runtime enforcement of regular timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1279-1286, 2014
182014
Tipex: A tool chain for timed property enforcement during execution
S Pinisetty, Y Falcone, T Jéron, H Marchand
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
172015
Runtime verification of hyperproperties for deterministic programs
S Pinisetty, G Schneider, D Sands
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
152018
Monitoring data minimisation
S Pinisetty, T Antignac, D Sands, G Schneider
arXiv preprint arXiv:1801.02484, 2018
132018
Compositional runtime enforcement
S Pinisetty, S Tripakis
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
122016
A novel mapping of ECG and PPG to ensure the safety of health monitoring applications
A Panda, S Pinisetty, P Roop
IEEE Embedded Systems Letters 15 (1), 49-52, 2022
102022
A secure insulin infusion system using verification monitors
A Panda, S Pinisetty, P Roop
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021
72021
Securing implantable medical devices with runtime enforcement hardware
H Pearce, MMY Kuo, PS Roop, S Pinisetty
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20