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: K=uuml=chlin:Wolfgang
Contributed to:
2007
2002
2001
2000
1998
19951989Wrote 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.
- RTA-1989-BundgenK
- Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.