Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
31 - 40 out of 54Page size: 10
  1. 2018

  2. Scalable Online First-Order Monitoring

    Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2018, RV 2018. Colombo, C. & Leucker, M. (eds.). Springer, Cham, Vol. 11237. p. 353-371 19 p. (LNCS).

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

  3. 2017

  4. 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. (eds.). Springer, Cham, p. 85-102 18 p. (Lecture Notes in Computer Science, Vol. 10548).

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

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

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

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

  6. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2017, In: Logical Methods in Computer Science. 13, 3, p. 1-22 28.

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

  7. Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

    Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R. & Traytel, Dmitriy, 2017, FroCoS 2017. Dixon, C. & Finger, M. (eds.). Springer, Cham, Vol. 10483. p. 3-21 19 p. (LNCS).

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

  8. Foundational Nonuniform (Co)datatypes for Higher-Order Logic

    Blanchette, J. C., Meier, F., Popescu, A. & Traytel, Dmitriy, 2017, LICS 2017. IEEE Computer Society Press, p. 1-12 12 p.

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

  9. Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, Dmitriy, 2017, ESOP 2017. Yang, H. (ed.). Springer Berlin/Heidelberg, Vol. 10201. p. 111-140 30 p. (LNCS).

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

  10. Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

    Blanchette, J. C., Fleury, M. & Traytel, Dmitriy, 2017, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 84. p. 11:1-11:18 (LIPIcs).

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

  11. Soundness and Completeness Proofs by Coinductive Methods

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2017, In: Journal of Automated Reasoning. 58, 1, p. 149-179 31 p.

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

  12. 2016

  13. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2016, FSCD 2016. Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 52. p. 31:1-31:17 (LIPIcs).

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

Previous 1 2 3 4 5 6 Next

ID: 245399103