C
Christian Schallhart
Researcher at University of Oxford
Publications - 78
Citations - 3271
Christian Schallhart is an academic researcher from University of Oxford. The author has contributed to research in topics: Model checking & Test suite. The author has an hindex of 22, co-authored 78 publications receiving 2993 citations. Previous affiliations of Christian Schallhart include Technische Universität Darmstadt & Technische Universität München.
Papers
More filters
Journal ArticleDOI
A Brief Account of Runtime Verification
TL;DR: A comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out.
Journal ArticleDOI
Runtime Verification for LTL and TLTL
TL;DR: In this paper, a three-valued semantics (with truth values true, false, inconclusive) is introduced as an adequate interpretation as to whether a partial observation of a running system meets an LTL or TLTL property.
Journal ArticleDOI
Comparing LTL Semantics for Runtime Verification
TL;DR: This work establishes four maxims to be satisfied by any LTL-derived logic aimed at runtime verification, and introduces a new four-valued logic Runtime Verification Linear Temporal Logic RV-LTL in accordance to these maxims.
Book ChapterDOI
Monitoring of real-time properties
TL;DR: A 3-valued semantics (true, false, inconclusive) for LTL and TLTL on finite traces is defined that resembles the infinite trace semantics in a suitable and intuitive manner.
Book ChapterDOI
Detecting malicious code by model checking
TL;DR: This paper introduces the specification language CTPL (Computation Tree Predicate Logic) which extends the well-known logic CTL, and describes an efficient model checking algorithm which is able to detect a large number of worm variants with a single specification.