Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 2020
Quotients of Bounded Natural Functors
Fürer, B., Lochbihler, A., Schneider, J. & Traytel, Dmitriy, 2020, IJCAR 2020. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Cham, Vol. 12167. p. 58-78 21 p. (Lecture Notes in Computer Science, Vol. 12167).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2021
- Published
A taxonomy for classifying runtime verification tools.
Falcone, Y., Krstić, S., Reger, G. & Traytel, Dmitriy, 2021, In: International Journal on Software Tools for Technology Transfer. 23, 2, p. 255-284Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Popescu, A. & Traytel, Dmitriy, 2021, In: Journal of Automated Reasoning. 65, p. 1027–1070Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Scalable online first-order monitoring
Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2021, In: International Journal on Software Tools for Technology Transfer. 23, 2, p. 185-208Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Verified Progress Tracking for Timely Dataflow.
Brun, M., Decova, S., Lattuada, A. & Traytel, Dmitriy, 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-20 10. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 193).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2022
- Published
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, Dmitriy, 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, p. 369-379Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Practical Relational Calculus Query Evaluation
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2022, 25th International Conference on Database Theory, ICDT 2022. Olteanu, D. & Vortmeier, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-21 11. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 220).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quotients of Bounded Natural Functors
Fürer, B., Lochbihler, A., Schneider, J. & Traytel, Dmitriy, 2022, In: Logical Methods in Computer Science. 18, 1, p. 1-28 23.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
VeriMon: A Formally Verified Monitoring Tool
Basin, D., Dardinier, T., Hauser, N., Heimes, L., Huerta y Munive, J. J., Kaletsch, N., Krstić, S., Marsicano, E., Raszyk, M., Schneider, J., Tirore, D. L., Traytel, Dmitriy & Zingg, S., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer, p. 1-6 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Verified First-Order Monitoring with Recursive Rules
Zingg, S., Krstić, S., Raszyk, M., Schneider, J. & Traytel, Dmitriy, 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, Vol. 2. p. 236-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13244 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 245399103
Most downloads
-
20
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
16
downloads
Verified Progress Tracking for Timely Dataflow.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
15
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published