Fast Three-Valued Abstract Bit-Vector Arithmetic. - Jan Onderka; Stefan Ratschan (VMCAI, 2022)

Formal Verification of Machine-Code Systems by Translation of Simulable Descriptions. - Jan Onderka (MECO, 2024)

Input-based Framework for Three-valued Abstraction Refinement. - Jan Onderka (CoRR, 2024)