Leonard Lensink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ETFA | A Structured Inference Optimization Approach for Vision-Based DNN Deployment on Legacy Systems. | Devi Darshini Manickam, Sajid Mohamed, Vibhor Jain, Dip Goswami, Leonard Lensink |
| 2012 | IFM | A Proof Framework for Concurrent Programs. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2008 | FMICS | 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 |
| 2007 | FMICS | Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |