Bernd Baumgarten

According to our database, Bernd Baumgarten authored at least 11 papers between 1984 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Testability with Unbounded Testing Strategies.

Bernd Baumgarten, Olaf Henniger

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

A Minimal Framework for Specification Theory.

Bernd Baumgarten

Proceedings of the FM'99 - Formal Methods, 1999

1998

Qualitative Notions of Testability.

Bernd Baumgarten, H. Wiland

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1996

Petri-Netze - Grundlagen und Anwendungen (2. Aufl.).

Bernd Baumgarten

Spektrum Akademischer Verlag, ISBN: 978-3-8274-0175-5, 1996

1994

Die OSI-Konformitätsmethodik.

Alfred Giessler, Bernd Baumgarten

Prax. Inf.verarb. Kommun., 1994

1990

Petri-Netze - Grundlagen und Anwendungen.

Bernd Baumgarten

BI-Wissenschaftsverlag, ISBN: 978-3-411-14291-0, 1990

1987

On Internal and External Characterizations of PT- net Building Block Behaviors.

Bernd Baumgarten

Proceedings of the Advances in Petri Nets 1988, 1987

1986

On Termination and Phase Changes in the Presence of Unreliable Communication.

Bernd Baumgarten, Peter Ochsenschläger

Inf. Process. Lett., 1986

1985

Building blocks for distributed system design.

Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Protocol Specification, 1985

The signing of a contract - a tree-structured application.

Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Modeling and verification of a checkpoint-restart-protocol.

Bernd Baumgarten, Peter Ochsenschläger

Proceedings of the Fehlertolerierende Rechensysteme, 1984