Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. - Viorica Sofronie-Stokkermans; Carsten Ihlemann; Swen Jacobs (Deduction and Decision Procedures, 2007)

Automated Reasoning in Some Local Extensions of Ordered Structures. - Viorica Sofronie-Stokkermans; Carsten Ihlemann (J. Multiple Valued Log. Soft Comput., 2007)

On Local Reasoning in Verification. - Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (TACAS, 2008)

System Description: H-PILoT. - Carsten Ihlemann; Viorica Sofronie-Stokkermans (CADE, 2009)

On Hierarchical Reasoning in Combinations of Theories. - Carsten Ihlemann; Viorica Sofronie-Stokkermans (IJCAR, 2010)

Automatic Verification of Parametric Specifications with Complex Topologies. - Johannes Faber; Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2010)

System Description: H-PILoT (Version 1.9) - Carsten Ihlemann; Viorica Sofronie-Stokkermans (CoRR, 2010)

Reasoning in combinations of theories. - Carsten Ihlemann (2010)

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. - Werner Damm; Carsten Ihlemann; Viorica Sofronie-Stokkermans (HSCC, 2011)

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. - Werner Damm; Carsten Ihlemann; Viorica Sofronie-Stokkermans (Math. Comput. Sci., 2011)