Gert Döhmen

Publication Activity (10 Years)

Years Active: 1985-2010
Publications (10 Years): 0

Publications

Gert Döhmen, Dietmar Sander, Andreas Lehmann
Complete and Virtual System Models for System Development. MBEES (2010)
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)
Gert Döhmen
Petri nets as intermediate representation between VHDL and symbolic transition systems. EURO-DAC (1994)
Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb
VHDL/S - integrating statecharts, timing diagrams, and VHDL. Microprocess. Microprogramming 38 (1-5) (1993)
Werner Damm, Gert Döhmen
Specifying distributed computer architectures in AADL. Parallel Comput. 9 (2) (1989)
Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop (1989)
Werner Damm, Gert Döhmen
An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) (1987)
Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt
The AADL/S* Approach to Firmware Design Verification. IEEE Softw. 3 (4) (1986)
Werner Damm, Gert Döhmen
Verification of microprogrammed computer architectures in the S*-system: a case study. MICRO (1985)