| 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 | 49 | 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 | 44 | 2014 |
| 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 | 40 | 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 | 39 | 2013 |
| 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 | 37 | 2017 |
| 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 | 32 | 2019 |
| 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 | 29 | 2016 |
| 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 | 22 | 2015 |
| On the runtime enforcement of timed properties Y Falcone, S Pinisetty Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 21 | 2019 |
| 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 | 21 | 2017 |
| 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 |
| 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 | 17 | 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 | 16 | 2018 |
| 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 | 14 | 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 | 10 | 2018 |
| Monitoring data minimisation S Pinisetty, T Antignac, D Sands, G Schneider arXiv preprint arXiv:1801.02484, 2018 | 10 | 2018 |
| Compositional runtime enforcement S Pinisetty, S Tripakis NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 10 | 2016 |
| 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 | 5 | 2019 |
| 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 | 3 | 2019 |
| 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 | 2 | 2022 |
Partha RoopProfessor, Electrical, Computer and Software Engineering, The University of AucklandVerified email at auckland.ac.nz
