Stephan Kleuker

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