Author of the publication

String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version).

, and . CoRR, (2015)

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

String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)., and . CoRR, (2015)Regular Symmetry Patterns (Technical Report)., , , and . CoRR, (2015)Probabilistic Bisimulation for Parameterized Systems (Technical Report)., , , and . CoRR, (2020)String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)., , , , and . CoRR, (2020)Regular Symmetry Patterns., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 455-475. Springer, (2016)Complexity Analysis of Tree Share Structure., , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 89-108. Springer, (2018)String constraints with concatenation and transducers solved efficiently., , , , and . Proc. ACM Program. Lang., 2 (POPL): 4:1-4:32 (2018)Regular Model Checking Revisited., and . Model Checking, Synthesis, and Learning, volume 13030 of Lecture Notes in Computer Science, page 97-114. Springer, (2021)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , and . CoRR, (2023)Rational Verification for Probabilistic Systems., , , , and . KR, page 312-322. (2021)