Klaus Winkelmann

According to our database, Klaus Winkelmann authored at least 20 papers between 1982 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Going Beyond Assertions.

Klaus Winkelmann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2004

Formale Verifikation eines Sonet/SDH Framers.

Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor.

Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey

Proceedings of the 2004 Design, 2004

2003

Formal Verification.

Klaus Winkelmann

Proceedings of the IFIP VLSI-SoC 2003, 2003

Cost-efficient Formal Block Verification for ASIC Design.

Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

2001

Formal Methods in Designing Embedded Systems-the SACRES Experience.

Klaus Winkelmann

Formal Methods Syst. Des., 2001

1998

Controller synthesis for the "production cell" case study.

Helmut Melcher, Klaus Winkelmann

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1995

CSL.

Klaus Nökel, Klaus Winkelmann

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994

Control Specification Language - CSL.

Klaus Winkelmann, Klaus Nökel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

System Verification Environment - SVE.

Klaus Winkelmann, Thomas Filkorn

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1991

Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91.

Klaus Winkelmann

Künstliche Intell., 1991

TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems.

Hans Delfs, Klaus Winkelmann

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

1990

Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag.

Klaus Winkelmann

Künstliche Intell., 1990

Zweite Konferenz "Innovative Applications of Artificial Intelligence".

Klaus Winkelmann

Künstliche Intell., 1990

Die Ausrichtung der Lufthansa- Inhouse-Systeme auf die Anforderungen der logistischen Dienstleister / Lufthansa Opens its Information Systems to the Requirements of its Logistics Partners.

Klaus Winkelmann

it Inf. Technol., 1990

1989

Conference on Innovative Applications of Artificial Intelligence.

Klaus Winkelmann

Künstliche Intell., 1989

Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung.

Gabriele Schmiedel, Klaus Winkelmann

Künstliche Intell., 1989

1988

Bericht über die Fourth International Expert Systems Conference.

Klaus Winkelmann

Künstliche Intell., 1988

1984

Prozesskoordinierung durch Verwendung von Fortsetzungsbedingungen.

Klaus Winkelmann

PhD thesis, 1984

1982

An improved strategy for a counterfeit coin problem.

Klaus Winkelmann

IEEE Trans. Inf. Theory, 1982