Dmitriy Traytel

Dmitriy Traytel

Associate Professor - Promotion Programme

ORCID: 0000-0001-7982-2768

Publication year:
All
1 - 4 out of 4Page size: 10
  1. 2018

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

  3. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2018, IJCAR 2018. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer, Cham, Vol. 10900. p. 89-107 19 p. (LNCS).

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

  4. Optimal Proofs for Linear Temporal Logic on Lasso Words

    Basin, D., Bhatt, B. & Traytel, Dmitriy, 2018, Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lahiri, S. & Wang, C. (eds.). Springer, p. 37-55 19 p. (LNCS, Vol. 11138).

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

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

ID: 245399103