SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). - Philipp Marohn; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2021)

On the Verification of Parametric Systems. - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2023)

On verification and constraint generation for families of similar hybrid automata. - Viorica Sofronie-Stokkermans; Philipp Marohn (CoRR, 2025)