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
Towards Formal Semantics for ODRL.
TL;DR: A new way to model the semantics of ODRL permissions in a formal manner by using finite-automata like structures that is able to model sell and lend permissions.
Runtime Reflection: Dynamic model-based analyis of component-based distributed embedded systems
TL;DR: A novel and efficient approach built around the notion of a software component similar to AUTOSAR is presented, for dynamically analysing distributed embedded systems in the testing phase or even in standard operation, in that it provides a framework for detecting failures as well as identifying their causes.
Proceedings ArticleDOI
OPAL: a passe-partout for web forms
TL;DR: A novel form understanding approach, OPAL, is used to assist in form filling even for complex, previously unknown forms, and achieves >99% accuracy in form understanding.
Journal Article
Monitoring of real-time properties
TL;DR: In this paper, the authors present a construction for runtime monitors that check real-time properties expressed in timed linear temporal logic (TLTL) with 3-valued (true, false, inconclusive) semantics.
Runtime verification revisited
TL;DR: This paper defines a 3-valued semantics (true,false,conclusive) for LTL on finite traces that resembles the infinite trace semantics in a preferable manner and describes how to construct, given an LTL formula, a (deterministic) finite state machine with three output symbols that can be deployed for runtime verification.