Personal information

Germany

Activities

Employment (1)

Kiel University: Kiel, DE

2022 to present | PhD Student (Department of Computer Science)
Employment
Source: Self-asserted source
Kevin Lotz

Works (5)

SMTQuery: Analysing SMT-LIB String Benchmarks

2025 | Book chapter
Contributors: Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn
Source: check_circle
Crossref

Solving String Constraints with Concatenation Using SAT

Formal Methods in Computer-Aided Design
2024-10 | Conference paper
Contributors: Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Dirk Nowotka
Source: Self-asserted source
Kevin Lotz

Solving String Constraints Using SAT

2023 | Book chapter
Contributors: Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka
Source: check_circle
Crossref

Verified Verifying: SMT-LIB for Strings in Isabelle

2023 | Book chapter
Contributors: Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull
Source: check_circle
Crossref

Solving String Theories Involving Regular Membership Predicates Using SAT

2022 | Book chapter
Contributors: Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Crossref