Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
11 - 20 ud af 54Pr. side: 10
Sortering: Titel
  1. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  2. Almost Event-Rate Independent Monitoring

    Basin, D., Bhatt, B., Krstić, S. & Traytel, Dmitriy, 2019, I: Formal Methods in System Design. 54, 3, s. 449-478 30 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  3. Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

    Basin, D., Krstić, S. & Traytel, Dmitriy, 2017, Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lahiri, S. & Reger, G. (red.). Springer, Cham, s. 85-102 18 s. (Lecture Notes in Computer Science, Bind 10548).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Almost Event-Rate Independent Monitoring of Metric Temporal Logic

    Basin, D., Bhatt, B. & Traytel, Dmitriy, 2017, TACAS 2017. Legay, A. & Margaria, T. (red.). Springer Berlin/Heidelberg, Bind 10206. s. 94-112 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Bindings as Bounded Natural Functors

    Blanchette, J. C., Gheri, L., Popescu, A. & Traytel, Dmitriy, 2019, I: Proceedings of the ACM on Programming Languages. 3, POPL, s. 22:1-22:34

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Cardinals in Isabelle/HOL

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (red.). Springer, Cham, s. 111-127 17 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    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. (red.). Springer, s. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14215 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    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. (red.). TU Wien Academic Press, s. 369-379

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant

    Popescu, A. & Traytel, Dmitriy, 2021, I: Journal of Automated Reasoning. 65, s. 1027–1070

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    Efficient Evaluation of Arbitrary Relational Calculus Queries

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Forrige 1 2 3 4 5 6 Næste

ID: 245399103