Bernd Baumgarten

Publication Activity (10 Years)

Years Active: 1984-1999
Publications (10 Years): 0

Publications

Bernd Baumgarten, Olaf Henniger
Testability with Unbounded Testing Strategies. IWTCS (1999)
Bernd Baumgarten
A Minimal Framework for Specification Theory. World Congress on Formal Methods (1999)
Bernd Baumgarten, H. Wiland
Qualitative Notions of Testability. IWTCS (1998)
Alfred Giessler, Bernd Baumgarten
Die OSI-Konformitätsmethodik. Prax. Inf.verarb. Kommun. 17 (1) (1994)
Bernd Baumgarten
On Internal and External Characterizations of PT- net Building Block Behaviors. European Workshop on Applications and Theory of Petri Nets (1987)
Bernd Baumgarten, Peter Ochsenschläger
On Termination and Phase Changes in the Presence of Unreliable Communication. Inf. Process. Lett. 22 (1) (1986)
Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth
Building blocks for distributed system design. PSTV (1985)
Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
The signing of a contract - a tree-structured application. Applications and Theory in Petri Nets (1985)
Bernd Baumgarten, Peter Ochsenschläger
Modeling and verification of a checkpoint-restart-protocol. Fehlertolerierende Rechensysteme (1984)