BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Damm:Werner

Facilitated 1 volumes:

CAV 2007Ed

Contributed to:

FM 20152015
FM 20142014
DATE 20112011
FM 20112011
DATE 20082008
AGTIVE 20072007
UML 20012001
CAV 20002000
CAV 19931993
ICALP 19821982
ICALP 19781978
ICALP 19771977

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.