Humboldt-Universität zu Berlin,Institut für Informatik,Prof. Dr. Holger Schlingloff
Lehre
Hier ist eine Übersicht über Lehrveranstaltungen sowie Diplom-, Praktikums- und
Doktorarbeiten der Lehr- und Forschungseinheit SVT. Für weitere Informationen
wenden Sie sich bitte an .
Mario Friske: Use-case basierte Testfallgenerierung
Stephan Weißleder: Modellkopplung und Testgenerierung
Saša Vulinovic: Modellgetriebene Fehlerinjektion zur quantitativen Zuverlässigkeitsbewertung fehlertoleranter Steuergeräte
Lazos Filippidis: Kausallogische Beschreibung und Analyse der Zuverlässigkeit sicherheitskritischer Signalisierungsanlagen im schienengebundenen Verkehr
Satish Mishra: Test Generation from Algebraic Specifications
Jan Calta: Specification of Self-Organizing Systems
abgeschlossene Arbeiten
Diplomarbeiten
Mia Viktoria Meyer: Webshops, Web Services and Correctness of Web Services,
Considering as Example NetAnttila.com (Mar 2006)
Mark Totzke: Philosophische Aspekte des semantischen Webs unter besonderer
Berücksichtigung von Robert Brandoms "Making it explicit" (Magisterarbeit, Zweitgutachten; 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
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)
.