Modal checking for the modal mu-calculus using Gauss elimination - Dieter Barnard; Angelika Mader (Forschungsberichte, TU Munich, 1993)

A Solution Relying on the Model Checking of Boolean Transition Systems. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (Formal Systems Specification, 1994)

Combining the Design of Industrial Systems with Effective Verification Techniques. - Jorge Cuéllar; Isolde Wildgruber; Dieter Barnard (FME, 1994)

The specification and verification of an experimental ATM signalling protocol. - Dieter Barnard; Simon Crosby (PSTV, 1995)

Rapid Prototyping for an Assertional Specification language. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (TACAS, 1996)

Temporal language of transitions and client server systems. - Dieter Barnard (Bertz, 1997)