Martin Raszyk

According to our database, Martin Raszyk authored at least 22 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Verified Proof Checker for Metric First-Order Temporal Logic.

Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel

Arch. Formal Proofs, 2024

2023

Efficient Evaluation of Arbitrary Relational Calculus Queries.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Log. Methods Comput. Sci., 2023

Explainable Online Monitoring of Metric Temporal Logic.

Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Monitoring the Internet Computer.

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Monitoring the Internet Computer (Artifact).

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Dataset, November, 2022

Efficient, Expressive, and Verified Temporal Query Evaluation.

Martin Raszyk

PhD thesis, 2022

Making Arbitrary Relational Calculus Queries Safe-Range.

Martin Raszyk, Dmitriy Traytel

Arch. Formal Proofs, 2022

First-Order Query Evaluation.

Martin Raszyk

Arch. Formal Proofs, 2022

Multi-Head Monitoring of Metric Dynamic Logic.

Martin Raszyk

Arch. Formal Proofs, 2022

Reoptimization of parameterized problems.

Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith

Acta Informatica, 2022

Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

VeriMon: A Formally Verified Monitoring Tool.

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Practical Relational Calculus Query Evaluation.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the 25th International Conference on Database Theory, 2022

2021

From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata.

Elisabet Burjons, Fabian Frei, Martin Raszyk

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata.

Elisabet Burjons, Fabian Frei, Martin Raszyk

CoRR, 2020

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations.

Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Arch. Formal Proofs, 2020

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.

David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Multi-head Monitoring of Metric Dynamic Logic.

Martin Raszyk, David A. Basin, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

On the Size of Logical Automata.

Martin Raszyk

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

From Nondeterministic to Multi-Head Deterministic Finite-State Transducers.

Martin Raszyk, David A. Basin, Dmitriy Traytel

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Multi-head Monitoring of Metric Temporal Logic.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2017

Witness-hiding proofs of knowledge for cable locks.

Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi

Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017