Dmitriy Traytel

Cited by

	All	Since 2020
Citations	1457	903
h-index	22	15
i10-index	37	29

200

100

150

201320142015201620172018201920202021202220232024202512 37 58 49 119 80 168 155 176 167 180 189 36

Public access

View all

40 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Andreas LochbihlerDigital Asset (Switzerland) GmbHVerified email at inf.ethz.ch
Anders SchlichtkrullAalborg University CopenhagenVerified email at cs.aau.dk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Johannes HölzlVerified email at in.tum.de
Yliès FalconeUniv. Grenoble Alpes and InriaVerified email at univ-grenoble-alpes.fr
Giles RegerAmazon (formerly University of Manchester, UK)Verified email at manchester.ac.uk
Lorenz PannyTechnische Universität MünchenVerified email at yx7.cc
Bhargav Nagaraja BhattResearcher, Web3 FoundationVerified email at web3.foundation
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Thibault DardinierETH ZürichVerified email at inf.ethz.ch
Lorenzo GheriUniversity of LiverpoolVerified email at liverpool.ac.uk
Jonathan Julian Huerta y MuniveCzech Technical UniversityVerified email at cvut.cz
Christian SternagelVerified email at uibk.ac.at
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Morten Konggaard SchouAssistant Professor, Aalborg UniversityVerified email at cs.aau.dk
Lars NoschinskiTechnische Universität MünchenVerified email at in.tum.de

Dmitriy Traytel

University of Copenhagen

Verified email at di.ku.dk - Homepage

Interactive Theorem Proving Runtime Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A taxonomy for classifying runtime verification tools Y Falcone, S Krstić, G Reger, D Traytel International Journal on Software Tools for Technology Transfer 23 (2), 255-284, 2021	157	2021
A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019	128	2019
Truly Modular (Co)datatypes for Isabelle/HOL JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel ITP 2014, 93-110, 2014	127	2014
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving D Traytel, A Popescu, JC Blanchette LICS 2012, 596-605, 2012	83	2012
A Formally Verified Monitor for Metric First-Order Temporal Logic J Schneider, D Basin, S Krstić, D Traytel RV, 2019	48	2019
Almost event-rate independent monitoring of metric dynamic logic D Basin, S Krstić, D Traytel Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017	44	2017
Soundness and completeness proofs by coinductive methods JC Blanchette, A Popescu, D Traytel Journal of Automated Reasoning 58, 149-179, 2017	44	2017
Friends with Benefits: Implementing Foundational Corecursion in Proof Assistants JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel ESOP 2017, 2017	43*	2017
Foundational Extensible Corecursion: A Proof Assistant Perspective JC Blanchette, A Popescu, D Traytel ICFP 2015, 192-204, 2015	42	2015
A formally verified, optimized monitor for metric first-order dynamic logic D Basin, T Dardinier, S Krstic, L Heimes, M Raszyk, J Schneider, D Traytel IJCAR 2020, 2020	40	2020
A verified prover based on ordered resolution A Schlichtkrull, JC Blanchette, D Traytel Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019	40	2019
Unified Classical Logic Completeness—A Coinductive Pearl JC Blanchette, A Popescu, D Traytel IJCAR 2014, 46-60, 2014	37	2014
Unified Decision Procedures for Regular Expression Equivalence T Nipkow, D Traytel ITP 2014, 450-466, 2014	36	2014
Almost Event-Rate Independent Monitoring of Metric Temporal Logic D Basin, BN Bhatt, D Traytel TACAS 2017, 2017	31	2017
Cardinals in Isabelle/HOL JC Blanchette, A Popescu, D Traytel ITP 2014, 111-127, 2014	31	2014
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping D Traytel, S Berghofer, T Nipkow APLAS 2011, 89-104, 2011	29	2011
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. DA Basin, S Krstic, D Traytel RV-CuBES 3, 29-36, 2017	27	2017
Witnessing (Co)datatypes JC Blanchette, A Popescu, D Traytel ESOP 2015, 359-382, 2015	26	2015
Scalable Online First-Order Monitoring J Schneider, D Basin, F Brix, S Krstić, D Traytel International Conference on Runtime Verification, 353-371, 2018	25	2018
Foundational nonuniform (co) datatypes for higher-order logic JC Blanchette, F Meier, A Popescu, D Traytel 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	22	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors