Norbert Völker

Publication Activity (10 Years)

Years Active: 1991-2007
Publications (10 Years): 0

Publications

Norbert Völker
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. TPHOLs (2007)
Carsten Huth, Norbert Völker, Olaf Hahnl, Björn Reinhold
Interprom - A Collaborative Framework Driven by Business Needs - Service Oriented Inter-Organisational Support for Business Processes in Collaborative Environments. ICE-B (2006)
Carsten Huth, Olaf Hahnl, Björn Reinhold, Norbert Völker
InterPROM - Interoperables kollaboratives Prozessmanagement in Kooperationen zwischen KMU und Großunternehmen. GeNeMe (2006)
Liam Cragg, Huosheng Hu, Norbert Völker
Modularity and Mobility of Distributed Control Software for Networked Mobile Robots. PPSDR@ICRA (2005)
Huosheng Hu, Pui Wo Tsui, Liam Cragg, Norbert Völker
Agent architecture for multi-robot cooperation over the Internet. Integr. Comput. Aided Eng. 11 (3) (2004)
Norbert Völker
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. Electron. Notes Theor. Comput. Sci. 103 (2004)
Norbert Völker, Bernd J. Krämer
Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42 (1) (2002)
Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker
3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. SimVis (1999)
Norbert Völker
Disjoint Sums over Type Classes in HOL. TPHOLs (1999)
Norbert Völker, Bernd J. Krämer
Automated Verification of Function Block Based Industrial Control Systems. Electron. Notes Theor. Comput. Sci. 25 (1999)
Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. 8 (2) (1998)
Bernd J. Krämer, Norbert Völker
A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real Time Syst. 13 (3) (1997)
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS (1995)
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
Formally Verified Firmware Modules for Industrial Process Automation. SAFECOMP (1995)
Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt
Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Prax. Inf.verarb. Kommun. 17 (3) (1994)
Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35 (6) (1992)
Helmuth Partsch, Norbert Völker
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. Methods of Programming (1991)