Martin Raszyk

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Deterministic Automata

Arithmetic Constraints

Query Evaluation

Top Venues

Arch. Formal Proofs

Publications

Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel
A Verified Proof Checker for Metric First-Order Temporal Logic. Arch. Formal Proofs 2024 (2024)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. Log. Methods Comput. Sci. 19 (4) (2023)
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan
Explainable Online Monitoring of Metric Temporal Logic. TACAS (2) (2023)
Martin Raszyk
Multi-Head Monitoring of Metric Dynamic Logic. Arch. Formal Proofs 2022 (2022)
Martin Raszyk, Dmitriy Traytel
Making Arbitrary Relational Calculus Queries Safe-Range. Arch. Formal Proofs 2022 (2022)
Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Verified First-Order Monitoring with Recursive Rules. TACAS (2) (2022)
Martin Raszyk
First-Order Query Evaluation. Arch. Formal Proofs 2022 (2022)
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Practical Relational Calculus Query Evaluation. ICDT (2022)
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith
Reoptimization of parameterized problems. Acta Informatica 59 (4) (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR (2022)
Elisabet Burjons, Fabian Frei, Martin Raszyk
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. LICS (2021)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) (2020)
Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Arch. Formal Proofs 2020 (2020)
Martin Raszyk, David A. Basin, Dmitriy Traytel
Multi-head Monitoring of Metric Dynamic Logic. ATVA (2020)
Elisabet Burjons, Fabian Frei, Martin Raszyk
From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata. CoRR (2020)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Multi-head Monitoring of Metric Temporal Logic. ATVA (2019)
Martin Raszyk, David A. Basin, Dmitriy Traytel
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. ICALP (2019)
Martin Raszyk
On the Size of Logical Automata. SOFSEM (2019)
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith
Reoptimization of Parameterized Problems. CoRR (2018)
Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi
Witness-hiding proofs of knowledge for cable locks. ISIT (2017)