Norbert Völker

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.
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.
Proceedings of the ICE-B 2006, 2006

InterPROM - Interoperables kollaboratives Prozessmanagement in Kooperationen zwischen KMU und Großunternehmen.
Proceedings of the Gemeinschaften in Neuen Medien (GeNeMe) 2006, Dresden, 2006

2005
Modularity and Mobility of Distributed Control Software for Networked Mobile Robots.
Proceedings of the Software Engineering for Experimental Robotics, 2005

2004
Agent architecture for multi-robot cooperation over the Internet.
Integr. Comput. Aided Eng., 2004

2003
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants.
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002
Automated verification of function block-based industrial control systems.
Sci. Comput. Program., 2002

1999
Disjoint Sums over Type Classes in HOL.
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.
Proceedings of the Simulation und Visualisierung 1999 (SimVis 1999), 1999

1998
Deriving CORBA Applications from Formal Specifications.
J. Syst. Integr., 1998

Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL.
Berichte aus der Elektrotechnik, Shaker, ISBN: 978-3-8265-4367-8, 1998

1997
A Highly Dependable Computing Architecture for Safety-Critical Control Applications.
Real Time Syst., 1997

1995
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
Proceedings of the Verläßliche IT-Systeme, Proceedings der GI-Fachtagung VIS '95, 1995

Formally Verified Firmware Modules for Industrial Process Automation.
Proceedings of the 14th International Conference on Computer Safety, 1995

1994
Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme.
Prax. Inf.verarb. Kommun., 1994

1992
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.
Comput. J., 1992

1991
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991


  Loading...