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 × United Kingdom
2 × Germany
2 × USA
Collaborated with:
R.Bündgen H.Post A.Geser M.Friedrich G.Nusser C.Sinz W.Blochinger R.Schimkat S.Müller M.Göbel
Talks about:
parallel (2) applic (2) verif (2) sat (2) lightweight (1) implement (1) distribut (1) structur (1) fragment (1) mainten (1)

Person: Wolfgang Küchlin

DBLP DBLP: K=uuml=chlin:Wolfgang

Contributed to:

IFM 20072007
ICSM 20022002
SAT 20012001
SAC 20002000
FM-Trends 19981998
RTA 19951995
RTA 19891989

Wrote 7 papers:

IFM-2007-PostK #linux #static analysis #verification
Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
ICSM-2002-FriedrichNK #distributed #maintenance #mobile
Maintenance of Distributed Systems with Mobile Agents (MF, GN, WK), pp. 659–666.
SAT-2001-SinzBK #implementation #named #parallel
PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications (CS, WB, WK), pp. 205–216.
SAC-2000-SchimkatMK #lightweight #message passing
A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
FM-1998-GeserK #verification
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip (AG, WK), pp. 92–106.
RTA-1995-BundgenGK #parallel
Parallel ReDuX -> PaReDuX (RB, MG, WK), pp. 408–413.
Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.

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.