Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 2019
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
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
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
Almost Event-Rate Independent Monitoring
Basin, D., Bhatt, B., Krstić, S. & Traytel, Dmitriy, 2019, In: Formal Methods in System Design. 54, 3, p. 449-478 30 p.Research output: Contribution to journal › Journal article › Research › peer-review
Bindings as Bounded Natural Functors
Blanchette, J. C., Gheri, L., Popescu, A. & Traytel, Dmitriy, 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 22:1-22:34Research output: Contribution to journal › Journal article › Research › peer-review
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
Raszyk, M., Basin, D. & Traytel, Dmitriy, 2019, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 132. p. 127:1-127:14 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Generic Authenticated Data Structures, Formally
Brun, M. & Traytel, Dmitriy, 2019, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 141. p. 10:1-10:18 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Multi-Head Monitoring of Metric Temporal Logic
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, ATVA 2019. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, Cham, Vol. 11781. p. 151-170 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2018
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
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
ID: 245399103
Most downloads
-
20
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 -
15
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published