Thomas Lemberger

Promotionsstudent mit Schwerpunkt Codeanalyse
Kapuzinerstra├če 2c
94032 Passau
Deutschland
+49 171 7518174
lembergerth@gmail.com
thomaslemberger.com

Publications

[1]
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. Reducer-based construction of conditional verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018, Gothenburg, Sweden, May 27 - June 3), pages 1182–1193. ACM, 2018. DOI Webpage PDF
[2]
Dirk Beyer, Matthias Dangl, Thomas Lemberger, and Michael Tautschnig. Tests from witnesses: Execution-based validation of verification results. In Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018, Toulouse, France, June 27-29), LNCS 10889, pages 3–23. Springer, 2018. DOI Webpage Presentation PDF
[3]
Dirk Beyer and Thomas Lemberger. CPA-SymExec: Efficient symbolic execution in CPAchecker. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018, Montpellier, France, September 3-7), pages 900–903. ACM, 2018. DOI Webpage Presentation PDF
[4]
Dirk Beyer and Thomas Lemberger. Software verification: Testing vs. model checking. In Proceedings of the 13th Haifa Verification Conference (HVC 2017, Haifa, Israel, November 13-25), LNCS 10629, pages 99–114. Springer, 2017. DOI Webpage Presentation PDF
[5]
Dirk Beyer and Thomas Lemberger. Symbolic execution with CEGAR. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016, Part 1, Imperial, Corfu, Greece, October 10-14), LNCS 9952, pages 195–211. Springer, 2016. DOI Webpage PDF

This file was generated by bibtex2html 1.99.