Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
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
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
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
- Published
Scalable online first-order monitoring
Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2021, In: International Journal on Software Tools for Technology Transfer. 23, 2, p. 185-208Research output: Contribution to journal › Journal article › Research › peer-review
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
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
Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Traytel, Dmitriy & Nipkow, T., 2013, ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Morrisett, G. & Uustalu, T. (eds.). ACM, p. 3-12 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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
- Published
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Traytel, Dmitriy, Berghofer, S. & Nipkow, T., 2011, APLAS 2011. Yang, H. (ed.). Springer Berlin/Heidelberg, Vol. 7078. p. 89-104 16 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Formalizing Symbolic Decision Procedures for Regular Languages
Traytel, Dmitriy, 15 Oct 2015, Technische Universität München . 132 p.Research output: Book/Report › Doctoral thesis › Research
ID: 245399103
Most downloads
-
21
downloads
Practical Relational Calculus Query Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
16
downloads
Verified Progress Tracking for Timely Dataflow.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
16
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published