Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff Lehre

• WS 2009/2010: Vorlesung: Informationssicherheit eingebetteter Systeme
• SS 2009: Projektvorlesung und Seminar: Eingebettete Systeme - Produktivität und Qualität
• SS 2008: Vorlesung: Logische Spezifikation von Hard- und Software
• SS 2008: Seminar: Embedded Systems Engineering & Model-Based Design
• WS 2007/2008: Vorlesung: Praktische Informatik 1
• WS 2007/2008: Univ. Swansea, Advanced Topics in Computer Science: Testing
• SS 2007: Seminar: Automotive Software Engineering & Model-Based Design
• WS 2006/2007: Univ. Swansea: CS-339 Advanced Topics in Computer Science: Testing
• SS 2006: Seminar: Spezifikationsbasierter Softwaretest
• WS 2005/2006: Software Engineering II: Eingebettete Systeme
• WS 2004/2005: Qualitätssicherung von Software
• SS 2004, ESSLLI: Temporal Logic for Systems Validation
  (Kurs bei der 16. European Summer School on Logic, Language and Information, passwortgeschützt)
• WS 2003/2004: Praktische Informatik 1
• WS 2002/2003: Software-Projektmanagement
• WS 2001/2002: Informationssicherheit I
• WS 1998: Model Checking for Industrial Applications
• 1997 - 2001: BISS-Seminar

Dissertationen

• Jan Calta: Specification of Self-Organizing Systems
• Lazos Filippidis: Kausallogische Beschreibung und Analyse der Zuverlässigkeit sicherheitskritischer Signalisierungsanlagen im schienengebundenen Verkehr
• Mario Friske: Use-case basierte Testfallgenerierung
• Satish Mishra: Test Generation from Algebraic Specifications
• Saša Vulinovic: Modellgetriebene Fehlerinjektion zur quantitativen Zuverlässigkeitsbewertung fehlertoleranter Steuergeräte
• Guido Wachsmuth: Modellbasierte Entwicklung domänspezifischer Sprachen
• Stephan Weißleder: Modellkopplung und Testgenerierung

Studien- und Diplomarbeiten

• Lech Aleksandrowicz: automatischen Testen differenzierter Anwendungsszenarios auf mobilen Geräten
• Michael Grüner: Qualitätssicherung von "pt(outline*" mit automatisierten Akzeptanztests (in Zusammenarbeit mit der DLR)
• Robert Hilbrich: Eingebettete dienstorientierte Architekturen
• Abdulhakim Kaya: Zusicherungskonzepte in Simulink
• Sven Krumm: Sicherheitsmodellierung in der Medizintechnik
• Hartmut Lackner: Modelltransformationen für Smoketests
• Daniel Mangas: Evolutionäre Testausführung für Realzeitsysteme
• Tobias Tschirch: Worst-Case Execution Time für speicherprogrammierbare Steuerungen

abgeschlossene Diplom- und Master-Arbeiten

• Markus Loose: Werkzeugunterstützte Überprüfung von Signalabhängigkeiten (Diplomarbeit, Nov. 2008)
• Fabien Blondet: Evolutionary Testing for Real-Time Systems (M.Sc., Aug. 2008)
• Ralf Immig: Abdeckungskriterien für den funktionalen Test eines elektronischen Steuergerätes (Diplomarbeit, Juni 2007)
• Andre Rosin: Vergleich von GUI-Testwerkzeugen anhand eines propertyEditors (Diplomarbeit, Juni 2007)
• Julien Breneliere: Evolutionary Testing for Complex Systems (M.Sc., Aug. 2007)
• Sergio Rubio Lopez: Research and Development of Components and Interfaces for Evolutionary Testing (M.Sc., Aug. 2007)
• Thomas Pillat: Extraktion von Schnittstellenbeschreibungen aus Entwurfsartefakten (Studienarbeit, Aug. 2007)
• Konrad Hilse: Vergleich und Evaluation von Modelltransformationssprachen zur Generierung von UML-Diagrammen (Diplomarbeit, Dez. 2006)
• Patrick Köhnen: Anwendungsfallbasierter Systemtest (Studienarbeit, Mai 2006)
• Mia Viktoria Meyer: Webshops, Web Services and Correctness of Web Services, Considering as Example NetAnttila.com (Diplomarbeit, Mar 2006)
• Mark Totzke: Philosophische Aspekte des semantischen Webs unter besonderer Berücksichtigung von Robert Brandoms "Making it explicit" (Magisterarbeit, Sep. 2005)
• Henning Brandt: Robotik in der Sekundarstufe I - Roboter im Unterricht an Schulen der Sekundarstufe I am Beispiel von HANDY-CRICKETS und LEGO MINDSTORMS im Rahmen des Projektes AG.com in Bremen (Zweitgutachten, Jan. 2005)
• Rene Bartholomä: Entwurf einer Applikationsbeschreibungssprache für Smart-Card Betriebssysteme (in Zusammenarbeit mit der MidiTec GmbH, Bremen)(Feb. 2002)
• Markus Geschke: Vergleich des strukturellen Entwurf von Gerätetreibern in verschiedenen Betriebssystemen am Beispiel eines SmartCardLeser-Treibers (in Zusammenarbeit mit der MidiTec GmbH, Bremen)(Feb. 2002)
• Kim Schön: Sichere Kommunikation in sporadischen Geschäftsbeziehungen (Jan. 2003)
• Hans-Jürgen Ficker: Vergleich von TTCN und CSP zur Spezifikation von Tests (Jan. 2002)
• Lassaad Ben Jamaa: Fallstudien zur objektorientierten Programmierung von Prozeßsteuerungen (März 1996)
• Richard Schlotz: Metrische temporale Logik (Nov. 1993)
• Andreas Zeisler: Verifikation von Modellen mit dem mu-Kalkül (Juni 1993)
• Klaus-Peter Wagner: Modellierung von Echtzeitübertragungsprotokollen mit zeitbewerteten Petri-Netzen (Feb. 1993)
• Thomas Brandl: Fallstudien paralleler Programme (Nov. 1990)
• Peter Knirsch: Transformationsprinzipien für temporale Spezifikationen (Nov. 1988)
• Rudolf Holzner: Ein Tableau-System für quantifizierte temporale Aussagenlogik (Nov. 1988)
• Herbert Jans: Intervallogik - Transitionslogik - temporale Logik (Mai 1987)
• Josef Fürholzer: Untersuchungen zur Effizienzsteigerung des temporalen Tableaubeweisverfahrens (Nov. 1986)
• Peter Rösler: Beweise von Petrinetzeigenschaften in temporaler Logik mit verzweigter Zeit (Nov. 1986)
• Andreas Stamer: Vergleich verschiedener resolutionsgestützter Entscheidungsverfahren für Formeln der temporalen Aussagenlogik (Sept. 1986)
• Heribert Schütz: Petri-Netze und temporale Logik (Nov. 1985)

Fortgeschrittenenpraktika und Studienarbeiten (TU München)

• Christoph Schrall: Erweiterung eines Programms für endliche Automaten über unendlichen Wörtern (Jan. 1990)
• Martina Krause, Bernhard Stadler: Umformen eines endlichen Automaten in eine reguläre Grammatik (Jan. 1989)
• Johannes Bruns, Thomas Gritzner: Test, Fehlerbehebung bzw. Ergänzung der Realzahlarithmetik von M2/CMS (Juni 1988)
• Josef Fürholzer: Entscheidungsalgorithmus für die erweiterte temporale Logik (Feb. 1987)
• Norbert Trapp, Karl Loibl: Ein System zum induktiven Schließen mittels Wahrscheinlichkeitslogik (1986)
• Andreas Stamer: Entwicklung eines Programms zum Erfüllbarkeitstest für eine temporallogische Formel, gestützt auf das Tableauverfahren der Aussagenlogik (1986)