Mitja Kulczynski

According to our database, Mitja Kulczynski authored at least 21 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• 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

ZaligVinder: A generic test framework for string solvers.

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

J. Softw. Evol. Process., April, 2023

Towards more efficient methods for solving regular-expression heavy string constraints.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Theor. Comput. Sci., 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

2022

Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints.

Mitja Kulczynski

PhD thesis, 2022

A Generic Information Extraction System for String Constraints.

Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

CoRR, 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

2021

Analysis of Source Code Using UPPAAL.

Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

The Show Must Go On - Examination During a Pandemic.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

CoRR, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Weighted Prefix Normal Words: Mind the Gap.

Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Experimental Investigation of Sufficient Criteria for Relations to Have Kernels.

Rudolf Berghammer, Mitja Kulczynski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

A Length-aware Regular Expression SMT Solver.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

CoRR, 2020

On Collapsing Prefix Normal Words.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Language and Automata Theory and Applications, 2020

The Power of String Solving: Simplicity of Comparison.

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Rule-based Word Equation Solving.

Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

On Collapsing Prefix Normal Words.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka

CoRR, 2019

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

On Solving Word Equations Using SAT.

Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Reachability Problems - 13th International Conference, 2019