Gert Döhmen

According to our database, Gert Döhmen authored at least 10 papers between 1985 and 2010.

Collaborative distances:

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

2010

Complete and Virtual System Models for System Development.

Gert Döhmen, Dietmar Sander, Andreas Lehmann

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

1995

Translating VHDL into Functional Symbolic Finite-State Models.

Gert Döhmen, Ronald Herrmann, Hergen Pargmann

Formal Methods Syst. Des., 1995

1994

Petri nets as intermediate representation between VHDL and symbolic transition systems.

Gert Döhmen

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

1993

VHDL/S - integrating statecharts, timing diagrams, and VHDL.

Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb

Microprocess. Microprogramming, 1993

1989

Specifying distributed computer architectures in AADL.

Werner Damm, Gert Döhmen

Parallel Comput., 1989

Modular Verification of Petri Nets: The Temporal Logic Approach.

Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1987

An Axiomatic Approach to the Specification of Distributed Computer Architectures.

Werner Damm, Gert Döhmen

Proceedings of the PARLE, 1987

1986

The AADL/S* Approach to Firmware Design Verification.

Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt

IEEE Softw., 1986

1985

Verification of microprogrammed computer architectures in the S*-system: a case study.

Werner Damm, Gert Döhmen

Proceedings of the 18th annual workshop on Microprogramming, 1985