Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (FMICS, 2007)

Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (FMICS, 2008)

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (Sci. Comput. Program., 2011)

A Proof Framework for Concurrent Programs. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (IFM, 2012)

Generating Verifiable Java Code from Verified PVS Specifications. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (NASA Formal Methods, 2012)

Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software. - Maikel Leemans; Wil M. P. van der Aalst; Mark G. J. van den Brand; Ramon R. H. Schiffelers; Leonard Lensink (ICSME, 2018)

Improving Model Inference in Industry by Combining Active and Passive Learning. - Nan Yang 009; Kousar Aslam; Ramon R. H. Schiffelers; Leonard Lensink; Dennis Hendriks; Loek Cleophas; Alexander Serebrenik (SANER, 2019)

A Structured Inference Optimization Approach for Vision-Based DNN Deployment on Legacy Systems. - Devi Darshini Manickam; Sajid Mohamed; Vibhor Jain; Dip Goswami; Leonard Lensink (ETFA, 2023)