Kevin Lotz

According to our database, Kevin Lotz authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

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

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