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 no. 396
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
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
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-2023 easychair.org. All rights reserved.