3 citations · 5 across the 5 of their papers we have counts for
11 papers · 1 filter
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)
Viorica Sofronie-Stokkermans
Let be a theory allowing a form of elimination of existential quantifiers (possibly for formulae in a certain class). We analyze possibilities of constructing (most gene…
On Symbol Elimination and Uniform Interpolation in Theory Extensions
Viorica Sofronie-Stokkermans
We define a notion of general uniform interpolant, generalizing the notions of cover and of uniform interpolant and identify situations in which symbol elimination can be used for…
On verification and constraint generation for families of similar hybrid automata
Viorica Sofronie-Stokkermans, Philipp Marohn
In this paper we give an overview of results on the analysis of parametric linear hybrid automata, and of systems of similar linear hybrid automata: We present possibilities of des…
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…