Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Carl von Ossietzky Universität Oldenburg
Department für Informatik
Abteilung Entwicklung korrekter Systeme
Address
26111 Oldenburg
Deutschland
GERiT
This institution in GERiT
26111 Oldenburg
Projects
Research Grants
Completed projects
Algorithms for Reengineering and Synthesis (ARS)
(Applicant
Olderog, Ernst-Rüdiger
)
Algorithms for Synthesis and Pre-Synthesis Based on Petri Net Structure Theory (ASYST)
(Applicant
Olderog, Ernst-Rüdiger
)
Design of communicating real-time systems by combining specification techniques for process, data and time
(Applicant
Olderog, Ernst-Rüdiger
)
Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß
(Applicant
Olderog, Ernst-Rüdiger
)
Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages
(Applicants
Olderog, Ernst-Rüdiger
;
Taentzer, Gabriele
)
Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems
(Applicants
Finkbeiner, Bernd
;
Olderog, Ernst-Rüdiger
)
Research Training Groups
Completed projects
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application
(Spokespersons
Hasselbring, Wilhelm
;
Olderog, Ernst-Rüdiger
)
GRK 1765: System Correctness under Adverse Conditions - SCARE
(Spokesperson
Olderog, Ernst-Rüdiger
)
CRC/Transregios
Completed projects
Automated Verification of Cooperating Traffic Agents
(Project Heads
Althaus, Ernst
;
Damm, Werner
;
Olderog, Ernst-Rüdiger
;
Scholl, Christoph
;
Sofronie-Stokkermans, Viorica
;
Waldmann, Uwe
)
Beyond Timed Automata
(Project Heads
Finkbeiner, Bernd
;
Fränzle, Martin
;
Olderog, Ernst-Rüdiger
;
Podelski, Andreas
;
Sofronie-Stokkermans, Viorica
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung