Bücher

• [Kle06] S. Kleuker, Grundkurs Datenbankentwicklung, Vieweg, Wiesbaden, 2006
• [Kle08] S. Kleuker, Grundkurs Software-Engineering mit UML, Vieweg+Teubner, Wiesbaden, 2008
• [Kle09a] S. Kleuker, Formale Modelle der Softwareentwicklung, Vieweg+Teubner, Wiesbaden, 2009
• [Kle11a] S. Kleuker, Grundkurs Software-Engineering mit UML, 2. Auflage, Vieweg+Teubner, Wiesbaden, 2011
• [Kle11b] S. Kleuker, Grundkurs Datenbankentwicklung, 2. wesentlich erweiterte Auflage, Vieweg+Teubner, Wiesbaden, 2011
• [Kle13a] S. Kleuker, Qualitätssicherung durch Softwaretests, Springer Vieweg, Wiesbaden, 2013
• [Kle13b] S. Kleuker, Grundkurs Datenbankentwicklung, 3. erweiterte Auflage, Springer Vieweg, Wiesbaden, 2013
• [Kle13c] S. Kleuker, Grundkurs Software-Engineering mit UML, 3. aktualisierte Auflage, Springer Vieweg, Wiesbaden, 2013
• [Kle16] S. Kleuker, Grundkurs Datenbankentwicklung, 4. erweiterte Auflage, Springer Vieweg, Wiesbaden, 2016
• [Kle18] S. Kleuker, Grundkurs Software-Engineering mit UML, 4. aktualisierte Auflage, Springer Vieweg, Wiesbaden, 2018
• [Kle19] S. Kleuker, Qualitätssicherung durch Softwaretests, 2. aktualisierte und erweiterte Auflage, Springer Vieweg, Wiesbaden, 2019
• [Kle24] S. Kleuker, Grundkurs Datenbankentwicklung, 5. erweiterte Auflage, Springer Vieweg, Wiesbaden, 2024

Tagungsbeiträge und Artikel

• [Kle94] S. Kleuker. Case Study: Stepwise Refinement of a Communication Processor Using Trace Logic. In D. J. Andrews, J. F. Groote and C. A. Middelburg (Ed.), Semantics of Specification Languages, Workshops in Computing, Seiten 252-269. Springer-Verlag, 1994.
• [KKT95] S. Kleuker, A. Kehne and H. Tjabben. Provably Correct Communication Networks (CoCoN). Technical Report 1123/95, Philips Research Laboratories Aachen, 1995.
• [Kle95] S. Kleuker. A Gentle Introduction to Specification Engineering using a Case Study in Telecommunications. In P. D. Mosses, M. Nielsen and M. I. Schwartzbach (Ed.), TAPSOFT'95, Lecture Notes in Computer Science, no. 915, Seiten 636-650. Springer Verlag, 1995.
• [KT95] S. Kleuker and H. Tjabben. A Formal Approach to the Development of Reliable Multi User Multimedia Applications. In R. Gotzhein and J. Bredereke (Ed.), Formale Beschreibungstechniken für verteilte Systeme, 5. GI/ITG Fachgespräch, Seiten 1-10. Fachbereich Informatik, Universität Kaiserslautern, 1995.
• [TKK95] H. Tjabben, S. Kleuker and A. Kehne. Provably Correct Intelligent Networks. In Proc. of the IEEE Intelligent Network '95 Workshop, May 9 11, 1995, Ottawa, Canada,1995.
• [KT96a] S. Kleuker and H. Tjabben. A Formal Approach to the Development of Reliable Multi User Multimedia Communication Systems. Technical Report 1168/96, Philips Research Laboratories Aachen, 1996.
• [KT96b] S. Kleuker and H. Tjabben. The Incremental Development of Correct Specifications for Distributed Systems. In M. C. Gaudel and J. Woodcock (Ed.), FME'96. Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science, no. 1051, Seiten 479-498. Springer Verlag, 1996.
• [Kle96a] S. Kleuker. The Extension of Existing Telecommunication Software with new Services Using Formal Methods. In T. Margaria (Ed.), Proc. of the International Workshop on Advanced Intelligent Networks, Seiten 91-106. Universität Passau, 1996.
• [Kle96b] S. Kleuker. Using Formal Methods in the Development of Protocols for Multi User Multimedia Systems. In R. Gotzhein and J. Bredereke (Ed.), Formal Description Techniques IX, Seiten 113-128. Chapman & Hall, London, 1996.
• [Kle97a] S. Kleuker. Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace Diagrammen. In A. Wolisz, I. Schieferdecker and A. Rennoch (Ed.), Formale Beschreibungstechniken für verteilte Systeme, 7. GI/ITG-Fachgespräch, 19. 20. Juni 1997 in Berlin, GMD Studien, no. 315, Seiten175-184. GMD Forschungszentrum Informationstechnik GmbH, 1997.
• [FKO97] C. Fischer, S. Kleuker and E. R. Olderog. Beweisbar korrekte Telekommunikationssysteme. it+ti Informationstechnik und technische Informatik, 39(3), Seiten 22-28, 1997.
• [Kle97b] S. Kleuker. Incremental Development of Deadlock Free Communicating Systems. In E. Brinksma (Ed.), Proc. of TACAS'97, Lecture Notes in Computer Science, no. 1217, Seiten 306-320. Springer Verlag, 1997.
• [Kle97c] S. Kleuker. Formalizing Requirements for Distributed Systems with Trace Diagrams. In J. Fitzgerald, C.B. Jones and R. Lucas (Ed.), FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, Lecture Notes in Computer Science, no. 1313, Seiten 102-121. Spinger Verlag, 1997.
• [Kle98a] S. Kleuker. Reengineering of Distributed Systems using Formal Methods. Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering, Seiten 189-192. IEEE Computer Society, 1998.
• [Kle98b] S. Kleuker. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. Dissertation, Universität Oldenburg, Berichte aus dem Fachbereich Informatik 1/98, 1998.

• [KEP04] S. Kleuker, R. Ebrahim-Pour. Chancen nutzen, IT-Projekte erfolgreich abzuwickeln, Fachhochschule NORDAKADEMIE, in campusforum Nr. 11 / Juni 2004
• [KEP05a] S. Kleuker, R. Ebrahim-Pour. Integration eines IT-Risikomanagementprozesses in laufende Firmenprozesse, in RISKNEWS - Das Fachmagazin für Risikomanagement, Wiley, 01/2005
• [KEP05b] S. Kleuker, R. Ebrahim-Pour. Ein pragmatischer Ansatz zur individuellen Integration von IT-Risikomanagement in Unternehmen. Arbeitspapiere der NORDAKADEMIE, Nr. 2005-01
• [EPK05] R. Ebrahim-Pour, S. Kleuker. Sind Ihre Projekte reif für Risikomanagement?, Fachhochschule NORDAKADEMIE, in campusforum Nr. 15 / Juni 2005
• [KEP05c] S. Kleuker, R. Ebrahim-Pour. Ein generisches Prozessmodell zur Einführung eines IT-Risikomanagement-Prozesses. Arbeitspapiere der NORDAKADEMIE, Nr. 2005-03

• [Kle09b] S. Kleuker, Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung. In U. Jaeger, K. Schneider (Hrsg.), Software-Engineering im Unterricht der Hochschulen 2009, Seiten 145-159, dpunkt.verlag, Heidelberg, 2009

• [Kle09c] S. Kleuker, Qualitätsorientierte Analyse von Modellierungsansätzen. In H. Schröder, F.Zimmermann (Hrsg.), Tagungsband zum ersten Elmshorner Wirtschaftsinformatiktag 2009, Seiten 61-70, Shaker, Aachen, 2009
• [KT11] S. Kleuker, F. Thiesing, Vier Jahre Software-Engineering-Projekte im Bachelor – ein Statusbericht. In J. Ludewig, A.Böttcher (Hrsg.), Software Engineering im Unterricht der Hochschulen 2011, Seiten 40-44, CEUR Workshop Proceedings, Vol. 695, 2011
• [AKP11] C. Ammann, S. Kleuker, E. Pulvermüller, From Business Modeling to Verified Applications. In H.-U. Heiß, P. Pepper, H. Schlingloff, J. Schneider (Hrsg.), Informatik 2011, GI-Edition - Lecture Notes in Informatics (LNI), Vol. P-192, Bonner Köllen Verlag, 2011
• [Kle12] S. Kleuker, Testen mit Open Source Werkzeugen, Themendossier für die User Group "Softwaretests und Qualitätssicherung" der Softwareforen Leipzig, 20 Seiten, Ausgabe 01/2012
• [HK12] A. Heidt, S. Kleuker, Kontinuierliche Prozessverbesserung durch Testautomatisierung. In H. Brandt-Pook, A. Fleer, T. Spitta, M. Wattenberg, Nachhaltiges Software Management, Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), Bielefeld, 2012, GI-Edition - Lecture Notes in Informatics (LNI) Vol. P-209. Seiten 69-78, Bonner Köllen Verlag, 2012
• [Kle13d] Programmiergrundausbildung: Erfahrungen von drei Hochschulen. In A. Spillner, H. Lichter (Hrsg.), Software Engineering im Unterricht der Hochschulen 2013, Seiten 47-57, CEUR Workshop Proceedings, Vol. 956, 2013
• [DK15] J. Düttmann, S. Kleuker, Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung. In U. Aßmann, B. Demuth, T. Spitta, G. Püschel, R. Kaiser, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI_MAW, Dresden, 2015, GI-Edition - Lecture Notes in Informatics (LNI) Vol. P-239. Seiten 346-361, Bonner Köllen Verlag, 2015