Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...