HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dmitriy Traytel

Publications
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann
EasyChair Preprint 396
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Giles Reger and Dmitriy Traytel (editors)
EPiC Series in Computing, volume 51
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
David Basin, Srdjan Krstic and Dmitriy Traytel
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Report of ARCADE 2017
Giles Reger and Dmitriy Traytel
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Keyphrases

completeness, event-rate independence, first-order logic, Isabelle/HOL, metric dynamic logic, Metric Temporal Logic, monitoring, proof assistant, prover, resolution, trace-rate independence.

Copyright © 2012-2025 easychair.org. All rights reserved.