Project Details

Professor Dr. Martin Fränzle

Address 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

Projects

As Applicant
- Current projects
  - Precise Monitoring of Cyber-Physical Technology under Uncertainty (PreCePT) (Research Grants)
- Completed projects
  - Science of Design for Societal-Scale Cyber-Physical Systems (Research Grants)
  - Integrated Socio-technical Models for Conflict Resolution and Causal Reasoning (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems (Research Training Groups)
- Completed projects
  - GRK 1765: System Correctness under Adverse Conditions - SCARE (Research Training Groups)
As Project Head
- Completed projects
  - Beyond Timed Automata (CRC/Transregios)
  - Constaint-based Verification for Hybrid Systems (CRC/Transregios)
  - Automatic Verification of Hybrid System Stability (CRC/Transregios)
  - Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe) (CRC/Transregios)

Servicenavigation

Hauptnavigation

Professor Dr. Martin Fränzle

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Martin Fränzle

Additional Information

Textvergrößerung und Kontrastanpassung