Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
1 - 4 ud af 4Pr. side: 10
Sortering: Udgivelsesdato
  1. 2021
  2. Udgivet

    A taxonomy for classifying runtime verification tools.

    Falcone, Y., Krstić, S., Reger, G. & Traytel, Dmitriy, 2021, I: International Journal on Software Tools for Technology Transfer. 23, 2, s. 255-284

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

  3. 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

  4. Udgivet

    Scalable online first-order monitoring

    Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2021, I: International Journal on Software Tools for Technology Transfer. 23, 2, s. 185-208

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

  5. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-20 10. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 193).

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

ID: 245399103