26 citations · 71 across the 22 of their papers we have counts for
4 papers · 1 filter
LTL Semantic Tableaux and Alternating -automata via Linear Factors
Martin Sulzmann, Peter Thiemann
Linear Temporal Logic (LTL) is a widely used specification framework for linear time properties of systems. The standard approach for verifying such properties is by transforming L…
A Computational Interpretation of Context-Free Expressions
Martin Sulzmann, Peter Thiemann
We phrase parsing with context-free expressions as a type inhabitation problem where values are parse trees and types are context-free expressions. We first show how containment am…
Static Contract Simplification
Matthias Keil, Peter Thiemann
Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a signific…
Transaction-based Sandboxing for JavaScript
Matthias Keil, Peter Thiemann
Today's JavaScript applications are composed of scripts from different origins that are loaded at run time. As not all of these origins are equally trusted, the execution of these…