Nico Naus

17 papers A* 2B 1C 2Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
CF-GKAT: Efficient Validation of Control-Flow Transformations.
Proc. ACM Program. Lang.
Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2024 J jnl
CF-GKAT: Efficient Validation of Control-Flow Transformations.
CoRR
Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2024 A* conf
Poster: Formally Verified Binary Lifting to P-Code.
CCS
Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran
2024 A* conf
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly.
CCS
Freek Verbeek, Nico Naus, Binoy Ravindran
2023 — conf
Dynamic TopHat: Start and Stop Tasks at Runtime.
IFL
Tim Steenvoorden, Nico Naus
2023 C conf
Low-Level Reachability Analysis Based on Formal Logic.
TAP
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2022 — conf
A Formal Semantics for P-Code.
VSTTE
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
2022 J jnl
Creating Interactive Visualizations of TopHat Programs.
CoRR
Mark Gerarts, Marc de Hoog, Nico Naus, Tim Steenvoorden
2022 J jnl
Reachability Logic for Low-Level Programs.
CoRR
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2020 — —
Assisting End Users in Workflow Systems.
Nico Naus
2020 — conf
End-user feedback in multi-user workflow systems.
IFL
Nico Naus, Johan Jeuring
2020 — conf
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution.
TFP
Nico Naus, Tim Steenvoorden
2019 — conf
A symbolic execution semantics for TopHat.
IFL
Nico Naus, Tim Steenvoorden, Markus Klinik
2019 C conf
TopHat: A formal foundation for task-oriented programming.
PPDP
Tim Steenvoorden, Nico Naus, Markus Klinik
2018 B conf
Use expert knowledge instead of data: generating hints for hour of code exercises.
L@S
Milo Buwalda, Johan Jeuring, Nico Naus
2016 — conf
Building a Generic Feedback System for Rule-Based Problems.
TFP
Nico Naus, Johan Jeuring
2016 — conf
Dynamic Flow Analysis for JavaScript.
TFP
Nico Naus, Peter Thiemann