Carsten Ihlemann

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC (2011)
Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5 (4) (2011)
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
Automatic Verification of Parametric Specifications with Complex Topologies. IFM (2010)
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
Automatic Verification of Parametric Specifications with Complex Topologies CoRR (2010)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
On Hierarchical Reasoning in Combinations of Theories. IJCAR (2010)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
System Description: H-PILoT (Version 1.9) CoRR (2010)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
System Description: H-PILoT. CADE (2009)
Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
On Local Reasoning in Verification. TACAS (2008)
Viorica Sofronie-Stokkermans, Carsten Ihlemann
Automated Reasoning in Some Local Extensions of Ordered Structures. J. Multiple Valued Log. Soft Comput. 13 (4-6) (2007)
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures (2007)
Viorica Sofronie-Stokkermans, Carsten Ihlemann
Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL (2007)

Carsten Ihlemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Carsten Ihlemann