Gasse, Francis; Sofronie-Stokkermans, Viorica
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0.Description Logics. 2011
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.Mathematics in Computer Science. Bd. 5. H. 4. 2011 S. 469 - 497
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesCoRR. Bd. abs/1010.1602. 2010
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex Topologies.IFM. 2010 S. 152 - 167
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolation.J. Symb. Comput. Bd. 45. H. 11. 2010 S. 1212 - 1233
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric Systems.IJCAR. 2010 S. 171 - 187
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of Theories.IJCAR. 2010 S. 30 - 45
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractability.J. Symb. Comput. Bd. 45. H. 2. 2010 S. 151 - 152