Martin Raszyk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Monitoring the Internet Computer. | David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan |
| 2023 | TACAS | Explainable Online Monitoring of Metric Temporal Logic. | Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan |
| 2022 | ICDT | Practical Relational Calculus Query Evaluation. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2022 | TACAS | Verified First-Order Monitoring with Recursive Rules. | Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2021 | LICS | From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. | Elisabet Burjons, Fabian Frei, Martin Raszyk |
| 2020 | ATVA | Multi-head Monitoring of Metric Dynamic Logic. | Martin Raszyk, David A. Basin, Dmitriy Traytel |
| 2020 | CADE | 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 |
| 2019 | ATVA | Multi-head Monitoring of Metric Temporal Logic. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2019 | ICALP | From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. | Martin Raszyk, David A. Basin, Dmitriy Traytel |
| 2019 | SOFSEM | On the Size of Logical Automata. | Martin Raszyk |
| 2017 | ISIT | Witness-hiding proofs of knowledge for cable locks. | Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi |