Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.VMCAI (1). 2024 S. 303 - 325
Sofronie-Stokkermans, Viorica
Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. On symbol elimination in theory extensions and applications to parametric verification.Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
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 EL, EL+arXiv. 2023 2307.08843
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 𝓔𝓛, 𝓔𝓛+29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Bd. LNCS 14132. Springer 2023 S. 419 - 437
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric Systems.CoRR. Bd. abs/2310.18069. 2023
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.CoRR. Bd. abs/2311.17860. 2023
Sofronie-Stokkermans, Viorica
XXVII Incontro di Logica (AILA 2022). On hierarchical symbol elimination and applicationshttps://www.ailalogica.it/incontro2022/abstracts/Sofronie-stokkermans.pdf. 2022 2 S.
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Special Issue of Selected Extended Papers of IJCAR 2020.J. Autom. Reason. Bd. 66. H. 3. 2022 S. 275 - 276
Böltz, Lucas; Frey, Hannes; Peuter, Dennis et al.
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).SOQE@KR. 2021 S. 37 - 45
Marohn, Philipp; Sofronie-Stokkermans, Viorica
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).SOQE@KR. 2021 S. 75 - 82
Peuter, Dennis; Sofronie-Stokkermans, Viorica
Symbol Elimination and Applications to Parametric Entailment ProblemsKonev, Boris ; Reger, Giles (Hrsg). Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings. Cham: Springer International Publishing AG 2021 S. 43 - 62 (Lecture Notes in Artificial Intelligence ; 12941)
Peuter, Dennis; Sofronie-Stokkermans, Viorica
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).SOQE@KR. 2021 S. 83 - 91
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).CoRR. Bd. abs/2107.02333. 2021
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part ICham: Springer 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 IICham: Springer 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+Borgwardt, Stefan ; Meyer, Thomas (Hrsg). Proceedings of the 33rd International Workshop on Description Logics (DL 2020). http://ceur-ws.org/Vol-2663/: CEUR-WS.org 2020 S. 1 - 21 (CEUR Workshop Proceedings) paper 18
S. Ribeiro, Jandson; Sofronie-Stokkermans, Viorica; Thimm, Matthias
Measuring Disagreement with Interpolants.SUM. 2020 S. 84 - 97
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisFundamenta Informaticae. Bd. 173. H. 1-2. 2020 S. 91 - 138
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems.CADE. 2019 S. 385 - 405
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems.CoRR. Bd. abs/1905.12524. 2019
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and Synthesis.CoRR. Bd. abs/1910.05208. 2019
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and Synthesis.LuxLogAI (Student / Workshop Papers). 2018 S. 1 - 8
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.Logical Methods in Computer Science. Bd. 14. H. 3. 2018
Sofronie-Stokkermans, Viorica
Working Formal Methods, 2nd International Workshop, FROM 2018, Proceedings. On Symbol Elimination in Theory Extensions and Applicationshttps://fmse.info.uaic.ro/wp-content/uploads/2021/07/proceedings.pdf. 2018 S. 10 - 19
Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with Measures.CADE. 2017 S. 166 - 184