Carsten Ihlemann

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