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 | 61 | 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 | 51 | 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 | 47 | 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 | 18 | 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 | 13 | 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 |
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 |
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 | 6 | 2021 |