Suchergebnisse - Olderog, Ernst-Rüdiger 1955-
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog (* 1955) ist ein deutscher Informatiker. Seit 1989 ist er Professor für Theoretische Informatik an der Carl von Ossietzky Universität Oldenburg. Er leitet die Abteilung ''Entwicklung korrekter Systeme'' (bis 31. März 2003: Abteilung ''Semantik''), deren Forschungsarbeiten dem Gebiet der ''Theorie der Programmierung'' zuzuordnen sind. Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen. Für seine Forschungsarbeiten ist Olderog 1994 mit dem Leibniz-Preis der DFG ausgezeichnet worden. Olderog ist Autor verschiedener wissenschaftlicher Bücher und war Herausgeber der Zeitschrift ''Acta Informatica'' und Vorsitzender der ''IFIP Working Group 2.2 on Formal Description of Programming Concepts''. Für seine Arbeit in dieser IFIP-Gruppe erhielt er 1998 die Silver Core Auszeichnung der IFIP. Veröffentlicht in Wikipedia- Treffer 1 – 20 von 41
- Zur nächsten Seite
-
1Nets, terms and formulas: three views of concurrent processes and their relationshipVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Using transformations to verify parallel programsVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Specification-oriented semantics for communicating processesVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Introduction to program verificationVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Proving termination of parallel programsVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
6Verification of sequential and concurrent programsVeröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Programmverifikation: sequentielle, parallele und verteilte ProgrammeVeröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
8Introduction to program verificationVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
9Charakterisierung Hoarescher Systeme für Algol-ähnliche ProgrammiersprachenVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Fairness in parallel programs: the transformational approachVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Charakterisierung Hoarescher Systeme für ALGOL-áhnliche ProgrammiersprachenVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Verification of Sequential and Concurrent ProgramsVeröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
13Nets, terms, and formulas: three views of concurrent processes and their relationshipVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
14Operational Petri net semantics for CCSPVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Process theoryVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Real-time systems: formal specification and automatic verificationVeröffentlicht 2008Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
17Verification of sequential and concurrent programsVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Fairness in parallel programsVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Specification-oriented semantics for communicating processesVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Specification-oriented programming in TCSPVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …