Author of the publication

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

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics., and . RV, volume 12399 of Lecture Notes in Computer Science, page 383-403. Springer, (2020)Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring., , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 330-348. Springer, (2021)Query Preserving Watermarking Schemes for Locally Treelike Databases., and . FSTTCS, volume 150 of LIPIcs, page 36:1-36:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Pumping lemmas for weighted automata., , , and . Log. Methods Comput. Sci., (2021)Software-hardware codesign for efficient in-memory regular pattern matching., , , , , , and . PLDI, page 733-748. ACM, (2022)Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance., , , , , , , , , and 1 other author(s). SAC, page 186-195. ACM, (2024)Pumping lemmas for weighted automata., , , and . CoRR, (2020)Efficient Matching of Regular Expressions with Lookaround Assertions., and . Proc. ACM Program. Lang., 8 (POPL): 2761-2791 (January 2024)A compositional framework for algebraic quantitative online monitoring over continuous-time signals., , and . Int. J. Softw. Tools Technol. Transf., 25 (4): 557-573 (August 2023)A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals., , and . RV, volume 12974 of Lecture Notes in Computer Science, page 142-163. Springer, (2021)