Author of the publication

Solving Not-Substring Constraint withFlat Abstraction.

, , , , , , , , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 305-320. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Counter-Example Guided Program Verification., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 25-42. (2016)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 305-320. Springer, (2021)Trau: SMT solver for string constraints., , , , , , and . FMCAD, page 1-5. IEEE, (2018)Efficient handling of string-number conversion., , , , , , , , and . PLDI, page 943-957. ACM, (2020)On Solving String Constraints.. Uppsala University, Sweden, (2021)base-search.net (ftuppsalauniv:oai:DiVA.org:uu-428900).Chain-Free String Constraints., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 277-293. Springer, (2019)Distributed Bounded Model Checking., , , and . FMCAD, page 47-56. IEEE, (2020)Chain-Free String Constraints (Technical Report)., , , , and . CoRR, (2023)A runtime approach for estimating resource usage., , and . SoICT, page 261-266. ACM, (2013)