Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Ludwig-Maximilians-Universität München
Institut für Informatik
Software and Computational Systems Lab

Adresse Oettingenstraße 67
80538 München
Deutschland

GERiT Diese Institution in GERiT

80538 München

Projekte

Sachbeihilfen
- laufende Projekte
  - Opazität von Large-Scale Cyber-Physikalischen Systemen
    (Antragsteller Zamani, Majid )
  - ReVeriX: Effiziente Reverifikation geänderter Programme trotz Wechsels des Verifikationsansatzes
    (Antragstellerin Jakobs, Marie-Christine )
- abgeschlossene Projekte
  - Automatisierte Synthese Vernetzte Regelungssysteme
    (Antragsteller Zamani, Majid )
  - Informationsmaße für Regelungssysteme: Invarianz und Erreichbarkeit
    (Antragsteller Zamani, Majid )
  - Strukturierte Synthese symbolischer Abstraktionen für unendliche Kopplungen dynamischer Systeme
    (Antragsteller Zamani, Majid )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Netzgewahre Regelung & regelungsgewahre Netze: Netzwerke mit mehreren Netzwerktechnologien (NICCI^2)
    (Antragsteller Dressler, Falko ; Findeisen, Rolf ; Quevedo, Daniel )
Graduiertenkollegs
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Sprecher Beyer, Dirk )

© 2026 DFG Kontakt / Impressum / Datenschutz