Login / Signup
Denis Zahariev
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Behavioral Patterns
Protocol Specification
Metric Temporal Logic
Engineering Problems
Top Venues
ICPE (Companion)
</>
Publications
</>
Sebastian Frank
,
M. Alireza Hakamian
,
Denis Zahariev
,
André van Hoorn
Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns.
ICPE (Companion)
(2023)