Norbert Völker

According to our database, Norbert Völker authored at least 17 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.

Norbert Völker

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

Interprom - A Collaborative Framework Driven by Business Needs - Service Oriented Inter-Organisational Support for Business Processes in Collaborative Environments.

Carsten Huth, Norbert Völker, Olaf Hahnl, Björn Reinhold

Proceedings of the ICE-B 2006, 2006

InterPROM - Interoperables kollaboratives Prozessmanagement in Kooperationen zwischen KMU und Großunternehmen.

Carsten Huth, Olaf Hahnl, Björn Reinhold, Norbert Völker

Proceedings of the Gemeinschaften in Neuen Medien (GeNeMe) 2006, Dresden, 2006

2005

Modularity and Mobility of Distributed Control Software for Networked Mobile Robots.

Liam Cragg, Huosheng Hu, Norbert Völker

Proceedings of the Software Engineering for Experimental Robotics, 2005

2004

Agent architecture for multi-robot cooperation over the Internet.

Huosheng Hu, Pui Wo Tsui, Liam Cragg, Norbert Völker

Integr. Comput. Aided Eng., 2004

2003

Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants.

Norbert Völker

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Automated verification of function block-based industrial control systems.

Norbert Völker, Bernd J. Krämer

Sci. Comput. Program., 2002

1999

Disjoint Sums over Type Classes in HOL.

Norbert Völker

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML.

Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker

Proceedings of the Simulation und Visualisierung 1999 (SimVis 1999), 1999

1998

Deriving CORBA Applications from Formal Specifications.

Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter

J. Syst. Integr., 1998

Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL.

Norbert Völker

Berichte aus der Elektrotechnik, Shaker, ISBN: 978-3-8265-4367-8, 1998

1997

A Highly Dependable Computing Architecture for Safety-Critical Control Applications.

Bernd J. Krämer, Norbert Völker

Real Time Syst., 1997

1995

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.

Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker

Proceedings of the Verläßliche IT-Systeme, Proceedings der GI-Fachtagung VIS '95, 1995

Formally Verified Firmware Modules for Industrial Process Automation.

Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker

Proceedings of the 14th International Conference on Computer Safety, 1995

1994

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme.

Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt

Prax. Inf.verarb. Kommun., 1994

1992

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

1991

Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.

Helmuth Partsch, Norbert Völker

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991