Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. - Helmuth Partsch; Norbert Völker (Methods of Programming, 1991)

How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. - Eerke A. Boiten; Helmuth Partsch; Daniel Tuijnman; Norbert Völker (Comput. J., 1992)

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. - Bernd J. Krämer; Norbert Völker; Thomas Koch 001; Klaus Gotthardt (Prax. Inf.verarb. Kommun., 1994)

Formally Verified Firmware Modules for Industrial Process Automation. - Wolfgang A. Halang; Bernd J. Krämer; Norbert Völker (SAFECOMP, 1995)

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. - Wolfgang A. Halang; Bernd J. Krämer; Norbert Völker (VIS, 1995)

A Highly Dependable Computing Architecture for Safety-Critical Control Applications. - Bernd J. Krämer; Norbert Völker (Real Time Syst., 1997)

Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL. - Norbert Völker (Shaker, 1998)

Deriving CORBA Applications from Formal Specifications. - Bernd J. Krämer; Norbert Völker; Reiner Lichtenecker; Hans-Friedrich Kötter (J. Syst. Integr., 1998)

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. - Hans-Friedrich Kötter; Bernd J. Krämer; Norbert Völker (SimVis, 1999)

Disjoint Sums over Type Classes in HOL. - Norbert Völker (TPHOLs, 1999)

Automated verification of function block-based industrial control systems. - Norbert Völker; Bernd J. Krämer (Sci. Comput. Program., 2002)

Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. - Norbert Völker (UITP@TPHOLs, 2003)

Agent architecture for multi-robot cooperation over the Internet. - Huosheng Hu; Pui Wo Tsui; Liam Cragg; Norbert Völker (Integr. Comput. Aided Eng., 2004)

Modularity and Mobility of Distributed Control Software for Networked Mobile Robots. - Liam Cragg; Huosheng Hu; Norbert Völker (PPSDR@ICRA, 2005)

InterPROM - Interoperables kollaboratives Prozessmanagement in Kooperationen zwischen KMU und Großunternehmen. - Carsten Huth 001; Olaf Hahnl; Björn Reinhold; Norbert Völker (GeNeMe, 2006)

Interprom - A Collaborative Framework Driven by Business Needs - Service Oriented Inter-Organisational Support for Business Processes in Collaborative Environments. - Carsten Huth 001; Norbert Völker; Olaf Hahnl; Björn Reinhold (ICE-B, 2006)

HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. - Norbert Völker (TPHOLs, 2007)