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

Model-Checking of Ordered Multi-Pushdown Automata. Logical Methods in Computer Science, (2012)Context-Bounded Analysis of TSO Systems., , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 21-38. Springer, (2014)Replacing Store Buffers by Load Buffers in TSO., , , and . VECoS, volume 11181 of Lecture Notes in Computer Science, page 22-28. Springer, (2018)Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding., , , and . ATVA, volume 7561 of Lecture Notes in Computer Science, page 152-166. Springer, (2012)MPass: An Efficient Tool for the Analysis of Message-Passing Programs., , , , , and . FACS, volume 8997 of Lecture Notes in Computer Science, page 198-206. Springer, (2014)Optimal SMC for Transactional Programs., , , , and . CoRR, (2022)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 305-320. Springer, (2021)Adjacent Ordered Multi-Pushdown Systems., , and . Developments in Language Theory, volume 7907 of Lecture Notes in Computer Science, page 58-69. Springer, (2013)What's Decidable about Availability Languages?., , , and . FSTTCS, volume 45 of LIPIcs, page 192-205. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)The Benefits of Duality in Verifying Concurrent Programs under TSO., , , and . CONCUR, volume 59 of LIPIcs, page 5:1-5:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)