BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Hungary
1 × United Kingdom
Collaborated with:
V.Sofronie-Stokkermans S.Jacobs J.Faber
Talks about:
reason (2) verif (2) parametr (1) hierarch (1) descript (1) topolog (1) complex (1) automat (1) theori (1) system (1)

Person: Carsten Ihlemann

DBLP DBLP: Ihlemann:Carsten

Contributed to:

IFM 20102010
IJCAR 20102010
CADE 20092009
TACAS 20082008

Wrote 4 papers:

IFM-2010-FaberIJS #automation #parametricity #specification #verification
Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
IJCAR-2010-IhlemannS #on the #reasoning
On Hierarchical Reasoning in Combinations of Theories (CI, VSS), pp. 30–45.
System Description: H-PILoT (CI, VSS), pp. 131–139.
TACAS-2008-IhlemannJS #on the #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.