Dieter Barnard

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Jorge Cuéllar, Dieter Barnard, Martin Huber
Rapid Prototyping for an Assertional Specification language. TACAS (1996)
Dieter Barnard, Simon Crosby
The specification and verification of an experimental ATM signalling protocol. PSTV (1995)
Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
Combining the Design of Industrial Systems with Effective Verification Techniques. FME (1994)
Jorge Cuéllar, Dieter Barnard, Martin Huber
A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification (1994)
Dieter Barnard, Angelika Mader
Modal checking for the modal mu-calculus using Gauss elimination Forschungsberichte, TU Munich (1993)