67 citations · 116 across the 15 of their papers we have counts for
3 papers · 1 filter
On the Verification of the Correctness of a Subgraph Construction Algorithm
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges…
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…