Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 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
- 2020
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
Basin, D., Dardinier, T., Heimes, L., Krstić, S., Raszyk, M., Schneider, J. & Traytel, Dmitriy, 2020, IJCAR 2020. Vol. 12166. p. 432-453 22 p. (Lecture Notes in Computer Science, Vol. 12166).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2020, In: Journal of Automated Reasoning. 64, p. 1169–1195Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Multi-head Monitoring of Metric Dynamic Logic
Raszyk, M., Basin, D. & Traytel, Dmitriy, 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 233-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12302 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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
- 2019
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Popescu, A. & Traytel, Dmitriy, 2019, CADE-27. Fontaine, P. (ed.). Springer, Cham, Vol. 11716. p. 442-461 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A Formally Verified Monitor for Metric First-Order Temporal Logic
Schneider, J., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, RV 2019. Finkbeiner, B. & Mariani, L. (eds.). Springer, Cham, Vol. 11757. p. 310-328 19 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 245399103
Most downloads
-
26
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
20
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
19
downloads
Verified Progress Tracking for Timely Dataflow.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published