Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisFundamenta Informaticae. Bd. 173. H. 2-3. Amsterdam: IOS Press 2020 S. 91 - 138
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and SynthesisChristoph Benzmüller; Xavier Parent; Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsPascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsLogical Methods in Computer Science. Bd. 14. H. 3. Braunschweig: University of Braunschweig 2018 S. 1 - 41
Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with MeasuresLeonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184
Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order LogicDagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46
Sofronie-Stokkermans, Viorica
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with n-ary Roles and Numerical DomainsFundamenta Informaticae. Bd. 156. H. 3-4. Amsterdam: IOS Press 2017 S. 361 - 411
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsNicola Olivetti; Ashish Tiwari (Hrsg). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 273 - 289
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataCarsten Lutz; Silvio Ranise (Hrsg). Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 186 - 202
Bjorner, Nikolaj; Blanchette, Jasmin Christian; Sofronie-Stokkermans, Viorica et al.
Information from Deduction: Models and ProofsDagstuhl Reports. Bd. 5. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015 S. 18 - 37