Carsten Ihlemann

According to our database, Carsten Ihlemann authored at least 10 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans

Math. Comput. Sci., 2011

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Reasoning in combinations of theories.

Carsten Ihlemann

PhD thesis, 2010

System Description: H-PILoT (Version 1.9)

Carsten Ihlemann, Viorica Sofronie-Stokkermans

CoRR, 2010

Automatic Verification of Parametric Specifications with Complex Topologies.

Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

On Hierarchical Reasoning in Combinations of Theories.

Carsten Ihlemann, Viorica Sofronie-Stokkermans

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

System Description: H-PILoT.

Carsten Ihlemann, Viorica Sofronie-Stokkermans

Proceedings of the Automated Deduction, 2009

2008

On Local Reasoning in Verification.

Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Automated Reasoning in Some Local Extensions of Ordered Structures.

Viorica Sofronie-Stokkermans, Carsten Ihlemann

J. Multiple Valued Log. Soft Comput., 2007

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.

Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007