Stephan Kleuker

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Jan Düttmann, Stephan Kleuker
Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung. Software Engineering & Management (2015)
Stephan Kleuker
Programmiergrundausbildung: Erfahrungen von drei Hochschulen. SEUH (2013)
Andre Heidt, Stephan Kleuker
Kontinuierliche Prozessverbesserung durch Testautomatisierung. Nachhaltiges Software Management (2012)
Christian Ammann, Stephan Kleuker, Elke Pulvermüller
From business modeling to verified applications. GI-Jahrestagung (2011)
Stephan Kleuker, Frank M. Thiesing
Vier Jahre Software-Engineering-Projekte im Bachelor - ein Statusbericht. SEUH (2011)
Stephan Kleuker
Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung. SEUH (2009)
Stephan Kleuker
Reengineering of Distributed Systems Using Formal Methods. CSMR (1998)
Stephan Kleuker
Incremental Development of Deadlock-Free Communicating Systems. TACAS (1997)
Stephan Kleuker
Formalizing Requirements for Distributed Systems with Trace Diagrams. FME (1997)
Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog
Beweisbar korrekte Telekommunikationssysteme. Informationstechnik Tech. Inform. 39 (3) (1997)
Stephan Kleuker
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. FBT (1997)
Stephan Kleuker
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. FORTE (1996)
Stephan Kleuker, Hermann Tjabben
The Incremental Development of Correct Specifications for Distributed Systems. FME (1996)
Stephan Kleuker
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. TAPSOFT (1995)
Stephan Kleuker
Case Study: Stepwise Development of a Communication Processor Using Trace Logic. Semantics of Specification Languages (1993)

Stephan Kleuker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Stephan Kleuker