3 citations · 5 across the 3 of their papers we have counts for
4 papers · 1 filter
On the Verification of Parametric Systems
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
We present an approach to the verification of systems for whose description some elements - constants or functions - are underspecified and can be regarded as parameters, and, in p…
On -Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
We study the problem of -interpolation, where is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the -interpola…
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obta…
On Invariant Synthesis for Parametric Systems
Dennis Peuter, Viorica Sofronie-Stokkermans
We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a metho…