Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid AutomataEmilio Frazzoli; Radu Grosu (Hrsg). Proceedings of the 2011 ACM/SIGBED: Hybrid Systems: Computation and Control HSCC 2001; April 12–14, 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 73 - 82
Gasse, Francis; Sofronie-Stokkermans, Viorica
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0Riccardo Rosati; Sebastian Rudolph; Michael Zakharyaschev (Hrsg). Proccedings of the 24th International Workshop on Description Logics DL 2011; Barcelona, Spain; July 13-16, 2011. Aachen: CEUR/RWTH 2011 S. 125 - 135
Tinelli, Cesare; Sofronie-Stokkermans, Viorica
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. ProceedingsBerlin: Springer 2011
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid AutomataMathematics in Computer Science. Bd. 5. H. 4. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2011 S. 469 - 497
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesDominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolationJournal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric SystemsJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 171 - 187
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of TheoriesJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 30 - 45
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.CEUR-WS.org 2010
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractabilityJournal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152