Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 4 out of 4Page size: 10
Sort by: 1st author
  1. Published

    Correct and Efficient Policy Monitoring, a Retrospective

    Basin, D., Krstić, S., Schneider, J. & Traytel, Dmitriy, 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer, p. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14215 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Explainable Online Monitoring of Metric Temporal Logic

    Lima, Leonardo, Herasimau, A., Raszyk, M., Traytel, Dmitriy & Yuan, S., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 473-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Admissible Types-to-PERs Relativization in Higher-Order Logic

    Popescu, A. & Traytel, Dmitriy, 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, 32 p., 42.

    Research output: Contribution to journal › Journal article › Research › peer-review

  4. Published

    Efficient Evaluation of Arbitrary Relational Calculus Queries

    Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2023, In: Logical Methods in Computer Science. 19, 4

    Research output: Contribution to journal › Journal article › Research › peer-review

ID: 245399103