Follow
Srinivas Pinisetty
Srinivas Pinisetty
Postdoc, Computer Science, Aalto University, Finland
Verified email at aalto.fi - Homepage
Title
Cited by
Cited by
Year
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
362016
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 (3), 381-422, 2014
352014
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
312017
Runtime enforcement of timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OL Nguena Timo
International Conference on Runtime Verification, 229-244, 2012
292012
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
272017
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
212019
Predictive runtime enforcement
S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand
Formal Methods in System Design 51 (1), 154-199, 2017
212017
Enforcement of (timed) properties with uncontrollable events
M Renard, Y Falcone, A Rollet, S Pinisetty, T Jéron, H Marchand
International Colloquium on Theoretical Aspects of Computing, 542-560, 2015
202015
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
202014
On the runtime enforcement of timed properties
Y Falcone, S Pinisetty
International Conference on Runtime Verification, 48-69, 2019
172019
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
162017
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
152014
Tipex: A tool chain for timed property enforcement during execution
S Pinisetty, Y Falcone, T Jéron, H Marchand
Runtime Verification, 306-320, 2015
142015
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
112018
Runtime verification of hyperproperties for deterministic programs
S Pinisetty, G Schneider, D Sands
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software …, 2018
102018
Monitoring data minimisation
S Pinisetty, T Antignac, D Sands, G Schneider
arXiv preprint arXiv:1801.02484, 2018
102018
Compositional runtime enforcement
S Pinisetty, S Tripakis
NASA Formal Methods Symposium, 82-99, 2016
62016
Formal modeling and verification of nand flash memory supporting advanced operations
S Tripathy, D Sahoo, M Satpathy, S Pinisetty
2019 IEEE 37th International Conference on Computer Design (ICCD), 313-316, 2019
32019
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
22019
Using gossip enabled distributed circuit breaking for improving resiliency of distributed systems
A Palliwar, S Pinisetty
2022 IEEE 19th International Conference on Software Architecture (ICSA), 13-23, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20