Dieter Barnard

According to our database, Dieter Barnard authored at least 6 papers between 1993 and 1997.

Collaborative distances:

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

1997

Temporal language of transitions and client server systems.

Dieter Barnard

PhD thesis, 1997

1996

Rapid Prototyping for an Assertional Specification language.

Jorge Cuéllar, Dieter Barnard, Martin Huber

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

The specification and verification of an experimental ATM signalling protocol.

Dieter Barnard, Simon Crosby

Proceedings of the Protocol Specification, 1995

1994

Combining the Design of Industrial Systems with Effective Verification Techniques.

Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

A Solution Relying on the Model Checking of Boolean Transition Systems.

Jorge Cuéllar, Dieter Barnard, Martin Huber

Proceedings of the Formal Systems Specification, 1994

1993

Modal checking for the modal mu-calculus using Gauss elimination

Dieter Barnard, Angelika Mader

Forschungsberichte, TU Munich, 1993