IBM Skip to main contentZurich Research Laboratory - Hagen Völzer
     Zurich Home   |   Research Home  |   


Hagen Völzer

Office: +41 44 724 8395
E-mail: hvo<at>zurich.ibm.com
 IBM Research GmbH
Zurich Research Laboratory
Säumerstrasse 4
CH-8803 Rüschlikon
Switzerland
       

Current Working Area

Business Process Modeling
 Semantics of modeling languages, verification of business process models, tool support for modeling, model-driven design

Other Research Interests


Formal Methods
 Model checking, models of concurrency, Petri nets, partial-order semantics, liveness, fairness, temporal logic, refinement, composition
Systems Engineering
 Configuration and change management, verification and validation, specification of components
Distributed Systems
 Fault tolerance, consensus, self-stabilization, distributed algorithms, randomization


Publications and Talks
Links

7th Int. Conference on Business Process Management 2009
30th Int. Conference on Theory and Application of Petri Nets 2009
5th Int. Workshop on Web Services and Formal Methods 2008
29th Int. Conference on Theory and Application of Petri Nets 2008
18th Int. Conference on Concurrency Theory 2007
13th Int. Workshop on Expressiveness in Concurrency 2006

Former Affiliations

Institute for Theoretical Computer Science, University of Lübeck, Lübeck, Germany
Software Verification Research Centre, University of Queensland, Brisbane, Australia
Theory of Programming at Department of Computer Science, Humboldt University, Berlin, Germany

My prior webpage at the University of Lübeck includes some links to previous teaching activities.
     IBM doesn't necessarily share my personal opinions stated on this page.
  About IBM  |  Privacy  |  Terms of use  |  Contact