Norbert Völker

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