Homepage of Oliver Moeller at BRICS

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Homepage of Oliver Moeller at BRICS <HR

" hspace="0" border="0" width="700" height="50">

SEARCH with Alta Vista'">AltaVista,

SEARCH with Archie'">Archie,

SEARCH with HotBot'">HotBot,

SEARCH with Lycos'">Lycos,

SEARCH with Meta Crawler'">MC,

SEARCH with Web Crawl'">WebCrawl,

SEARCH with W4'">W4,

SEARCH with Google'">Google,

SEARCH with Yahoo'">Yahoo,

to the Bibliography and Library Index Page (BLIP)'">BLIP,

to my literature link list'">LLinks,

to my personal links'">PLinks

M. Oliver Möller

PhD, studied at BRICS
_{Curriculum Vitae}
_{Supervisor: Kim Guldstrand
Larsen

thesis submitted: 20 February 2002

defended: Århus, 19 April 2002}

  Afrastrasse 14
  89331 Burgau
  Germany
Phone

(+49) 8222 7121
E-mail

omoeller@verify-it.de

dansk udgave
deutsche Version

Permanently away
I moved back to Germany and found employment at Verified Systems International GmbH in Bremen. Feel invited to visit my new homepage:

http://www.verify-it.de/index-en.html

Research Interests

Formal methods, automated verification & Model Checking
Analysis of Real-Time systems
Hierarchical structures in system design, Hierarchial Timed Automata
Solvability Properties of Equational Theories, in particular Bit-Vectors

online publications

Projects

The real-time model checking tool Uppaal (joint development Uppsala/Aalborg)
AIT-WOODDES: European project No. IST-1999-10069,
Advanced Information Technology- Workshop for Object Oriented Design and Development of Embedded Systems

Other Links

a non-representative Link List of people, universities and events
visit my Personal Link Page to find some favourites
find a collection of useful utilities
links to academic places I worked at

If you must, you can send your emails encrypted (but don't expect me to read them the same day). My public key: PGP 2.6.3i
Alternatively, you can use a online Java encryption applet just with your web-browser to do so.

``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: Mon Sep 2 20:35:13 2002