Spring til hovednavigation Spring til søgning Spring til hovedindhold
Intet billede af Dmitriy Traytel

Dmitriy Traytel

 https://orcid.org/0000-0001-7982-2768

  • Sigurdsgade 41

    2200 København N.

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
  • 47 Konferencebidrag i proceedings
  • 14 Tidsskriftartikel
  • 1 Doktordisputats

  • Animating MRBNFs: Truly Modular Binding-Aware Datatypes in Isabelle/HOL

    van Brügge, J., Popescu, A. & Traytel, D., 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 20 s. 11. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 352).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    8 Downloads (Pure)

  • Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings

    Van Brügge, J., McKinna, J., Popescu, A. & Traytel, D., 2025, I: Proceedings of the ACM on Programming Languages. 9, 32 s., 57.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    12 Downloads (Pure)

  • Nondeterministic Asynchronous Dataflow in Isabelle/HOL

    Silva, R. C. G., Fernet, L. & Traytel, D., 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 20 s. 30. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 352).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    11 Downloads (Pure)

  • Scaling Up Proactive Enforcement

    Hublet, F., Lima, L., Basin, D., Krstić, S. & Traytel, D., 2025, Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings. Piskac, R. & Rakamaric, Z. (red.). Springer, s. 370-392 (Lecture Notes in Computer Science, Bind 15933 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    6 Downloads (Pure)

  • TimelyMon: A Streaming Parallel First-Order Monitor

    Reese, L., Silva, R. C. G. & Traytel, D., 2025, Runtime Verification - 24th International Conference, RV 2024, Proceedings. Ábrahám, E. & Abbas, H. (red.). Springer, s. 150-160 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15191 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Fil
    30 Downloads (Pure)

  • WHYMON: A Runtime Monitoring Tool with Explanations as Verdicts

    Lima, L., Huerta y Munive, J. J. & Traytel, D., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (red.). Springer, s. 76-90 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15055 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    23 Downloads (Pure)

  • Explainable Online Monitoring of Metric First-Order Temporal Logic

    Lima, L., Huerta y Munive, J. J. & Traytel, D., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (red.). Springer, s. 288-307 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14570 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    32 Downloads (Pure)

  • Proactive Real-Time First-Order Enforcement

    Hublet, F., Lima, L., Basin, D., Krstić, S. & Traytel, D., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (red.). Springer, s. 156-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14682 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    6 Downloads (Pure)
Se alle 62 publikation