Publications

Journals and international conferences

1. Jussi Vanhatalo, Hagen Völzer and Jana Koehler
   The Refined Process Structure Tree
   Data and Knowledge Engineering 68 (2009) 793-818.
2. Dirk Fahland, Cedric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf
   Instantaneous Soundness Checking of Industrial Business Process Models
   Proceedings BPM 2009 (7th Int. Conference on Business Process Management), as LNCS 5701,  pp. 278-293, Springer,  2009.
3. Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser
   Automatic Workflow Graph Refactoring and Completion
   Lecture Notes in Computer Science, Volume 5364, 2008.
4. Jussi Vanhatalo, Hagen Völzer, Jana Koehler
   The Refined Process Structure Tree
   In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors, 6th International Conference on Business Process Management (BPM), volume 5240 of Lecture Notes in Computer Science, pages 100–115, Springer 2008 (best paper award).
5. J. Vanhatalo, H. Völzer, F. Leymann
   Faster and more focused control-flow analysis for business process models though SESE decomposition
   In Proceedings of 5th International Conference on Service-Oriented Computing (ICSOC 2007). LNCS 4749, pp. 43-55. Springer, September 2007.
6. W. Zhao, R. Hauser, K. Bhattacharya, B. Bryant, F. Cao
   Compiling Business Processes: Untangling Unstructured Loops in Irreducible Flow Graphs
   International Journal of Web and Grid Services, 2(1), 2006, pp. 68 - 91.
7. R. Hauser, J. Koehler
   Compiling Process Graphs into Executable Code
   In Proc. 3rd Int'l Conf. on Generative Programming and Component Engineering "GPCE 2004," Vancouver, Canada, October 24-28, 2004, edited by Gabor Karsai, Eelco Visser, Lecture Notes in Computer Science Volume 3286 / 2004, Springer-Verlag Heidelberg.
8. J. Koehler, R. Hauser
   Untangling Unstructured Cyclic Flows - A Solution Based on Continuations
   In Proc. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated Int'l Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004, edited by Robert Meersman, Zahir Tari, Lecture Notes in Computer Science Volume 3290 / 2004, Springer-Verlag Heidelberg.
9. J. Koehler, G. Tirenni, S. Kumaran
   From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
   EDOC 2002, pp. 96-106.

Workshops

1. J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina, J. Vanhatalo, H. Völzer
   Combining Quality Assurance and Model Transformations in Business-Driven Development
   Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), Kassel, Germany, 2007.

Research reports

1. J. Koehler, T. Gschwind, J. Küster, H. Völzer, O. Zimmermann
   Towards a Compiler for Business-IT Systems – A Vision Statement Complemented with a Research Agenda
   IBM Research - Zurich, Research Report RZ-3705, 2008.
2. J. Vanhatalo, H. Völzer, and F. Leymann
   Faster and more focused control-flow analysis for business process models though SESE decomposition
   IBM Research - Zurich, Research Report RZ-3694, 2007.
3. R. Hauser
   Transforming Unstructured Cycles to Structured Cycles in Sequential Flow Graphs
   IBM Research - Zurich, Research Report RZ-3624, 2005.