| * | 1995 |
|---|
| 7 | | Gert Döhmen,
Ronald Herrmann,
Hergen Pargmann:
Translating VHDL into Functional Symbolic Finite-State Models.
Formal Methods in System Design 7(1/2): 125-148 (1995) |
| 1994 |
|---|
| 6 | EE | Dennis Dams,
Rob Gerth,
Gert Döhmen,
Ronald Herrmann,
Peter Kelb,
Hergen Pargmann:
Model Checking Using Adaptive State and Data Abstraction.
CAV 1994: 455-467 |
| 5 | EE | Gert Döhmen:
Petri nets as intermediate representation between VHDL and symbolic transition systems.
EURO-DAC 1994: 572-577 |
| 1993 |
|---|
| 4 | EE | Johannes Helbig,
Rainer Schlör,
Werner Damm,
Gert Döhmen,
Peter Kelb:
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocessing and Microprogramming 38(1-5): 571-580 (1993) |
| 1989 |
|---|
| 3 | EE | Werner Damm,
Gert Döhmen,
Volker Gerstner,
Bernhard Josko:
Modular Verification of Petri Nets: The Temporal Logic Approach.
REX Workshop 1989: 180-207 |
| 2 | | Werner Damm,
Gert Döhmen:
Specifying distributed computer architectures in AADL.
Parallel Computing 9(2): 193-211 (1989) |
| 1987 |
|---|
| 1 | EE | Werner Damm,
Gert Döhmen:
An Axiomatic Approach to the Specification of Distributed Computer Architectures.
PARLE (1) 1987: 103-120 |
