Martin Raszyk

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