Building a Generic Feedback System for Rule-Based Problems. - Nico Naus; Johan Jeuring (TFP, 2016)

Dynamic Flow Analysis for JavaScript. - Nico Naus; Peter Thiemann 001 (TFP, 2016)

Use expert knowledge instead of data: generating hints for hour of code exercises. - Milo Buwalda; Johan Jeuring; Nico Naus (L@S, 2018)

A symbolic execution semantics for TopHat. - Nico Naus; Tim Steenvoorden; Markus Klinik (IFL, 2019)

TopHat: A formal foundation for task-oriented programming. - Tim Steenvoorden; Nico Naus; Markus Klinik (PPDP, 2019)

End-user feedback in multi-user workflow systems. - Nico Naus; Johan Jeuring (IFL, 2020)

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. - Nico Naus; Tim Steenvoorden (TFP, 2020)

Assisting End Users in Workflow Systems. - Nico Naus (2020)

A Formal Semantics for P-Code. - Nico Naus; Freek Verbeek; Dale Walker; Binoy Ravindran (VSTTE, 2022)

Reachability Logic for Low-Level Programs. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (CoRR, 2022)

Creating Interactive Visualizations of TopHat Programs. - Mark Gerarts; Marc de Hoog; Nico Naus; Tim Steenvoorden (CoRR, 2022)

Dynamic TopHat: Start and Stop Tasks at Runtime. - Tim Steenvoorden; Nico Naus (IFL, 2023)

Low-Level Reachability Analysis Based on Formal Logic. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (TAP, 2023)

Poster: Formally Verified Binary Lifting to P-Code. - Nico Naus; Freek Verbeek; Sagar Atla; Binoy Ravindran (CCS, 2024)

Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. - Freek Verbeek; Nico Naus; Binoy Ravindran (CCS, 2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations. - Cheng Zhang 026; Tobias Kappé; David E. Narváez; Nico Naus (Proc. ACM Program. Lang., 2025)