Detailseite

Professor Dr. Martin Fränzle

Adresse Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Ammerländer Heerstraße 114-118
26129 Oldenburg

Projekte

Als Antragsteller
- laufende Projekte
  - Präzise Überwachung cyber-physischer Technologie unter Unsicherheit (Sachbeihilfen)
- abgeschlossene Projekte
  - Entwurfsparadigmen für gesellschaftsumspannende cyberphysische Systeme (Sachbeihilfen)
  - Konfliktresolution und kausale Inferenz mittels integrierter sozio-technischer Modellbildung (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1765: Systemkorrektheit unter widrigen Umständen - SCARE (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Über Realzeitautomaten hinaus (Transregios)
  - Constraint-basierte Verfikation hybrider Systeme (Transregios)
  - Automatische Stabilitätsbeweisführung für Hybride Systeme (Transregios)
  - Exakte Nichterreichbarkeitsanalyse für eingebetteten C Code durch arithmetisches Constraint Solving (Transregios)

Servicenavigation

Hauptnavigation

Professor Dr. Martin Fränzle

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Martin Fränzle

Zusatzinformationen

Textvergrößerung und Kontrastanpassung