All Stories

  1. Poster: Formally Verified Binary Lifting to P-Code

    Article • December 2024, ACM (Association for Computing Machinery)

    Nico Naus

  2. Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly

    Article • December 2024, ACM (Association for Computing Machinery)

    Nico Naus

  3. Dynamic TopHat: Start and Stop Tasks at Runtime

    Article • August 2023, ACM (Association for Computing Machinery)

    Nico Naus

  4. End-user feedback in multi-user workflow systems

    Article • September 2020, ACM (Association for Computing Machinery)

    Johan Jeuring, Nico Naus

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

    Article • January 2020, Springer Science + Business Media

    Nico Naus

  6. TopHat

    Article • October 2019, ACM (Association for Computing Machinery)

    Nico Naus

  7. A symbolic execution semantics for TopHat

    Article • September 2019, ACM (Association for Computing Machinery)

    Nico Naus

  8. Dynamic Flow Analysis for JavaScript

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  9. Building a Generic Feedback System for Rule-Based Problems

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  10. Use expert knowledge instead of data

    Article • June 2018, ACM (Association for Computing Machinery)

    Nico Naus