Viorica Sofronie-Stokkermans

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Topics

Quantifier Elimination

Diagnostic Systems

Decision Procedures

Top Venues

Fundam. Informaticae

Publications

Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
On the Verification of the Correctness of a Subgraph Construction Algorithm. VMCAI (1) (2024)
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
. CoRR (2023)
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
On the Verification of the Correctness of a Subgraph Construction Algorithm. CoRR (2023)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
On the Verification of Parametric Systems. CoRR (2023)
Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert
. CADE (2023)
Nicolas Peltier, Viorica Sofronie-Stokkermans
Special Issue of Selected Extended Papers of IJCAR 2020. J. Autom. Reason. 66 (3) (2022)
Philipp Marohn, Viorica Sofronie-Stokkermans
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). SOQE@KR (2021)
Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). SOQE@KR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). SOQE@KR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Symbol Elimination and Applications to Parametric Entailment Problems. FroCoS (2021)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). CoRR (2021)
Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm
Measuring Disagreement with Interpolants. SUM (2020)
Dennis Peuter, Viorica Sofronie-Stokkermans
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. Description Logics (2020)
Viorica Sofronie-Stokkermans
Parametric Systems: Verification and Synthesis. Fundam. Informaticae 173 (2-3) (2020)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Invariant Synthesis for Parametric Systems. CADE (2019)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Invariant Synthesis for Parametric Systems. CoRR (2019)
Viorica Sofronie-Stokkermans
Parametric Systems: Verification and Synthesis. CoRR (2019)
Viorica Sofronie-Stokkermans
On Interpolation and Symbol Elimination in Theory Extensions. Log. Methods Comput. Sci. 14 (3) (2018)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Inductive Verification and Synthesis. LuxLogAI (Student / Workshop Papers) (2018)
Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports 7 (9) (2017)
Viorica Sofronie-Stokkermans
-ary Roles and Numerical Domains. Fundam. Informaticae 156 (3-4) (2017)
Markus Bender, Viorica Sofronie-Stokkermans
Decision Procedures for Theories of Sets with Measures. CADE (2017)
Viorica Sofronie-Stokkermans
On Interpolation and Symbol Elimination in Theory Extensions. CoRR (2017)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR (2016)
Viorica Sofronie-Stokkermans
On Interpolation and Symbol Elimination in Theory Extensions. IJCAR (2016)
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency (2015)
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
On First-Order Model-Based Reasoning. CoRR (2015)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos (2015)
Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5 (9) (2015)
Matthias Horbach, Viorica Sofronie-Stokkermans
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. IJCAR (2014)
Viorica Sofronie-Stokkermans
Hierarchical Reasoning in Local Theory Extensions and Applications. SYNASC (2014)
Viorica Sofronie-Stokkermans
Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions. CoRR (2013)
Viorica Sofronie-Stokkermans
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. CADE (2013)
Viorica Sofronie-Stokkermans
On Combinations of Local Theory Extensions. Programming Logics (2013)
Viorica Sofronie-Stokkermans
Locality and Applications to Subsumption Testing in EL and Some of its Extensions. Sci. Ann. Comput. Sci. 23 (2) (2013)
Matthias Horbach, Viorica Sofronie-Stokkermans
Obtaining Finite Local Theory Axiomatizations via Saturation. FroCos (2013)
Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Preface: Special Issue of Selected Extended Papers of CADE-23. J. Autom. Reason. 51 (1) (2013)
Nicolas Peltier, Viorica Sofronie-Stokkermans
First-order theorem proving: Foreword. J. Symb. Comput. 47 (9) (2012)
Francis Gasse, Viorica Sofronie-Stokkermans
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. Description Logics (2011)
Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC (2011)
Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5 (4) (2011)
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
Automatic Verification of Parametric Specifications with Complex Topologies. IFM (2010)
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
Automatic Verification of Parametric Specifications with Complex Topologies CoRR (2010)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
On Hierarchical Reasoning in Combinations of Theories. IJCAR (2010)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
System Description: H-PILoT (Version 1.9) CoRR (2010)
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
Constraint solving for interpolation. J. Symb. Comput. 45 (11) (2010)
Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45 (2) (2010)
Viorica Sofronie-Stokkermans
Hierarchical Reasoning for the Verification of Parametric Systems. IJCAR (2010)
Viorica Sofronie-Stokkermans
Locality Results for Certain Extensions of Theories with Bridging Functions. CADE (2009)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
System Description: H-PILoT. CADE (2009)
Nicolas Peltier, Viorica Sofronie-Stokkermans
Preface. FTP (2009)
Viorica Sofronie-Stokkermans
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. Interaction versus Automation: The two Faces of Deduction (2009)
Viorica Sofronie-Stokkermans
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. Electron. Notes Theor. Comput. Sci. 230 (2009)
Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
On Local Reasoning in Verification. TACAS (2008)
Viorica Sofronie-Stokkermans
Interpolation in Local Theory Extensions. Log. Methods Comput. Sci. 4 (4) (2008)
Viorica Sofronie-Stokkermans
Locality and Subsumption Testing in EL and Some of its Extensions. Description Logics (2008)
Viorica Sofronie-Stokkermans
Locality and subsumption testing in EL and some of its extensions. Advances in Modal Logic (2008)
Viorica Sofronie-Stokkermans
Efficient Hierarchical Reasoning about Functions over Numerical Domains. KI (2008)
Viorica Sofronie-Stokkermans
Sheaves and geometric logic and applications to the modular verification of complex systems CoRR (2008)
Viorica Sofronie-Stokkermans
Interpolation in local theory extensions CoRR (2008)
Viorica Sofronie-Stokkermans
On combinations of local theory extensions CoRR (2008)
Viorica Sofronie-Stokkermans
On unification for bounded distributive lattices. ACM Trans. Comput. Log. 8 (2) (2007)
Viorica Sofronie-Stokkermans
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. FroCoS (2007)
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
Constraint Solving for Interpolation. VMCAI (2007)
Viorica Sofronie-Stokkermans, Carsten Ihlemann
Automated Reasoning in Some Local Extensions of Ordered Structures. J. Multiple Valued Log. Soft Comput. 13 (4-6) (2007)
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM (2007)
Swen Jacobs, Viorica Sofronie-Stokkermans
Applications of Hierarchical Reasoning in the Verification of Complex Systems. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Viorica Sofronie-Stokkermans
Automated theorem proving by resolution in non-classical logics. Ann. Math. Artif. Intell. 49 (1-4) (2007)
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures (2007)
Viorica Sofronie-Stokkermans, Carsten Ihlemann
Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL (2007)
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
Modular proof systems for partial functions with Evans equality. Inf. Comput. 204 (10) (2006)
Viorica Sofronie-Stokkermans
Interpolation in Local Theory Extensions. IJCAR (2006)
Viorica Sofronie-Stokkermans
Hierarchic Reasoning in Local Theory Extensions. CADE (2005)
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
Modular Proof Systems for Partial Functions with Weak Equality. IJCAR (2004)
Viorica Sofronie-Stokkermans
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. ISMVL (2004)
Viorica Sofronie-Stokkermans
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. J. Symb. Comput. 36 (6) (2003)
Viorica Sofronie-Stokkermans
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. TABLEAUX (2002)
Viorica Sofronie-Stokkermans
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics. ISMVL (2001)
Harald Ganzinger, Viorica Sofronie-Stokkermans
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. ISMVL (2000)
Viorica Sofronie-Stokkermans
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Stud Logica 64 (1) (2000)
Viorica Sofronie-Stokkermans
On Unification for Bonded Distributive Lattices. CADE (2000)
Viorica Sofronie-Stokkermans
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Stud Logica 64 (2) (2000)
Viorica Sofronie-Stokkermans, Karel Stokkermans
Modeling Interaction by Sheaves and Geometric Logic. FCT (1999)
Viorica Sofronie-Stokkermans
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. CADE (1999)
Viorica Sofronie-Stokkermans
Representation Theorems and Theorem Proving in Non-Classical Logics. ISMVL (1999)
Viorica Sofronie-Stokkermans
-Logics. FTP (LNCS Selection) (1998)
Viorica Sofronie-Stokkermans
On Translation of Finitely-Valued Logics to Classical First-Order Logic. ECAI (1998)