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
Ständiger Prüfungsausschuss B.Sc. Informatik, B.Sc. Information Engineering, M.Sc. Computer and Information Science
Hochschullehrer*in
  • Sprechzeiten
    02|Bestellung Studienkommission vom ||2|FB Informatik und Informationswissenschaft
Fachbereichsrat Informatik und Informationswissenschaft
Hochschullehrer*in
  • Sprechzeiten
    07|Wahl vom 07. bis 11.06.2021||2|FB Informatik und Informationswissenschaft
VertreterInnen: Sektionsrat Mathematisch-Naturwissenschaftliche Sektion
Hochschullehrer*in
  • Sprechzeiten
    03|Wahl am 04./05.06.2019|Vertreter*in, Forschungssemester WiSe 2022/2023 kein Ersatz|4|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
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
Lehrveranstaltungen des letzten Semesters
Titel Typ
Bachelor-Projekt Software and Systems Engineering Projekt
Master's Project Software and Systems Engineering Projekt
Projekte
Titel Rolle Laufzeit
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
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems Projektleiter 16.10.2007 – 15.10.2008
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
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems Projektleiter seit 01.10.2004
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