Ronald Herrmann

According to our database, Ronald Herrmann authored at least 5 papers between 1994 and 1998.

Collaborative distances:

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

1998

Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL.

Ronald Herrmann

PhD thesis, 1998

1995

Translating VHDL into Functional Symbolic Finite-State Models.

Gert Döhmen, Ronald Herrmann, Hergen Pargmann

Formal Methods Syst. Des., 1995

Verification of a production cell using an automatic verification environment for VHDL.

Ronald Herrmann, Thomas Reielts

Proceedings of the Proceedings EURO-DAC'95, 1995

1994

Computing binary decision diagrams for VHDL data types.

Ronald Herrmann, Hergen Pargmann

Proceedings of the Proceedings EURO-DAC'94, 1994

Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Proceedings of the Computer Aided Verification, 6th International Conference, 1994