Dmitriy Traytel
Lektor - forfremmelsesprogrammet
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- 2019
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Popescu, A. & Traytel, Dmitriy, 2019, CADE-27. Fontaine, P. (red.). Springer, Cham, Bind 11716. s. 442-461 20 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 132. s. 127:1-127:14 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer, Cham, Bind 11781. s. 151-170 20 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Verified Prover Based on Ordered Resolution
Schlichtkrull, A., Blanchette, J. C. & Traytel, Dmitriy, 2019, CPP 2019. Mahboubi, A. & Myreen, M. O. (red.). ACM, s. 152-165 14 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer, Cham, Bind 11757. s. 310-328 19 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer, Cham, Bind 11781. s. 133-150 18 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, I: Formal Methods in System Design. 54, 3, s. 279-335 57 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2018
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. (red.). Springer, s. 37-55 19 s. (LNCS, Bind 11138).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer, s. 241-262 22 s. (LNCS). (Lecture Notes in Computer Science, Bind 11237).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer, Cham, Bind 10900. s. 89-107 19 s. (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 245399103
Flest downloads
-
16
downloads
Verified Progress Tracking for Timely Dataflow.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
15
downloads
Practical Relational Calculus Query Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
14
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet