Sofronie-Stokkermans, Viorica; Marohn, Philipp
On verification and constraint generation for families of similar hybrid automata33 S.
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric SystemsMartin Fränzle; Jürgen Niehaus; Bernd Westphal (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday. Cham: Springer Nature Switzerland 2026 S. 201 - 221
Thimm, Matthias; Ribeiro, Jandson S.; Peuter, Dennis et al.
On Minimal Inconsistent Signatures and their Application to Inconsistency MeasurementAnna Rapberger; Sebastian Rudolph (Hrsg). NMR 2025 Non-Monotonic Reasoning 2025 : Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Aachen: CEUR/RWTH 2025 S. 267 - 280
Peuter, Dennis
Applications for Symbol Elimination in Combination with Hierarchical ReasoningKoblenz: Universität Koblenz 2024 180 S.
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction AlgorithmRayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Σι, Σι+Brigitte Pientka; Cesare Tinelli (Hrsg). Automated Deduction CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature Switzerland 2023 S. 419 - 437
Sofronie-Stokkermans, Viorica
On symbol elimination in theory extensions and applications to parametric verificationUniversità degli Studi di Milano (Hrsg). Book of Abstracts : Logic Colloquium 2023 European Summer Meeting of the Association for Symbolic Logic : University of Milan, Italy, 5—9 June 2023. Mailand: Università degli Studi di Milano 2023 S. 9
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part IGorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 (Lecture Notes in Computer Science ; 12166)
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part IIGorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 (Lecture Notes in Computer Science ; 12167)
Sofronie-Stokkermans, Viorica; Peuter, Dennis
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+Stefan Borgwardt; Thomas Meyer (Hrsg). Proceedings of the 33rd International Workshop on Description Logics DL 2020 co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning KR 2020; Online, September 12th to 14th, 2020. Aachen: CEUR/RWTH 2020 S. 1 - 21 (CEUR Workshop Proceedings) paper 18