E-LIB Suche - Ergebnisse für: Traytel, Dmitriy

1

Explainable Online Monitoring of Metric First-Order Tempora..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lima, Leonardo ; Huerta y Munive, Jonathan Julián ; Traytel, Dmitriy - p. 288-307 , 2024

Link: https://doi.org/10.1007/..

2

Proceedings of the 13th ACM SIGPLAN International Conferenc..:

Timany, Amin ; Traytel, Dmitriy ; Pientka, Brigitte. , 2024

Link: https://dl.acm.org/doi/1..

3

Admissible Types-to-PERs Relativization in Higher-Order Log..:

Popescu, Andrei ; Traytel, Dmitriy
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1214-1245 , 2023

Link: https://doi.org/10.1145/..

4

Proceedings of the 12th ACM SIGPLAN International Conferenc..:

Krebbers, Robbert ; Traytel, Dmitriy ; Pientka, Brigitte. , 2023

Link: https://dl.acm.org/doi/1..

5

Correct and Efficient Policy Monitoring, a Retrospective:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Basin, David ; Krstić, Srđan ; Schneider, Joshua. - p. 3-30 , 2023

Link: https://doi.org/10.1007/..

6

Explainable Online Monitoring of Metric Temporal Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lima, Leonardo ; Herasimau, Andrei ; Raszyk, Martin.. - p. 473-491 , 2023

Link: https://doi.org/10.1007/..

7

Differential Testing of Pushdown Reachability with a Formal..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Schlichtkrull, Anders ; Schou, Morten Konggaard ; Srba, Jiri. - p. 369-379 , 2022

Link: https://doi.org/10.34727..

8

Quotients of Bounded Natural Functors:

Fürer, Basil ; Lochbihler, Andreas ; Schneider, Joshua.
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

VeriMon: A Formally Verified Monitoring Tool:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Basin, David ; Dardinier, Thibault ; Hauser, Nico... - p. 1-6 , 2022

Link: https://doi.org/10.1007/..

10

Verified First-Order Monitoring with Recursive Rules:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Zingg, Sheila ; Krstić, Srđan ; Raszyk, Martin.. - p. 236-253 , 2022

Link: https://doi.org/10.1007/..

11

A taxonomy for classifying runtime verification tools:

Falcone, Yliès ; Krstić, Srđan ; Reger, Giles.
International Journal on Software Tools for Technology Transfer. 23 (2021) 2 - p. 255-284 , 2021

Link: https://doi.org/10.1007/..

12

Distilling the Requirements of Gödel's Incompleteness Theor..:

Popescu, Andrei ; Traytel, Dmitriy
Journal of Automated Reasoning. 65 (2021) 7 - p. 1027-1070 , 2021

Link: https://doi.org/10.1007/..

13

Scalable online first-order monitoring:

Schneider, Joshua ; Basin, David ; Brix, Frederik..
International Journal on Software Tools for Technology Transfer. 23 (2021) 2 - p. 185-208 , 2021

Link: https://doi.org/10.1007/..

14

A Formally Verified, Optimized Monitor for Metric First-Ord..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Basin, David ; Dardinier, Thibault ; Heimes, Lukas... - p. 432-453 , 2020

Link: https://doi.org/10.1007/..

15

Quotients of Bounded Natural Functors:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Fürer, Basil ; Lochbihler, Andreas ; Schneider, Joshua. - p. 58-78 , 2020

Link: https://doi.org/10.1007/..