Nico Naus

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Owl Dl Ontology

Interactive Visualizations

Symbolic Execution

Reachability Analysis

Top Venues

Publications

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Low-Level Reachability Analysis Based on Formal Logic. TAP (2023)
Tim Steenvoorden, Nico Naus
Dynamic TopHat: Start and Stop Tasks at Runtime. IFL (2023)
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
A Formal Semantics for P-Code. VSTTE (2022)
Mark Gerarts, Marc de Hoog, Nico Naus, Tim Steenvoorden
Creating Interactive Visualizations of TopHat Programs. CoRR (2022)
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Reachability Logic for Low-Level Programs. CoRR (2022)
Nico Naus, Johan Jeuring
End-user feedback in multi-user workflow systems. IFL (2020)
Nico Naus, Tim Steenvoorden
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. TFP (2020)
Tim Steenvoorden, Nico Naus, Markus Klinik
TopHat: A formal foundation for task-oriented programming. PPDP (2019)
Nico Naus, Tim Steenvoorden, Markus Klinik
A symbolic execution semantics for TopHat. IFL (2019)
Milo Buwalda, Johan Jeuring, Nico Naus
Use expert knowledge instead of data: generating hints for hour of code exercises. L@S (2018)
Nico Naus, Peter Thiemann
Dynamic Flow Analysis for JavaScript. TFP (2016)
Nico Naus, Johan Jeuring
Building a Generic Feedback System for Rule-Based Problems. TFP (2016)