Ronald Herrmann

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Ronald Herrmann, Thomas Reielts
Verification of a production cell using an automatic verification environment for VHDL. EURO-DAC (1995)
Gert Döhmen, Ronald Herrmann, Hergen Pargmann
Translating VHDL into Functional Symbolic Finite-State Models. Formal Methods Syst. Des. 7 (1/2) (1995)
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. CAV (1994)
Ronald Herrmann, Hergen Pargmann
Computing binary decision diagrams for VHDL data types. EURO-DAC (1994)