Viorica Sofronie-Stokkermans

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