Dmitriy Traytel

Dmitriy Traytel

Lektor - forfremmelsesprogrammet

ORCID: 0000-0001-7982-2768

Udgivelsesår:
Alle
26 - 50 ud af 55Pr. side: 25
Sortering: 1. forfatter

  1. A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)

    Hölzl, J., Lochbihler, A. & Traytel, Dmitriy, 2015, ITP 2015. Zhang, X. & Urban, C. (red.). Springer, Cham, Bind 9236. s. 203-220 18 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    Explainable Online Monitoring of Metric Temporal Logic

    Lima, Leonardo, Herasimau, A., Raszyk, M., Traytel, Dmitriy & Yuan, S., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Sankaranarayanan, S. & Sharygina, N. (red.). Springer, s. 473-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13994 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    Explainable Online Monitoring of Metric First-Order Temporal Logic

    Lima, Leonardo, Huerta y Munive, J. J. & Traytel, Dmitriy, 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (red.). Springer, s. 288-307 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14570 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Unified Decision Procedures for Regular Expression Equivalence

    Nipkow, T. & 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. (red.). Springer, Cham, Bind 8558. s. 450-466 17 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

  6. Udgivet

    Admissible Types-to-PERs Relativization in Higher-Order Logic

    Popescu, A. & Traytel, Dmitriy, 2023, I: Proceedings of the ACM on Programming Languages. 7, POPL, 32 s., 42.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant

    Popescu, A. & Traytel, Dmitriy, 2021, I: Journal of Automated Reasoning. 65, s. 1027–1070

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  8. Udgivet

    Efficient Evaluation of Arbitrary Relational Calculus Queries

    Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2023, I: Logical Methods in Computer Science. 19, 4

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. Udgivet

    Multi-head Monitoring of Metric Dynamic Logic

    Raszyk, M., Basin, D. & Traytel, Dmitriy, 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (red.). Springer, s. 233-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12302 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  10. Udgivet

    Practical Relational Calculus Query Evaluation

    Raszyk, M., Basin, D., Krstić, S. & Traytel, Dmitriy, 2022, 25th International Conference on Database Theory, ICDT 2022. Olteanu, D. & Vortmeier, N. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-21 11. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 220).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

  13. Udgivet

    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. (red.). TU Wien Academic Press, s. 369-379

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  14. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2020, I: Journal of Automated Reasoning. 64, s. 1169–1195

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

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

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

  18. Scalable Online First-Order Monitoring

    Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2018, RV 2018. Colombo, C. & Leucker, M. (red.). Springer, Cham, Bind 11237. s. 353-371 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. Udgivet

    Scalable online first-order monitoring

    Schneider, J., Basin, D., Brix, F., Krstić, S. & Traytel, Dmitriy, 2021, I: International Journal on Software Tools for Technology Transfer. 23, 2, s. 185-208

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

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

  22. 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. (red.). ACM, s. 3-12 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  23. Formal Languages, Formally and Coinductively

    Traytel, Dmitriy, 2016, FSCD 2016. Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 52. s. 31:1-31:17 (LIPIcs).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  24. Udgivet

    Extending Hindley-Milner Type Inference with Coercive Structural Subtyping

    Traytel, Dmitriy, Berghofer, S. & Nipkow, T., 2011, APLAS 2011. Yang, H. (red.). Springer Berlin/Heidelberg, Bind 7078. s. 89-104 16 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  25. Formalizing Symbolic Decision Procedures for Regular Languages

    Traytel, Dmitriy, 15 okt. 2015, Technische Universität München . 132 s.

    Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning

Forrige 1 2 3 Næste

ID: 245399103