Tim Steenvoorden

Publication Activity (10 Years)

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

Top Topics

Interactive Visualizations

Test Data Generation

Symbolic Execution

Secondary Education

Top Venues

Publications

Tim Steenvoorden, Nico Naus
Dynamic TopHat: Start and Stop Tasks at Runtime. IFL (2023)
Tosca Klijnsma, Tim Steenvoorden
Semantic Equivalence of Task-Oriented Programs in TopHat. TFP (2022)
Mark Gerarts, Marc de Hoog, Nico Naus, Tim Steenvoorden
Creating Interactive Visualizations of TopHat Programs. CoRR (2022)
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)
Erik Barendsen, Tim Steenvoorden
Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. ISSEP (2016)