Homepage von Oliver Möller in BRICS

AltaVista,

Archie,

HotBot,

Lycos,

MC,

WebCrawl,

W4,

Google,

Yahoo,

BLIP,

LLinks,

PLinks

M. Oliver Möller

PhD Student at BRICS
_{Supervisor: Kim Guldstrand Larsen}

Afrastraße 14
89331 Burgau
Deutschland

(+45) 8222 7121
E-mail

omoeller@verify-it.de

English version
dansk udgave

Nicht mehr bei BRICS
Nach Beendigung meines PhD-Studiums bin ich nach Deutschland zurückgezogen und habe bei Verified Systems International GmbH in Bremen eine Arbeit nach meinem Geschmack gefunden. Meine homepage ist jetzt:

http://www.verify-it.de

Forschungsinteressen

Formale Methoden, automatisierte Verifikation, Model-Checking
Analyse von Echtzeit-Systemen
Hierarchische Strukturen, Modellierungssprachen, UML
Entscheidungsprozeduren, insbesondere Bit-Vektoren

online publications

Projekte

Das Echtzeit-Model-Checking Werkzeug Uppaal (Uppsala/Aalborg)
AIT-WOODDES: Europäische Projekt No. IST-1999-10069,
Advanced Information Technology- Workshop for Object Oriented Design and Development of Embedded Systems

Weitere Links

alles mögliche akademische: Forscher, Universitäten, Konferenzen
nützliche Skripten
eine Menge persönliche Links

Email an mich kann mit PGP verschlüsselt werden: PGP 2.6.3i
Als alternative ist auch Verschlüsselung mit einem Java encryption applet per Browser möglich.

``The explosive development of information-processing technology during the last two decades
has stimulated the vigorous growth of an Information Science.''

J. Hartmanis, R.E. Stearns, 1966

Last modified: Thu Jul 11 10:30:01 2002