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
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Address
26111 Oldenburg
Deutschland
GERiT
This institution in GERiT
26111 Oldenburg
Projects
Priority Programmes
Current projects
Coordination Funds
(Applicant
Boll, Susanne
)
SKIRIM: Self-actuated Kinetic Interaction with Rich Interactive Materials
(Applicants
Boll, Susanne
;
Borchers, Jan
;
Steimle, Jürgen
)
SPP 2199: Scalable Interaction Paradigms for Pervasive Computing Environments
(Spokesperson
Boll, Susanne
)
Completed projects
Ein ereignisgetriebener Ansatz zum Rapid Prototyping von embedded-control-Systemen
(Applicant
Damm, Werner
)
Gestural Interaction Paradigms for Smart Spaces
(Applicants
Boll, Susanne
;
Krüger, Antonio
)
RIME: Rich Interactive Materials for Everyday Objects in the Home
(Applicants
Boll, Susanne
;
Borchers, Jan
;
Steimle, Jürgen
)
Use-case driven Specification of Engineering Applications
(Applicant
Damm, Werner
)
Visual Interactive Exploration of Geo-Located Infrastructure and Facilities in Urban Areas
(Applicant
Boll, Susanne
)
Research Fellowships
Completed projects
Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen
(Applicant
Wehrheim, Heike
)
Research Grants
Current projects
Concurrency Reasoning for Weak Memory II
(Applicant
Wehrheim, Heike
)
Cooperative Software Verification 2
(Applicants
Beyer, Dirk
;
Wehrheim, Heike
)
DEUS: Debugging for End Users in Smart Environments
(Applicants
Boll, Susanne
;
Borchers, Jan
)
Gestural interaction paradigms for smart spaces (GrIPSs)
(Applicant
Boll, Susanne
)
Precise Monitoring of Cyber-Physical Technology under Uncertainty (PreCePT)
(Applicants
Finkbeiner, Bernd
;
Fränzle, Martin
)
Completed projects
Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme
(Applicant
Wehrheim, Heike
)
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
)
Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
(Applicant
Müller, Norbert
)
Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß
(Applicant
Wehrheim, Heike
)
Grafische Constraints zur Entwicklung korrekter Graphtransformationssysteme und zur Verifikation von Graphprogrammen
(Applicant
Habel, Annegret
)
Integrated Socio-technical Models for Conflict Resolution and Causal Reasoning
(Applicants
Damm, Werner
;
Fränzle, Martin
;
Pretschner, Alexander
)
Intervallmethoden zur garantierten Zustandsschätzung und zum Entwurf robuster und optimaler Steuerungen und Regelungen für unsichere Systeme
(Applicants
Auer, Ekaterina
;
Rauh, Andreas
)
Lina4WM Linearizability Proofs for Weak Memory Models
(Applicant
Wehrheim, Heike
)
Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages
(Applicants
Olderog, Ernst-Rüdiger
;
Taentzer, Gabriele
)
Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen
(Applicant
Wehrheim, Heike
)
Rechtliche, insbesondere verbraucherschutzrechtliche, und technische Lösungen zur Realisierung von Vertragsabschlüssen über mobile Endgeräte
(Applicants
Boll, Susanne
;
Taeger, Jürgen
)
Restriktionsbehandlung für stochastische Kovarianzmatrix-Adaptation und ihre Anwendung auf ingenieur- und geowissenschafltiche Optimierungsprobleme
(Applicant
Kramer, Oliver
)
Science of Design for Societal-Scale Cyber-Physical Systems
(Applicants
Damm, Werner
;
Fränzle, Martin
;
Köster, Frank
;
Lehnhoff, Sebastian
;
Lüdtke, Andreas
;
Pretschner, Alexander
;
Rieger, Jochem
)
SOCIAL Enabling spontaneous social communication in spatially distributed groups by ambient intelligent environments
(Applicants
Boll, Susanne
;
Freksa, Ph.D., Christian
)
VaST - Validation of Software Transactional Memory
(Applicant
Wehrheim, Heike
)
Verified Interval-Based Predictive and Variable-Structure Control for Solid Oxide Fuel Cell Systems: VerIPC-SOFC
(Applicants
Aschemann, Harald
;
Rauh, Andreas
)
Collaborative Research Centres
Completed projects
Composition analysis in uncertain contexts
(Project Heads
Becker, Steffen
;
Hüllermeier, Eyke
;
Wehrheim, Heike
)
Design Techniques for Safety-Critical, Self-Optimizing Multi-Agent Systems in the Context of Mechatronic
(Project Heads
Schäfer, Wilhelm
;
Wehrheim, Heike
)
Proof-Carrying Services
(Project Heads
Bodden, Eric
;
Platzner, Marco
;
Wehrheim, Heike
)
Research Training Groups
Current projects
GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
(Spokesperson
Fey, Görschwin
)
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
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe)
(Project Heads
Becker, Bernd
;
Fränzle, Martin
)
Automated Verification of Cooperating Traffic Agents
(Project Heads
Althaus, Ernst
;
Damm, Werner
;
Olderog, Ernst-Rüdiger
;
Scholl, Christoph
;
Sofronie-Stokkermans, Viorica
;
Waldmann, Uwe
)
Automatic Verification of Hybrid System Stability
(Project Heads
Fränzle, Martin
;
Hermanns, Holger
;
Podelski, Andreas
;
Theel, Oliver
;
Wolf, Verena
)
Beyond Timed Automata
(Project Heads
Finkbeiner, Bernd
;
Fränzle, Martin
;
Olderog, Ernst-Rüdiger
;
Podelski, Andreas
;
Sofronie-Stokkermans, Viorica
)
Central Tasks
(Project Heads
Becker, Bernd
;
Damm, Werner
;
Finkbeiner, Bernd
)
Constaint-based Verification for Hybrid Systems
(Project Heads
Althaus, Ernst
;
Becker, Bernd
;
Fränzle, Martin
;
Weidenbach, Christoph
)
Dynamic Communication Systems
(Project Heads
Damm, Werner
;
Finkbeiner, Bernd
;
Hermanns, Holger
;
Podelski, Andreas
;
Weidenbach, Christoph
)
Timing Analysis, Scheduling and Distribution of Real-Time Tasks
(Project Heads
Althaus, Ernst
;
Damm, Werner
;
Hack, Sebastian
;
Reineke, Jan
;
Wilhelm, Reinhard
)
TRR 14: Automatic Verification and Analysis of Complex Systems
(Spokesperson
Damm, Werner
)
Verification of Dependability Properties
(Project Heads
Becker, Bernd
;
Hermanns, Holger
;
Theel, Oliver
;
Wolf, Verena
)
Additional Information
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung