Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home › Staff › Lukas Convent ›

Publications

2020
Convent, Lukas, Lindley Sam, McBride Conor, and McLaughlin Craig Doo Bee Doo Bee Doo. Journal of Functional Programming. 30 2020.  
2018
Convent, Lukas, Hungerecker Sebastian, Scheffel Torben, Schmitz Malte, Thoma Daniel, and Weiss Alexander Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. Runtime Verification. Lecture Notes in Computer Science 11237 2018.  
Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.  
  • News
  • Research
    • Projects
    • Publications
    • Partners
    • Conferences
  • Teaching
    • Courses
    • Theses
      • FAQ
      • Templates
  • Staff
    • Martin Leucker
    • Phillip Bende
    • Gunnar Bergmann
    • Tobias Braun
    • Gerhard Buntrock
    • David Caraveo
    • Lukas Convent
    • Elisabeth Husmann
    • Hannes Kallwies
    • Karam Kharraz
    • Uwe Kienitz
    • Grigory Markin
    • Maria Ostanina
    • Hannes Preiß
    • Martin Sachenbacher
    • Torben Scheffel
    • Malte Schmitz
    • Annette Stümpel
    • Daniel Thoma
    • Open Positions
  • Contact
  • Staff
    • Martin Leucker
    • Elisabeth Husmann
    • Philipp Bende
    • Gunnar Bergmann
    • Tobias Braun
    • Gerhard Buntrock
    • David Caraveo
    • Lukas Convent
      • Activities
      • Publications
    • Hannes Kallwies
    • Karam Kharraz
    • Mohammad Khodaygani
    • Uwe Kienitz
    • Grigory Markin
    • Maria Ostanina
    • Hannes Preiß
    • Martin Sachenbacher
    • Torben Scheffel
    • Malte Schmitz
    • Annette Stümpel
    • Daniel Thoma
  • Complete List
  • Open Positions

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2021