Login / Signup
Leonard Lensink
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 3
Top Topics
Anomaly Detection
Learned Models
Decision Theoretic
Software Process
Top Venues
SANER
ETFA
ICSME
</>
Publications
</>
Devi Darshini Manickam
,
Sajid Mohamed
,
Vibhor Jain
,
Dip Goswami
,
Leonard Lensink
A Structured Inference Optimization Approach for Vision-Based DNN Deployment on Legacy Systems.
ETFA
(2023)
Nan Yang
,
Kousar Aslam
,
Ramon R. H. Schiffelers
,
Leonard Lensink
,
Dennis Hendriks
,
Loek Cleophas
,
Alexander Serebrenik
Improving Model Inference in Industry by Combining Active and Passive Learning.
SANER
(2019)
Maikel Leemans
,
Wil M. P. van der Aalst
,
Mark G. J. van den Brand
,
Ramon R. H. Schiffelers
,
Leonard Lensink
Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software.
ICSME
(2018)
Leonard Lensink
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Generating Verifiable Java Code from Verified PVS Specifications.
NASA Formal Methods
(2012)
Leonard Lensink
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
A Proof Framework for Concurrent Programs.
IFM
(2012)
Bernard van Gastel
,
Leonard Lensink
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving.
Sci. Comput. Program.
76 (2) (2011)
Bernard van Gastel
,
Leonard Lensink
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.
FMICS
(2008)
Leonard Lensink
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.
FMICS
(2007)