| KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 337 | 2015 |
| Safe Reinforcement Learning via Formal Methods N Fulton, A Platzer | 263* | 2018 |
| Multi-lingual evaluation of code generation models B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ... arXiv preprint arXiv:2210.14868, 2022 | 103 | 2022 |
| Verifiably safe off-model reinforcement learning N Fulton, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2019 | 67 | 2019 |
| Bellerophon: Tactical theorem proving for hybrid systems N Fulton, S Mitsch, B Bohrer, A Platzer Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 60 | 2017 |
| Verifiably safe exploration for end-to-end reinforcement learning N Hunt, N Fulton, S Magliacane, TN Hoang, S Das, A Solar-Lezama Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 53 | 2021 |
| Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, and Bing Xiang B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ... Multi-lingual evaluation of code generation models, 2022 | 28 | 2022 |
| CertRL: formalizing convergence proofs for value and policy iteration in Coq K Vajjha, A Shinnar, B Trager, V Pestun, N Fulton Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 24 | 2021 |
| Safe ai for CPS N Fulton, A Platzer 2018 IEEE International Test Conference (ITC), 1-7, 2018 | 19 | 2018 |
| Verifiably safe autonomy for cyber-physical systems N Fulton Ph. D. thesis, Computer Science Department, School of Computer Science …, 2018 | 14 | 2018 |
| Relational analysis of sensor attacks on cyber-physical systems J Xiang, N Fulton, S Chong 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 12 | 2021 |
| Formal verification of end-to-end learning in cyber-physical systems: Progress and challenges N Fulton, N Hunt, N Hoang, S Das arXiv preprint arXiv:2006.09181, 2020 | 10 | 2020 |
| A logic of proofs for differential dynamic logic: Toward independently checkable proof certificates for dynamic logics N Fulton, A Platzer Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 10 | 2016 |
| Statically typed string sanitation inside a Python N Fulton, C Omar, J Aldrich Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014 | 6 | 2014 |
| Formally safe symbolic reinforcement learning on visual inputs S Das, N Fulton, N Hunt, TN Hoang US Patent 11,513,520, 2022 | 4 | 2022 |
| Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars D Melcer, N Fulton, SK Gouda, H Qian arXiv preprint arXiv:2402.17988, 2024 | 3 | 2024 |
| Verifiably safe scuba diving using commodity sensors: Work-in-progress V Bajaj, K Elmaaroufi, N Fulton, A Platzer Proceedings of the International Conference on Embedded Software Companion, 1-2, 2019 | 3 | 2019 |
| Security through extensible type systems N Fulton Proceedings of the 3rd annual conference on Systems, programming, and …, 2012 | 3 | 2012 |
| A Formally Verified Plasma Vertical Position Control Algorithm M Wu, J Rosenberg, N Fulton Formal Methods for Industrial Critical Systems: 25th International …, 2020 | 2 | 2020 |
| A typed lambda calculus for input sanitation N Fulton | 2 | 2013 |
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu