Kevin Lotz

According to our database, Kevin Lotz authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Certainty in Formalising SMT-LIB for Strings in Isabelle.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Int. J. Found. Comput. Sci., 2026

2025

s2s: An Eager SMT Solver for Strings.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

SMTQuery: Analysing SMT-LIB String Benchmarks.

Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

Solving String Constraints with Concatenation Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Proceedings of the Implementation and Application of Automata, 2023

Solving String Constraints Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Solving String Theories Involving Regular Membership Predicates Using SAT.

Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Model Checking Software - 28th International Symposium, 2022