Dennis Peuter

14 papers A 2Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
On the Verification of Parametric Systems.
Engineering Safe and Trustworthy Cyber Physical Systems
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
2025 — conf
On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement.
NMR
Matthias Thimm, Jandson S. Ribeiro, Dennis Peuter, Viorica Sofronie-Stokkermans
2024 — —
Applications for Symbol Elimination in Combination with Hierarchical Reasoning.
Dennis Peuter
2023 A conf
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics
CADE
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
2023 J jnl
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛
CoRR
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
2023 J jnl
On the Verification of Parametric Systems.
CoRR
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
2021 — conf
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).
SOQE@KR
Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans
2021 — conf
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).
SOQE@KR
Dennis Peuter, Viorica Sofronie-Stokkermans
2021 — conf
Symbol Elimination and Applications to Parametric Entailment Problems.
FroCoS
Dennis Peuter, Viorica Sofronie-Stokkermans
2021 J jnl
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).
CoRR
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
2020 — conf
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+.
Description Logics
Dennis Peuter, Viorica Sofronie-Stokkermans
2019 A conf
On Invariant Synthesis for Parametric Systems.
CADE
Dennis Peuter, Viorica Sofronie-Stokkermans
2019 J jnl
On Invariant Synthesis for Parametric Systems.
CoRR
Dennis Peuter, Viorica Sofronie-Stokkermans
2018 — conf
On Inductive Verification and Synthesis.
LuxLogAI (Student / Workshop Papers)
Dennis Peuter, Viorica Sofronie-Stokkermans