| 2007 |
|---|
| 11 | EE | Norbert Völker:
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.
TPHOLs 2007: 334-351 |
| 2004 |
|---|
| 10 | EE | Norbert Völker:
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants.
Electr. Notes Theor. Comput. Sci. 103: 139-159 (2004) |
| 2002 |
|---|
| 9 | | Norbert Völker,
Bernd J. Krämer:
Automated verification of function block-based industrial control systems.
Sci. Comput. Program. 42(1): 101-113 (2002) |
| 1999 |
|---|
| 8 | | 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: 19-32 |
| 7 | EE | Norbert Völker:
Disjoint Sums over Type Classes in HOL.
TPHOLs 1999: 5-18 |
| 6 | EE | Norbert Völker,
Bernd J. Krämer:
Automated Verification of Function Block Based Industrial Control Systems.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1998 |
|---|
| 5 | | Bernd J. Krämer,
Norbert Völker,
Reiner Lichtenecker,
Hans-Friedrich Kötter:
Deriving CORBA Applications from Formal Specifications.
Journal of Systems Integration 8(2): 143-158 (1998) |
| 1997 |
|---|
| 4 | | Bernd J. Krämer,
Norbert Völker:
A Highly Dependable Computing Architecture for Safety-Critical Control Applications.
Real-Time Systems 13(3): 237-251 (1997) |
| 1995 |
|---|
| 3 | | Wolfgang A. Halang,
Bernd J. Krämer,
Norbert Völker:
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
VIS 1995: 229- |
| 1992 |
|---|
| 2 | | 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): 547-554 (1992) |
| 1991 |
|---|
| 1 | | 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: 35-48 |
