Werner Damm

Hardware and Architecture · 2012–2018

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Hardware and Architecture — 14 citations into it
• Artificial Intelligence — 12 citations into it
• Computational Theory and Mathematics — 11 citations into it

Whom Werner Damm trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Luca de Alfaro
2. Edward A. Lee

Papers from Werner Damm's perspective

Ordered by how strongly the researchers Werner Damm trusts endorse each paper. Same corpus, a different order for every researcher.

1. Interface Theories for Component-Based Design (International Conference on Embedded Software)
2. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach
3. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
4. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
5. Interface automata (ESEC/FSE-9)
6. INTERFACE-BASED DESIGN
7. Taming heterogeneity - the Ptolemy approach (Proceedings of the IEEE)
8. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
9. Model Checking
10. Abstract Interpretation Frameworks

Their papers

• Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012) — 349 citations
• Contracts for System Design (2018) — 298 citations