BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.
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.