Nico Naus

According to our database, Nico Naus authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Low-Level Reachability Analysis Based on Formal Logic.

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2022

Creating Interactive Visualizations of TopHat Programs.

Mark Gerarts, Marc de Hoog, Nico Naus, Tim Steenvoorden

CoRR, 2022

Reachability Logic for Low-Level Programs.

Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran

CoRR, 2022

A Formal Semantics for P-Code.

Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

2020

Assisting End Users in Workflow Systems.

Nico Naus

PhD thesis, 2020

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution.

Nico Naus, Tim Steenvoorden

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

End-user feedback in multi-user workflow systems.

Nico Naus, Johan Jeuring

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

TopHat: A formal foundation for task-oriented programming.

Tim Steenvoorden, Nico Naus, Markus Klinik

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A symbolic execution semantics for TopHat.

Nico Naus, Tim Steenvoorden, Markus Klinik

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Use expert knowledge instead of data: generating hints for hour of code exercises.

Milo Buwalda, Johan Jeuring, Nico Naus

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

2016

Dynamic Flow Analysis for JavaScript.

Nico Naus, Peter Thiemann

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Building a Generic Feedback System for Rule-Based Problems.

Nico Naus, Johan Jeuring

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016