| Tophat: a formal foundation for task-oriented programming T Steenvoorden, N Naus, M Klinik Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 14 | 2019 |
| A formal semantics for P-Code N Naus, F Verbeek, D Walker, B Ravindran Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 13 | 2022 |
| Building a generic feedback system for rule-based problems N Naus, J Jeuring Trends in Functional Programming: 17th International Conference, TFP 2016 …, 2019 | 12 | 2019 |
| Generating next step hints for task oriented programs using symbolic execution N Naus, T Steenvoorden International Symposium on Trends in Functional Programming, 2020 | 6 | 2020 |
| Use expert knowledge instead of data: generating hints for hour of code exercises M Buwalda, J Jeuring, N Naus Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 1-4, 2018 | 6 | 2018 |
| Assisting end users in workflow systems N Naus Utrecht University, 2020 | 4 | 2020 |
| A Symbolic Execution Semantics For TopHat N Naus, T Steenvoorden, M Klinik Implementation and Application of Functional Languages, 2019 | 3 | 2019 |
| Dynamic flow analysis for JavaScript N Naus, P Thiemann International Symposium on Trends in Functional Programming, 75-93, 2016 | 3 | 2016 |
| CF-GKAT: Efficient Validation of Control-Flow Transformations C Zhang, T Kappé, DE Narváez, N Naus Proceedings of the ACM on Programming Languages 9 (POPL), 600-626, 2025 | 2 | 2025 |
| Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly F Verbeek, N Naus, B Ravindran Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 2 | 2024 |
| Low-level Reachability Analysis based on Formal Logic N Naus, F Verbeek, M Schoolderman, B Ravindran 17th International Conference on Tests and Proofs (TAP 2023), 2023 | 2 | 2023 |
| Reachability logic for low-level programs N Naus, F Verbeek, M Schoolderman, B Ravindran arXiv preprint arXiv:2204.00076, 2022 | 2 | 2022 |
| Dynamic type inference for JavaScript N Naus | 2 | 2015 |
| Dynamic TopHat: Start and Stop Tasks at Runtime T Steenvoorden, N Naus The 35th Symposium on Implementation and Application of Functional Languages …, 2023 | 1 | 2023 |
| Creating Interactive Visualizations of TopHat Programs M Gerarts, M de Hoog, N Naus, T Steenvoorden arXiv preprint arXiv:2208.13870, 2022 | 1 | 2022 |
| Poster: Formally Verified Binary Lifting to P-Code N Naus, F Verbeek, S Atla, B Ravindran Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | | 2024 |
| End-user feedback in multi-user workflow systems N Naus, J Jeuring Proceedings of the 32nd Symposium on Implementation and Application of …, 2020 | | 2020 |
| Source code for the TopHat implementation TJ Steenvoorden, N Naus DANS EASY, 2020 | | 2020 |
| Source code for the symbolic TopHat execution engine N Naus, TJ Steenvoorden DANS EASY, 2020 | | 2020 |
Tim SteenvoordenAsistant professor, Open University, the NetherlandsVerified email at ou.nl
