[Zurück]
 
Bitte auswählen
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Forschungsbericht für das Jahr 2018

Professur für Softwaretechnik

Prof. Dr. Andreas Podelski

Georges-Köhler-Allee 52
79110 Freiburg
Tel: 8241 Fax: 8242
Email podelski@informatik.uni-freiburg.de
http://swt.informatik.uni-freiburg.de/


Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Einträge in der Rubrik "Who is Who"

Forschungsschwerpunkte

  • Software Productivity Tools
  • Program Verification and Analysis
  • Requirements Analysis
  • Testing and Program Analysis

Finanzierung

  • BMWi - ZIM V
  • DFG-Projekt "Abstrakte Kognitive Modelle"
  • DFG-Projekt "Timed Model-Checking for Time-Triggered System Design
  • DFG-Projekt SIGSMCAP

Wissenschaftliche Projekte und Forschungsvorhaben


  • DFG - Abstrakte Kognitive Modelle
  • DFG - SIGSMCAP
  • DFG - Timed Model-Checking for Time-Triggered Systemdesigns
  • ZIM V - Kooperationsprojekt

Wissenschaftliche Publikationen

Konferenzbeiträge:
  • Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics 2018. : https://doi.org/10.29007/73mb

Besondere wissenschaftliche Aktivitäten

Abschlussarbeiten

Promotionen
  • Christian Schilling: Fundamental techniques for the scalable analysis of systems (Betreuer/in Prof. Dr. Andreas Podelski, Erstgutachter/in Prof. Dr. Andreas Podelski), 2018.