Prof. Dr. Stefan Leue

Kontaktdaten

Stefan Leue
Telefon: +49 7531 88 2893
E-Mail: stefan.leue@uni-konstanz.de
Postfach: 67
Homepage: https://www.sen.uni-konstanz.de/
Fax: +49 7531 88 3577
Funktionen
Institution
Funktion
AG Leue (Software and Systems Engineering)
Professor*in
  • Raum
    PZ902
  • Sprechzeiten
    Appointment via email
  • Sekretariat:
    • Martina Thibaut, Raum PZ903
Senat: Stellvertretungen (Mitglieder siehe Inhaltsziffer 01.01.)
Hochschullehrer*in
  • Sprechzeiten
    07|Wahl vom 19. bis 22.06.2023|Sektion 1, Vertreter*in|4|FB Informatik und Informationswissenschaft
Fachbereichsrat Informatik und Informationswissenschaft
Hochschullehrer*in
  • Sprechzeiten
    08|Wahl vom 19. bis 22.06.2023|für Storandt|2|FB Informatik und Informationswissenschaft
Kuratorium für die Vergabe des Airbus Forschungspreises Claude Dornier
Hochschullehrer*in
  • Sprechzeiten
    3b|Protokoll Rektorat vom 20.07.2022||2|FB Informatik und Informationswissenschaft
Aktuelle Lehrveranstaltungen
Titel Typ
Bachelor-Projekt Software and Systems Engineering Projekt
Master's project software and systems engineering Projekt
Advanced verification of software and systems Vorlesung
Advanced verification of software and systems (exercise) Übung
Verification of cyber-physical systems Directed Studies
Verification of cyber-physical systems (exercise) Übung
Soft Meeting AG Leue (intern) interne Veranstaltung
Systems specification using TLA+ Directed Studies
Systems specification using TLA+ (exercise) Übung
Forschungsseminar Software and Systems Engineering interne Veranstaltung
Lehrveranstaltungen des letzten Semesters
Titel Typ
Bachelor-Projekt Software and Systems Engineering Projekt
Master's Project Software and Systems Engineering Projekt
Software Engineering Vorlesung
Software Engineering (Übung) (1. Parallelgruppe) Übung
Software Engineering (Übung) (2. Parallelgruppe) Übung
Decision Procedures for Software Verification Directed Studies
Decision Procedures for Software Verification (Exercise) Übung
Verification of Software and Systems Vorlesung
Verification of Software and Systems (Exercise) Übung
Soft Meeting AG Leue (intern) interne Veranstaltung
Projekte
Titel Rolle Laufzeit
SCADNet -Strukturelle kausale Analyse von tiefen neuronalen Netzen Projektleiter 10.07.2023 – 09.07.2026
Transferplattform QuantUM+ Projektleiter 01.05.2014 – 31.12.2016
EADS "Quantitative Functional Safety Analysis for System architectures / QuaFuSA Projektleiter 01.04.2012 – 31.03.2015
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten Projektleiter 01.04.2007 – 31.03.2009
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems Projektleiter 22.08.2005 – 30.09.2011
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems Projektleiter 01.10.2004 – 31.12.2099
SoFaLoc: Lokalisierung von Software Fehlern / Software Fault Localization Projektleiter 01.10.2004 – 30.09.2007
IMCOS: Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme Projektleiter 01.01.2004 – 31.12.2006
Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme Projektleiter 01.01.2004 – 30.08.2005
Publikationsliste
  • Artikel
  • Buch
  • Dissertation
  • Studien-/Abschlussarbeit
  • Konferenzveröffentlichung
  • Sonstiges
  • Link zum Volltext
  • Link zur Originalveröffentlichung
...loading...
Beim Zugriff auf die Publikationen ist ein Fehler aufgetreten. Bitte versuchen Sie es erneut und informieren Sie im Wiederholungsfall support@uni-konstanz.de