Klaus Winkelmann

20 papers A 1C 2Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2006 — conf
Going Beyond Assertions.
MBMV
Klaus Winkelmann
2004 A conf
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor.
DATE
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
2004 — conf
Formale Verifikation eines Sonet/SDH Framers.
MBMV
Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann
2003 — conf
Cost-efficient Formal Block Verification for ASIC Design.
MBMV
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
2003 C conf
Formal Verification.
VLSI-SOC
Klaus Winkelmann
2001 J jnl
Formal Methods in Designing Embedded Systems-the SACRES Experience.
Formal Methods Syst. Des.
Klaus Winkelmann
1998 — conf
Controller synthesis for the "production cell" case study.
FMSP
Helmut Melcher, Klaus Winkelmann
1995 — ch.
CSL.
Formal Development of Reactive Systems
Klaus Nökel, Klaus Winkelmann
1994 — conf
Control Specification Language - CSL.
FTRTFT
Klaus Winkelmann, Klaus Nökel
1994 — conf
System Verification Environment - SVE.
FTRTFT
Klaus Winkelmann, Thomas Filkorn
1991 C conf
TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems.
DEXA
Hans Delfs, Klaus Winkelmann
1991 J jnl
Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91.
Künstliche Intell.
Klaus Winkelmann
1990 J jnl
Die Ausrichtung der Lufthansa- Inhouse-Systeme auf die Anforderungen der logistischen Dienstleister / Lufthansa Opens its Information Systems to the Requirements of its Logistics Partners.
it Inf. Technol.
Klaus Winkelmann
1990 J jnl
Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag.
Künstliche Intell.
Klaus Winkelmann
1990 J jnl
Zweite Konferenz "Innovative Applications of Artificial Intelligence".
Künstliche Intell.
Klaus Winkelmann
1989 J jnl
Conference on Innovative Applications of Artificial Intelligence.
Künstliche Intell.
Klaus Winkelmann
1989 J jnl
Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung.
Künstliche Intell.
Gabriele Schmiedel, Klaus Winkelmann
1988 J jnl
Bericht über die Fourth International Expert Systems Conference.
Künstliche Intell.
Klaus Winkelmann
1984 — —
Prozesskoordinierung durch Verwendung von Fortsetzungsbedingungen.
Klaus Winkelmann
1982 J jnl
An improved strategy for a counterfeit coin problem.
IEEE Trans. Inf. Theory
Klaus Winkelmann