Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 10 out of 54Page size: 10
Sort by: Title

  1. A Coalgebraic Decision Procedure for WS1S

    Traytel, Dmitriy, 2015, CSL 2015. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 41. p. 487-503 17 p. (LIPIcs).

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

  2. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)

    Hölzl, J., Lochbihler, A. & Traytel, Dmitriy, 2015, ITP 2015. Zhang, X. & Urban, C. (eds.). Springer, Cham, Vol. 9236. p. 203-220 18 p. (LNCS).

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

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

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

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

  6. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

    Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, Dmitriy & Weiss, A., 2019, In: Formal Methods in System Design. 54, 3, p. 279-335 57 p.

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

  7. A Taxonomy for Classifying Runtime Verification Tools

    Falcone, Y., Krstić, S., Reger, G. & Traytel, Dmitriy, 2018, Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Colombo, C. & Leucker, M. (eds.). Springer, p. 241-262 22 p. (LNCS). (Lecture Notes in Computer Science, Vol. 11237).

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

  8. A Verified Prover Based on Ordered Resolution

    Schlichtkrull, A., Blanchette, J. C. & Traytel, Dmitriy, 2019, CPP 2019. Mahboubi, A. & Myreen, M. O. (eds.). ACM, p. 152-165 14 p.

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

  9. 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-284

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

  10. Adaptive Online First-Order Monitoring

    Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2019, ATVA 2019. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, Cham, Vol. 11781. p. 133-150 18 p. (LNCS).

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

Previous 1 2 3 4 5 6 Next

ID: 245399103