Mark-Oliver Stehr

Cette page n'est plus réactualisée.

Bureau:

C-217

Téléphone:

040 / 42883-2245

Télécopie:

040 / 42883-2246

E-Mail:

stehr@informatik.uni-hamburg.de

Position:

ancien chercheur associé

Ci-devant:

International Fellow at SRI International, Computer Science Laboratory, Menlo Park, California, USA

Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA

Projets actuels:

(seulement en Allemand)

Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)

(see also here)

Séminaires et cours

Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)

Manifestations scientifiques

PNSE'97 - Petri Nets in System Engineering

VCL'2002 - Verification and Computational Logic

Bibliographie