Verification of microprogrammed computer architectures in the S*-system: a case study. - Werner Damm; Gert Döhmen (MICRO, 1985)

The AADL/S* Approach to Firmware Design Verification. - Werner Damm; Gert Döhmen; Klaus Merkel; Mathilde Sichelschmidt (IEEE Softw., 1986)

An Axiomatic Approach to the Specification of Distributed Computer Architectures. - Werner Damm; Gert Döhmen (PARLE (1), 1987)

Modular Verification of Petri Nets: The Temporal Logic Approach. - Werner Damm; Gert Döhmen; Volker Gerstner; Bernhard Josko (REX Workshop, 1989)

Specifying distributed computer architectures in AADL. - Werner Damm; Gert Döhmen (Parallel Comput., 1989)

VHDL/S - integrating statecharts, timing diagrams, and VHDL. - Johannes Helbig; Rainer Schlör; Werner Damm; Gert Döhmen; Peter Kelb (Microprocess. Microprogramming, 1993)

Model Checking Using Adaptive State and Data Abstraction. - Dennis Dams; Rob Gerth; Gert Döhmen; Ronald Herrmann; Peter Kelb; Hergen Pargmann (CAV, 1994)

Petri nets as intermediate representation between VHDL and symbolic transition systems. - Gert Döhmen (EURO-DAC, 1994)

Translating VHDL into Functional Symbolic Finite-State Models. - Gert Döhmen; Ronald Herrmann; Hergen Pargmann (Formal Methods Syst. Des., 1995)

Complete and Virtual System Models for System Development. - Gert Döhmen; Dietmar Sander; Andreas Lehmann 002 (MBEES, 2010)