• Publications
  • Influence
Towards the automated verification of semi-structured documents
The semantic consistency of context-dependent documents is an important problem in the fields of document databases and web information systems. While techniques for adapting documents to differentExpand
  • 17
  • 2
Software model checking for distributed systems with selector-based, non-blocking communication
Many modern software systems are implemented as client/server architectures, where a server handles multiple clients concurrently. Testing does not cover the outcomes of all possible thread andExpand
  • 18
  • 1
Context Aware Reuse of Learning Resources
We propose a methodology for the reuse of contextualized learning content. The current reuse methodology requires context independent learning content and introduces a reuse paradox: "the mostExpand
  • 15
  • 1
Software Model Checking of UDP-based Distributed Applications
We extend exhaustive verification of networked applications to applications using the User Datagram Protocol (UDP). UDP maximizes performance by omitting flow control and connection handling.Expand
  • 10
  • 1
Document verification with temporal description logics
  • Franz Weitl
  • Computer Science
  • Ausgezeichnete Informatikdissertationen
  • 2007
The subject of this thesis is checking the content consistency of web documents along reading paths. Web documents are typically not read linearly but by following different alternative paths throughExpand
  • 13
  • 1
Checking Semantic Integrity Constraints on Integrated Web Documents
A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism we define CTL \({_\mathcalExpand
  • 7
Structured Counterexamples for the Temporal Description Logic ALCCTL
A new algorithm for generating counterexamples for the temporal description logic ALCCTL is presented. ALCCTL is a decidable combination of the description logic ALC and computation tree logic CTL.Expand
  • 7
Logic-based verification of technical documentation
Checking the content coherence of digital documents is the purpose of the Verdikt system which can be applied to different domains and document types including technical documentation, e-learningExpand
  • 7
Checking Content Consistency of Integrated Web Documents
A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTL$$_{\cal {DL}}$$ isExpand
  • 3