Viorica Sofronie-Stokkermans

most citedOn the Verification of Parametric Systems

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

collaborators

3 papers

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…

cs.LO2010

System Description: H-PILoT (Version 1.9)

Carsten Ihlemann, Viorica Sofronie-Stokkermans

This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of lo…

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+

System Description: H-PILoT (Version 1.9)

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