Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
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