 | 2009 |
|---|
| 56 |       | Hendrik Post,
Carsten Sinz,
Wolfgang Küchlin:
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.
Softw. Test., Verif. Reliab. 19(2): 155-172 (2009) |
| 2008 |
|---|
| 55 | | Eray Gencay,
Carsten Sinz,
Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs.
NOMS 2008: 755-758 |
| 2007 |
|---|
| 54 | | Hendrik Post,
Wolfgang Küchlin:
Integrated Static Analysis for Linux Device Driver Verification.
IFM 2007: 518-537 |
| 53 | | Eray Gencay,
Wolfgang Küchlin,
Thorsten Schafer:
SANchk: An SQL-Based Validation System for SAN Confiuration.
Integrated Network Management 2007: 333-342 |
| 2006 |
|---|
| 52 | | Carsten Sinz,
Wolfgang Küchlin,
Dieter Feichtinger,
Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals.
J. Autom. Reasoning 37(1-2): 45-66 (2006) |
| 2005 |
|---|
| 51 | | Wolfgang Blochinger,
W. Westje,
Wolfgang Küchlin,
Sebastian Wedeniwski:
ZetaSAT - Boolean SATisfiability solving on Desktop Grids.
CCGRID 2005: 1079-1086 |
| 50 |  | Michael Grossmann,
Wolfgang Küchlin:
MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften.
DeLFI 2005: 201-212 |
| 2004 |
|---|
| 49 | | Carsten Sinz,
Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.
ICFEM 2004: 391-402 |
| 48 | | Michael Friedrich,
Kirsten Terfloth,
Gerd Nusser,
Wolfgang Küchlin:
Mobile Agents: A Construction Kit for Mobile Device Applications.
International Conference on Internet Computing 2004: 186-194 |
| 47 | | Carsten Sinz,
Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
SAT 2004 |
| 2003 |
|---|
| 46 | | Wolfgang Blochinger,
Wolfgang Küchlin:
The Design of an API for Strict Multithreading in C++.
Euro-Par 2003: 722-731 |
| 45 | | Wolfgang Blochinger,
Carsten Sinz,
Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel.
PDPTA 2003: 1720-1725 |
| 44 | | Carsten Sinz,
Amir Khosravizadeh,
Wolfgang Küchlin,
Viktor Mihajlovski:
Verifying CIM Models of Apache Web-Server Configurations.
QSIC 2003: 290-297 |
| 43 | | Carsten Sinz,
Andreas Kaiser,
Wolfgang Küchlin:
Formal methods for the validation of automotive product configuration data.
AI EDAM 17(1): 75-97 (2003) |
| 42 | | Wolfgang Blochinger,
Carsten Sinz,
Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning.
Parallel Computing 29(7): 969-994 (2003) |
| 2002 |
|---|
| 41 | | Ralf-Dieter Schimkat,
Wolfgang Küchlin:
Living Documents - Micro Servers for Documents.
EDBT Workshops 2002: 512-525 |
| 40 | | Michael Friedrich,
Gerd Nusser,
Wolfgang Küchlin:
Maintenance of Distributed Systems with Mobile Agents.
ICSM 2002: 659-666 |
| 39 | | Ralf-Dieter Schimkat,
Wolfgang Küchlin,
Frank Nestel:
Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information.
IICS 2002: 1-14 |
| 38 | | Carsten Sinz,
Thomas Lumpp,
Jürgen M. Schneider,
Wolfgang Küchlin:
Detection of dynamic execution errors in IBM system automation's rule-based expert system.
Information & Software Technology 44(14): 857-873 (2002) |
| 2001 |
|---|
| 37 | | Carsten Sinz,
Wolfgang Küchlin,
Thomas Lumpp:
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.
APAQS 2001: 367-374 |
| 36 | | Ralf-Dieter Schimkat,
Michael Friedrich,
Wolfgang Küchlin:
Deploying Distributed State Information in Mobile Agent Systems.
CoopIS 2001: 80-94 |
| 35 | | Carsten Sinz,
Andreas Kaiser,
Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.
FLAIRS Conference 2001: 645-649 |
| 34 | | Dieter Bühler,
Wolfgang Küchlin:
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection.
IEA/AIE 2001: 175-186 |
| 33 | | Andreas Kaiser,
Wolfgang Küchlin:
Automotive Product Documentation.
IEA/AIE 2001: 465-475 |
| 32 | | Dieter Bühler,
Wolfgang Küchlin,
Gerd Nusser,
Gerhard Gruhler:
The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices.
ISORC 2001: 153- |
| 31 | | Carsten Sinz,
Jörg Denzinger,
Jürgen Avenhaus,
Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction.
PPAM 2001: 819-832 |
| 30 | | Carsten Sinz,
Wolfgang Blochinger,
Wolfgang Küchlin:
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications.
Electronic Notes in Discrete Mathematics 9: 205-216 (2001) |
| 2000 |
|---|
| 29 | | Dieter Bühler,
Wolfgang Küchlin,
Gerhard Gruhler,
Gerd Nusser:
The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts.
ECBS 2000: 156-164 |
| 28 | | Ralf-Dieter Schimkat,
Wolfgang Blochinger,
Carsten Sinz,
Michael Friedrich,
Wolfgang Küchlin:
A Service-Based Agent Framework for Distributed Symbolic Computation.
HPCN Europe 2000: 644-656 |
| 27 | | Ralf-Dieter Schimkat,
Stefan Müller,
Wolfgang Küchlin:
A Lightweight, Message-Oriented Application Server for the WWW.
SAC (2) 2000: 934-941 |
| 26 | | Wolfgang Küchlin,
Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management.
J. Autom. Reasoning 24(1/2): 145-163 (2000) |
| 1998 |
|---|
| 25 | | Alfons Geser,
Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 1998: 92-106 |
| 24 | | Wolfgang Blochinger,
Wolfgang Küchlin,
Andreas Weber:
The Distributed Object-Oriented Threads System DOTS.
IRREGULAR 1998: 206-217 |
| 23 | | Andreas Weber,
Wolfgang Küchlin,
Bernhard Eggers:
Parallel Computer Algebra Software as a Web Component.
Concurrency - Practice and Experience 10(11-13): 1179-1188 (1998) |
| 1997 |
|---|
| 22 | | Wolfgang Küchlin,
Gerhard Gruhler,
Andreas Speck,
Thomas Lumpp:
HighRobot: Distributed Objekt-Oriented Real-Time Systems.
ARCS 1997: 95-104 |
| 21 | | Wolfgang Küchlin,
Gerhard Gruhler,
Thomas Lumpp,
Andreas Speck:
HighRobot: a high-performance universal robot control on parallel workstations.
ECBS 1997: 444-451 |
| 20 | | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
On the Walk.
Theor. Comput. Sci. 187(1-2): 179-202 (1997) |
| 1996 |
|---|
| 19 | | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
Walking Faster.
DISCO 1996: 150-161 |
| 18 | | Reinhard Bündgen,
Manfred Göbel,
Wolfgang Küchlin:
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.
DISCO 1996: 183-194 |
| 17 | | Reinhard Bündgen,
Wolfgang Küchlin,
Werner Lauterbach:
Verification of the Sparrow Processor.
ECBS 1996: 86- |
| 16 | | Beatrice Amrhein,
Oliver Gloor,
Wolfgang Küchlin:
A Case Study of Multi-Threaded Gröbner Basis Completion.
ISSAC 1996: 95-102 |
| 15 | | Reinhard Bündgen,
Manfred Göbel,
Wolfgang Küchlin:
Strategy Compliant Multi-Threaded Term Completion.
J. Symb. Comput. 21(4): 475-505 (1996) |
| 1995 |
|---|
| 14 | | Till Bubeck,
M. Hiller,
Wolfgang Küchlin,
Wolfgang Rosenstiel:
Distributed Symbolic Computation with DTS.
IRREGULAR 1995: 231-248 |
| 13 | | Reinhard Bündgen,
Manfred Göbel,
Wolfgang Küchlin:
Parallel ReDuX -> PaReDuX.
RTA 1995: 408-413 |
| 1994 |
|---|
| 12 | | Reinhard Bündgen,
Manfred Göbel,
Wolfgang Küchlin:
A Fine-Grained Parallel Completion Procedure.
ISSAC 1994: 269-277 |
| 1992 |
|---|
| 11 | | Wolfgang Küchlin,
Jeffrey A. Ward:
Experiments with Virtual C Threads.
SPDP 1992: 50-55 |
| 1991 |
|---|
| 10 | | Wolfgang Küchlin,
David Lutz,
Nicholas Nevin:
Integer Multiplication in PARSAC-2 on Stock Microprocessors.
AAECC 1991: 206-217 |
| 9 | | Wolfgang Küchlin:
On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors.
ACPC 1991: 369-384 |
| 8 | | Wolfgang Küchlin:
A space-efficient parallel garbage compaction algorithm.
ICS 1991: 40-46 |
| 7 | | Wolfgang Küchlin:
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors.
ISSAC 1991: 333-342 |
| 1990 |
|---|
| 6 | | Wolfgang Küchlin:
PARSAC-2: A Parallel SAC-2 Based on Threads.
AAECC 1990: 341-353 |
| 5 | | Wolfgang Küchlin:
The S-Threads Environment for Parallel Symbolic Computation.
CAP 1990: 1-18 |
| 4 | | George E. Collins,
Jeremy R. Johnson,
Wolfgang Küchlin:
Parallel Real Root Isolation Using the Coefficient Sign Variation Method.
CAP 1990: 71-87 |
| 1989 |
|---|
| 3 | | Reinhard Bündgen,
Wolfgang Küchlin:
Computing Ground Reducability and Inductively Complete Positions.
RTA 1989: 59-75 |
| 1985 |
|---|
| 2 | | Wolfgang Küchlin:
A Confluence Criterion Based on the Generalised Neman Lemma.
European Conference on Computer Algebra (2) 1985: 390-399 |
| 1982 |
|---|
| 1 | | Wolfgang Küchlin:
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm.
EUROCAM 1982: 101-108 |
