W. Damm - Citegraph

Author Info

Name	Affiliation	Papers
W. DAMM	Lehrstuhl für Informatik II, RICH Aachen, Biichel 29-31, D- 5100 Aachen	8
Collaborators	Citations	PageRank
38	98	13.68
Referers	Referees	References
228	90	70

Search Limit

100228

Publications (8 rows)

Collaborators (38 rows)

Referers (100 rows)

Referees (90 rows)

Title	Citations	PageRank	Year
Guidelines for a graduate curriculum on embedded software and systems	33	4.52	2005
VHDL/S—integrating statecharts, timing diagrams, and VHDL	7	0.69	1993
Modular verification of Petri Nets: the temporal logic approach	18	1.21	1989
Specifying distributed computer architectures in AADL	15	1.17	1989
An axiomatic approach to the specification of distributed computer architectures	3	1.90	1987
The AADL/S* Approach to Firmware Design Verification	15	1.59	1986
Design and specification of microprogrammed computer architectures.	3	1.36	1985
Verification of microprogrammed computer architectures in the S*-system: a case study.	4	1.23	1985

1