Klaus Winkelmann

Publication Activity (10 Years)

Years Active: 1982-2006
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Klaus Winkelmann
Going Beyond Assertions. MBMV (2006)
Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann
Formale Verifikation eines Sonet/SDH Framers. MBMV (2004)
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor. DATE (2004)
Klaus Winkelmann
Formal Verification. VLSI-SOC (2003)
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
Cost-efficient Formal Block Verification for ASIC Design. MBMV (2003)
Klaus Winkelmann
Formal Methods in Designing Embedded Systems-the SACRES Experience. Formal Methods Syst. Des. 19 (1) (2001)
Helmut Melcher, Klaus Winkelmann
Controller synthesis for the "production cell" case study. FMSP (1998)
Klaus Winkelmann, Klaus Nökel
Control Specification Language - CSL. FTRTFT (1994)
Klaus Winkelmann, Thomas Filkorn
System Verification Environment - SVE. FTRTFT (1994)
Klaus Winkelmann
Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91. Künstliche Intell. 5 (4) (1991)
Hans Delfs, Klaus Winkelmann
TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems. DEXA (1991)
Klaus Winkelmann
Zweite Konferenz "Innovative Applications of Artificial Intelligence". Künstliche Intell. 4 (3) (1990)
Klaus Winkelmann
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. 32 (5) (1990)
Klaus Winkelmann
Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag. Künstliche Intell. 4 (3) (1990)
Klaus Winkelmann
Conference on Innovative Applications of Artificial Intelligence. Künstliche Intell. 3 (3) (1989)
Gabriele Schmiedel, Klaus Winkelmann
Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung. Künstliche Intell. 3 (3) (1989)
Klaus Winkelmann
Bericht über die Fourth International Expert Systems Conference. Künstliche Intell. 2 (4) (1988)
Klaus Winkelmann
An improved strategy for a counterfeit coin problem. IEEE Trans. Inf. Theory 28 (1) (1982)

Klaus Winkelmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Klaus Winkelmann