Travelled to:
1 × Canada
1 × Denmark
1 × Finland
1 × France
1 × Greece
1 × Ireland
1 × Italy
1 × Norway
1 × Singapore
1 × USA
2 × Germany
Collaborated with:
∅ B.Finkbeiner B.Josko A.Goerdt E.Fehr T.Bienmüller H.Wittke C.Courcoubetis J.Bauer T.Toben B.Westphal H.Hungar T.Peikenkamp I.Stierand H.Heinecke A.Metzner H.Kopetz A.L.Sangiovanni-Vincentelli M.D.Natale
Talks about:
verif (4) system (3) synthesi (2) automat (2) analysi (2) higher (2) compon (2) type (2) architectur (1) understand (1)
Person: Werner Damm
DBLP: Damm:Werner
Facilitated 1 volumes:
Contributed to:
Wrote 12 papers:
- FM-2015-Damm #analysis #automation #lessons learnt #named #verification
- AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned (WD), pp. 18–19.
- FM-2014-DammF #automation #composition #distributed #synthesis
- Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
- DATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using
- Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
- FM-2011-DammF #question
- Does It Pay to Extend the Perimeter of a World Model? (WD, BF), pp. 12–26.
- DATE-2008-HeineckeDJMKSN #component #reliability
- Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
- AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification
- Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.
- UML-2001-Damm #comprehension #uml
- Understanding UML — Pains and Rewards (WD), p. 240.
- CAV-2000-BienmullerDW #verification
- The STATEMATE Verification Environment — Making It Real (TB, WD, HW), pp. 561–567.
- CAV-1993-CourcoubetisDJ #verification
- Verification of timing Properties of VHDL (CC, WD, BJ), pp. 225–236.
- ICALP-1982-DammG
- An Automata-Theoretic Characterization of the OI-Hierarchy (WD, AG), pp. 141–153.
- ICALP-1978-DammF #on the #power of #recursion #self
- On the Power of Self-Application and Higher Type-Recursion (WD, EF), pp. 177–191.
- ICALP-1977-Damm
- Languages Defined by Higher Type Program Schemes (WD), pp. 164–179.