(2019). Prolog Coding Guidelines: Status and Tool Support. In Technical Communications ICLP 2019, EPTCS.

PDF Project Slides

(2019). Experience Report on An Inquiry-Based Course on Model Checking. In Proceedings SEUH 2019, CEUR Workshop Proceedings.

PDF Project Project

(2017). plspec - A Specification Language for Prolog Data. In Proceedings DECLARE 2017, Springer LNCS.

PDF Project DOI

(2017). Towards Infinite-State Symbolic Model Checking for B and Event-B. Dissertation submitted to the Heinrich-Heine-University Düsseldorf, Germany.

PDF Project

(2016). Meta-Predicate for Rodin. In Proceedings Rodin User and Developer Workshop 2016.

PDF Project

(2014). Turning Failure into Proof: The ProB Disprover. Poster presented at SAT / SMT Summer School 2014.

PDF Project

(2013). B constrained. In Proceedings Rodin User and Developer Workshop 2013, TUCS Lecture Notes.

PDF Project