Chair for Software Engineering
Prof. Dr. Stefan Leue

Login |
 
 

Sitemap

Alles aus-/einklappenAlles aus-/einklappen
  1. FolderResearch 
    1. FolderCurrent research projects 
      1. FolderDiRePro 
        1. PageReal-Time Systems 
        2. PageProbabilistic Systems 
      2. FolderIMCOS 
        1. PageIBOC 
        2. PageaLive 
        3. PagePONES 
      3. PageDirected Model Checking 
    2. FolderPast research projects 
      1. PageVIP 
      2. PageVisual Modeling and Formal Validation 
      3. PageFormal Modeling and Validation of Distributed, Object-Oriented Systems 
      4. PageMessage Sequence Charts and Message Flow Graphs 
      5. PageEfficient, Parallel Protocol Implementation 
      6. PageSDL, Real-Time and Quality of Service 
    3. FolderTools 
      1. PageQuantUM 
      2. PageDiPro 
      3. PageMESA 
      4. PageVIP 
      5. PageHSF-SPIN 
      6. PageIBOC 
    4. PageSteinbeis Transfer Center 
  2. FolderTeaching 
    1. FolderSummer Term 2012 
      1. PageDoktorandenseminar: Graduate Research Seminar 
      2. PageSeminar: Requirements Engineering 
      3. PageSeminar: Different Flavors of Probabilistic and Timed Systems 
      4. PageProject (Master): Software Engineering 
      5. PageProject (Bachelor): Software Engineering 
    2. FolderWinter Term 2011/2012 
      1. PageCourse: Non-Functional Model Checking 
      2. PageCourse: Software Engineering 
      3. PageProject (Bachelor): Software Engineering 
      4. PageProject (Master): Software Engineering 
      5. PageSeminar: Methoden des Software Engineering 
      6. PageSeminar: Why does my program fail? 
      7. PageDoktorandenseminar: Graduate Research Seminar 
    3. FolderSummer Term 2011 
      1. PageCourse: Model Checking of Software and Systems 
      2. PageProject: Software-Project 
      3. PageProject (Bachelor): Software Engineering 
      4. PageProject (Master): Software Engineering 
      5. PageSeminar: Mining Software Engineering Data 
      6. PageSeminar: Tools and Methods for Reliable Software Systems 
      7. PageDoktorandenseminar: Graduate Research Seminar 
    4. FolderWinter Term 2010/2011 
      1. PageCourse: Logic in Computer and Software Science 
      2. PageCourse: Software Engineering 
      3. PageSeminar: Software-Entwicklungsmethoden 
      4. PageSeminar: Requirements Engineering 
      5. PageBachelor Project: Software Engineering 
      6. PageMaster Project: Software Engineering 
      7. PageDoktorandenseminar: Graduate Research Seminar 
    5. FolderSummer Term 2010 
      1. PageCourse: Model Checking of Software 
      2. PageCourse: Non-Functional Model Checking 
      3. PageSeminar: Software Engineering 
      4. PageSeminar: Certification and Dependability Analysis of Safety-Critical Systems 
      5. PageSeminar: Doktorandenseminar 
      6. PageProjektgruppe: Software-Projekt 
      7. PageProject (Bachelor): Software Engineering 
      8. PageProject (Master): Software Engineering 
    6. FolderWinter Term 2009/2010 
      1. PageCourse: Methoden der Praktischen Informatik 1 
      2. PageCourse: Non-Functional Model Checking 
      3. PageSeminar: Abstraction of Programs and Models 
      4. PageSeminar: Durchführung und Management von Software-Projekten 
      5. PageProject (Bachelor): Software Engineering 
      6. PageProject (Master): Software Engineering 
      7. PageSeminar: Graduate Research Seminar 
    7. FolderSummer Term 2009 
      1. PageCourse: Logic in Computer and Software Science 
      2. PageSeminar: Service Orientation 
      3. PageSeminar: Software Contracts 
      4. PageProject (Bachelor): Software Engineering 
      5. PageProject (Master): Software Engineering 
      6. PageProjektgruppe: Software-Projekt 
      7. PageSeminar: Graduate Research Seminar 
    8. FolderWinter Term 2008/2009 
      1. PageSeminar: Directed Model Checking 
      2. PageSeminar: Static Program Analysis 
      3. PageProject (Bachelor): Software Engineering 
      4. PageProject (Master): Software Engineering 
      5. PageSeminar: Graduate Research Seminar 
    9. PageMore Past Terms 
  3. FolderStudent Information 
    1. PageHeuristics-Guided Dependability Analysis 
    2. PageQuantitative Analysis of Software and Software Architectures 
    3. PageModel Checking Tools 
    4. PageCompleted Projects / Theses 
  4. FolderMembers 
    1. PageProf. Dr. Stefan Leue 
    2. PageFlorian Leitner-Fischer 
    3. PageAlina Bey 
    4. PageMitra Tabaei 
    5. PageDimitar Simeonov 
    6. PageTodor Georgiev 
    7. PageAdrian Beer 
    8. PageChristine Agorastos 
  5. FolderOpen Positions 
    1. PageStudent Assistant 
  6. FolderPublications 
    1. PagePublications 
    2. FolderPresentations 
      1. PageAVACS 2005 
      2. PageECMDA 2005 
      3. PageInaugural lecture 
      4. PageSPIN 2005 
      5. PageStony Brook 2005 
      6. PageUCSD 2004 
      7. PageSPIN 2004