Concepedia
Statistics
Publications
13
Citations
428
H-Index
11
Active since
2012
Affiliations
ETH Zurich(Current)
Vrije Universiteit Amsterdam
Middlesex University
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Board of the Swiss Federal Institutes of Technology
Dmitriy Traytel is an author at ETH Zurich specializing in formal methods, engineering, and automated reasoning.
Top concepts
EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceVerificationProgram AnalysisProof ComplexitySemanticsData Science
Publications per year
2012–2021
A taxonomy for classifying runtime verification tools
Ylìès Falcone, Srđan Krstić, Giles Reger et al. · International Journal on Software Tools for Technology Transfer · 2021 · 106 citations · Full text
Program Checking, Engineering, Runtime Verification +11
A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 95 citations
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette · 2012 · 62 citations
Engineering, Automated Reasoning, Type Theory +15
Soundness and Completeness Proofs by Coinductive Methods
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel · Journal of Automated Reasoning · 2016 · 30 citations · Full text
Engineering, Automated Reasoning, Proof Complexity +7
Foundational extensible corecursion: a proof assistant perspective
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel · 2015 · 24 citations
Engineering, Relational Parametricity, Verification +17
1–5 of 13