Leonard Lensink

According to our database, Leonard Lensink authored at least 8 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Structured Inference Optimization Approach for Vision-Based DNN Deployment on Legacy Systems.

Devi Darshini Manickam, Sajid Mohamed, Vibhor Jain, Dip Goswami, Leonard Lensink

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2019

Improving Model Inference in Industry by Combining Active and Passive Learning.

Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

2018

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

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

2012

Generating Verifiable Java Code from Verified PVS Specifications.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the NASA Formal Methods, 2012

A Proof Framework for Concurrent Programs.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

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

2008

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2007