| 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 | 63 | 2017 |
| 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 | 52 | 2017 |
| 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 | 49 | 2014 |
| 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 | 48 | 2019 |
| 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 | 44 | 2016 |
| 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 | 43 | 2013 |
| 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 | 34 | 2016 |
| 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 | 26 | 2017 |
| 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 | 26 | 2015 |
| On the runtime enforcement of timed properties Y Falcone, S Pinisetty Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 25 | 2019 |
| 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 | 21 | 2014 |
| 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 | 19 | 2018 |
| 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 | 18 | 2014 |
| 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 | 17 | 2015 |
| 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 | 14 | 2018 |
| Monitoring data minimisation S Pinisetty, T Antignac, D Sands, G Schneider arXiv preprint arXiv:1801.02484, 2018 | 13 | 2018 |
| Compositional runtime enforcement S Pinisetty, S Tripakis NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 11 | 2016 |
| 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 | 10 | 2022 |
| 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 | 7 | 2021 |
| 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 | 7 | 2019 |
Partha RoopProfessor, Electrical, Computer and Software Engineering, The University of AucklandVerified email at auckland.ac.nz
