Case Study: Stepwise Development of a Communication Processor Using Trace Logic. - Stephan Kleuker (Semantics of Specification Languages, 1993)

A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. - Stephan Kleuker (TAPSOFT, 1995)

The Incremental Development of Correct Specifications for Distributed Systems. - Stephan Kleuker; Hermann Tjabben (FME, 1996)

Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. - Stephan Kleuker (FORTE, 1996)

Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. - Stephan Kleuker (FBT, 1997)

Formalizing Requirements for Distributed Systems with Trace Diagrams. - Stephan Kleuker (FME, 1997)

Incremental Development of Deadlock-Free Communicating Systems. - Stephan Kleuker (TACAS, 1997)

Beweisbar korrekte Telekommunikationssysteme. - Clemens Fischer; Stephan Kleuker; Ernst-Rüdiger Olderog (Informationstechnik Tech. Inform., 1997)

Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. - Stephan Kleuker (1997)

Reengineering of Distributed Systems Using Formal Methods. - Stephan Kleuker (CSMR, 1998)

Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung. - Stephan Kleuker (SEUH, 2009)

From business modeling to verified applications. - Christian Ammann; Stephan Kleuker; Elke Pulvermüller (GI-Jahrestagung, 2011)

Vier Jahre Software-Engineering-Projekte im Bachelor - ein Statusbericht. - Stephan Kleuker; Frank M. Thiesing (SEUH, 2011)

Kontinuierliche Prozessverbesserung durch Testautomatisierung. - Andre Heidt; Stephan Kleuker (Nachhaltiges Software Management, 2012)

Programmiergrundausbildung: Erfahrungen von drei Hochschulen. - Stephan Kleuker (SEUH, 2013)

Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung. - Jan Düttmann; Stephan Kleuker (Software Engineering & Management, 2015)