BibTeX records: Leonard Lensink

• > Home > Persons > Leonard Lensink

@inproceedings{DBLP:conf/etfa/ManickamMJGL23,
  author       = {Devi Darshini Manickam and
                  Sajid Mohamed and
                  Vibhor Jain and
                  Dip Goswami and
                  Leonard Lensink},
  title        = {A Structured Inference Optimization Approach for Vision-Based {DNN}
                  Deployment on Legacy Systems},
  booktitle    = {28th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
                  2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ETFA54631.2023.10275468},
  doi          = {10.1109/ETFA54631.2023.10275468},
  timestamp    = {Mon, 23 Oct 2023 09:15:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/ManickamMJGL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/YangASLHCS19,
  author       = {Nan Yang and
                  Kousar Aslam and
                  Ramon R. H. Schiffelers and
                  Leonard Lensink and
                  Dennis Hendriks and
                  Loek Cleophas and
                  Alexander Serebrenik},
  editor       = {Xinyu Wang and
                  David Lo and
                  Emad Shihab},
  title        = {Improving Model Inference in Industry by Combining Active and Passive
                  Learning},
  booktitle    = {26th {IEEE} International Conference on Software Analysis, Evolution
                  and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
                  2019},
  pages        = {253--263},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SANER.2019.8668007},
  doi          = {10.1109/SANER.2019.8668007},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/YangASLHCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsm/LeemansABSL18,
  author       = {Maikel Leemans and
                  Wil M. P. van der Aalst and
                  Mark G. J. van den Brand and
                  Ramon R. H. Schiffelers and
                  Leonard Lensink},
  title        = {Software Process Analysis Methodology - {A} Methodology Based on Lessons
                  Learned in Embracing Legacy Software},
  booktitle    = {2018 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2018, Madrid, Spain, September 23-29, 2018},
  pages        = {665--674},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICSME.2018.00076},
  doi          = {10.1109/ICSME.2018.00076},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/LeemansABSL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LensinkSE12,
  author       = {Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {John Derrick and
                  Stefania Gnesi and
                  Diego Latella and
                  Helen Treharne},
  title        = {A Proof Framework for Concurrent Programs},
  booktitle    = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
                  Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7321},
  pages        = {174--190},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30729-4\_13},
  doi          = {10.1007/978-3-642-30729-4\_13},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LensinkSE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/LensinkSE12,
  author       = {Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {Alwyn Goodloe and
                  Suzette Person},
  title        = {Generating Verifiable Java Code from Verified {PVS} Specifications},
  booktitle    = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
                  VA, USA, April 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7226},
  pages        = {310--325},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28891-3\_30},
  doi          = {10.1007/978-3-642-28891-3\_30},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LensinkSE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GastelLSE11,
  author       = {Bernard van Gastel and
                  Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  title        = {Deadlock and starvation free reentrant readers-writers: {A} case study
                  combining model checking with theorem proving},
  journal      = {Sci. Comput. Program.},
  volume       = {76},
  number       = {2},
  pages        = {82--99},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.scico.2010.03.004},
  doi          = {10.1016/J.SCICO.2010.03.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GastelLSE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GastelLSE08,
  author       = {Bernard van Gastel and
                  Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Reentrant Readers-Writers: {A} Case Study Combining Model Checking
                  with Theorem Proving},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_10},
  doi          = {10.1007/978-3-642-03240-0\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GastelLSE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LensinkSE07,
  author       = {Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {Stefan Leue and
                  Pedro Merino},
  title        = {Machine Checked Formal Proof of a Scheduling Protocol for Smartcard
                  Personalization},
  booktitle    = {Formal Methods for Industrial Critical Systems, 12th International
                  Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4916},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-79707-4\_10},
  doi          = {10.1007/978-3-540-79707-4\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/LensinkSE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}