Dmitriy Traytel
Associate Professor - Promotion Programme
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- Published
Admissible Types-to-PERs Relativization in Higher-Order Logic
Popescu, A. & Traytel, Dmitriy, 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, 32 p., 42.Research output: Contribution to journal › Journal article › 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
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
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
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
Cardinals in Isabelle/HOL
Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2014, ITP 2014 - Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Cham, p. 111-127 17 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Correct and Efficient Policy Monitoring, a Retrospective
Basin, D., Krstić, S., Schneider, J. & Traytel, Dmitriy, 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer, p. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14215 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, Dmitriy, 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, p. 369-379Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Popescu, A. & Traytel, Dmitriy, 2021, In: Journal of Automated Reasoning. 65, p. 1027–1070Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Efficient Evaluation of Arbitrary Relational Calculus Queries
Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2023, In: Logical Methods in Computer Science. 19, 4Research output: Contribution to journal › Journal article › 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