Dennis Peuter

most citedOn the Verification of Parametric Systems

2 citations · 2 across the 2 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2023★ 2 cited

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…

cs.LO2023

On $P$ -Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $E L, E L^{+}$

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

We study the problem of $P$ -interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$ -interpola…

On the Verification of Parametric Systems

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL,EL+

On $P$ -Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $E L, E L^{+}$