Carsten Ihlemann

	2011
12		Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans: Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC 2011: 73-82
11		Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans: PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Mathematics in Computer Science 5(4): 469-497 (2011)
	2010
10		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167
9		Carsten Ihlemann, Viorica Sofronie-Stokkermans: On Hierarchical Reasoning in Combinations of Theories. IJCAR 2010: 30-45
8		Carsten Ihlemann, Viorica Sofronie-Stokkermans: System Description: H-PILoT (Version 1.9) CoRR abs/1009.0673: (2010)
7		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies CoRR abs/1010.1602: (2010)
6		Carsten Ihlemann: Reasoning in combinations of theories. Saarland University 2010
	2009
5		Carsten Ihlemann, Viorica Sofronie-Stokkermans: System Description: H-PILoT. CADE 2009: 131-139
	2008
4		Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: On Local Reasoning in Verification. TACAS 2008: 265-281
	2007
3		Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007
2		Viorica Sofronie-Stokkermans, Carsten Ihlemann: Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL 2007: 1
1		Viorica Sofronie-Stokkermans, Carsten Ihlemann: Automated Reasoning in Some Local Extensions of Ordered Structures. Multiple-Valued Logic and Soft Computing 13(4-6): 397-414 (2007)

Coauthor Index

1	Werner Damm	[11] [12]
2	Johannes Faber	[7] [10]
3	Swen Jacobs	[3] [4] [7] [10]
4	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page