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
Christian Blanchette, Jasmin; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.CoRR. Bd. abs/1702.06620. 2017
Sofronie-Stokkermans, Viorica
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.CoRR. Bd. abs/1601.01648. 2016
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.IJCAR. 2016 S. 273 - 289
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.FroCos. 2015 S. 186 - 202
Bjørner, Nikolaj; Christian Blanchette, Jasmin; Sofronie-Stokkermans, Viorica et al.
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).Dagstuhl Reports. Bd. 5. H. 9. 2015 S. 18 - 37
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.Logic, Rewriting, and Concurrency. 2015 S. 181 - 204
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.CoRR. Bd. abs/1502.02535. 2015
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and Applications.SYNASC. 2014 S. 34 - 41
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.IJCAR. 2014 S. 192 - 207
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.CADE. 2013 S. 360 - 376
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions.CoRR. Bd. abs/1311.2973. 2013
Sofronie-Stokkermans, Viorica
Locality and Applications to Subsumption Testing in EL and Some of its Extensions.Sci. Ann. Comp. Sci. Bd. 23. H. 2. 2013 S. 251 - 284
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via Saturation.FroCos. 2013 S. 198 - 213
Sofronie-Stokkermans, Viorica
On Combinations of Local Theory Extensions.Programming Logics. 2013 S. 392 - 413
Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Preface: Special Issue of Selected Extended Papers of CADE-23.J. Autom. Reasoning. Bd. 51. H. 1. 2013 S. 1 - 2
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
First-order theorem proving: Foreword.J. Symb. Comput. Bd. 47. H. 9. 2012 S. 1009 - 1010
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.HSCC. 2011 S. 73 - 82
Gasse, Francis; Sofronie-Stokkermans, Viorica
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0.Description Logics. 2011
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.Mathematics in Computer Science. Bd. 5. H. 4. 2011 S. 469 - 497
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesCoRR. Bd. abs/1010.1602. 2010
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex Topologies.IFM. 2010 S. 152 - 167
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolation.J. Symb. Comput. Bd. 45. H. 11. 2010 S. 1212 - 1233
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric Systems.IJCAR. 2010 S. 171 - 187
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of Theories.IJCAR. 2010 S. 30 - 45
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractability.J. Symb. Comput. Bd. 45. H. 2. 2010 S. 151 - 152
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)CoRR. Bd. abs/1009.0673. 2010
Sofronie-Stokkermans, Viorica
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.Interaction versus Automation: The two Faces of Deduction. 2009
Sofronie-Stokkermans, Viorica
Locality Results for Certain Extensions of Theories with Bridging Functions.CADE. 2009 S. 67 - 83
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Preface.FTP. 2009
Sofronie-Stokkermans, Viorica
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.Electr. Notes Theor. Comput. Sci. Bd. 230. 2009 S. 161 - 187
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT.CADE. 2009 S. 131 - 139
Sofronie-Stokkermans, Viorica
Efficient Hierarchical Reasoning about Functions over Numerical Domains.KI. 2008 S. 135 - 143
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsCoRR. Bd. abs/0806.4553. 2008
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory Extensions.Logical Methods in Computer Science. Bd. 4. H. 4. 2008
Sofronie-Stokkermans, Viorica
Locality and Subsumption Testing in EL and Some of its Extensions.Description Logics. 2008
Sofronie-Stokkermans, Viorica
Locality and subsumption testing in EL and some of its extensions.Advances in Modal Logic. 2008 S. 315 - 339
Ihlemann, Carsten; Jacobs, Swen; Sofronie-Stokkermans, Viorica
On Local Reasoning in Verification.TACAS. 2008 S. 265 - 281
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsCoRR. Bd. abs/0810.2877. 2008
Jacobs, Swen; Sofronie-Stokkermans, Viorica
Applications of Hierarchical Reasoning in the Verification of Complex Systems.Electr. Notes Theor. Comput. Sci. Bd. 174. H. 8. 2007 S. 39 - 54
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered Structures.Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. 2007 S. 397 - 414
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered Structures.ISMVL. 2007 S. 1
Sofronie-Stokkermans, Viorica
Automated theorem proving by resolution in non-classical logics.Ann. Math. Artif. Intell. Bd. 49. H. 1-4. 2007 S. 221 - 252
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for Interpolation.VMCAI. 2007 S. 346 - 362
Sofronie-Stokkermans, Viorica
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.FroCoS. 2007 S. 47 - 71
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.Deduction and Decision Procedures. 2007
Sofronie-Stokkermans, Viorica
On unification for bounded distributive lattices.ACM Trans. Comput. Log. Bd. 8. H. 2. 2007 S. 12
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.IFM. 2007 S. 233 - 252
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory Extensions.IJCAR. 2006 S. 235 - 250
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equality.Inf. Comput. Bd. 204. H. 10. 2006 S. 1453 - 1492
Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory Extensions.CADE. 2005 S. 219 - 234
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak Equality.IJCAR. 2004 S. 168 - 182
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.ISMVL. 2004 S. 32 - 37
Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators.J. Symb. Comput. Bd. 36. H. 6. 2003 S. 891 - 924
Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.TABLEAUX. 2002 S. 235 - 250
Sofronie-Stokkermans, Viorica
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics.ISMVL. 2001 S. 125 - 136
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.ISMVL. 2000 S. 337 - 344
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.Studia Logica. Bd. 64. H. 1. 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Studia Logica. Bd. 64. H. 2. 2000 S. 151 - 172
Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive Lattices.CADE. 2000 S. 465 - 481
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling Interaction by Sheaves and Geometric Logic.FCT. 1999 S. 512 - 523
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.CADE. 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical Logics.ISMVL. 1999 S. 242 - 247
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order Logic.ECAI. 1998 S. 410 - 411
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for -Logics.FTP (LNCS Selection). 1998 S. 267 - 281
Sofronie, Viorica
Towards a Sheaf Semantics for Cooperating Agents Scenarios.AISMC. 1996 S. 289 - 304
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equations.Bulletin of the EATCS. Bd. 37. 1989 S. 181 - 185