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 × France
1 × Germany
1 × Italy
Collaborated with:
M.Weiglhofer B.Jobstmann R.Bloem F.Wotawa N.Piterman A.Pnueli
Talks about:
synthesi (2) hardwar (2) properti (1) interact (1) contract (1) synthes (1) specifi (1) present (1) meaning (1) automat (1)

Person: Stefan J. Galler

DBLP DBLP: Galler:Stefan_J=

Contributed to:

SEFM 20102010
CAV 20072007
COCV 20072007
DATE 20072007

Wrote 4 papers:

SEFM-2010-GallerWW #contract #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
CAV-2007-JobstmannGWB #named #synthesis
Anzu: A Tool for Property Synthesis (BJ, SJG, MW, RB), pp. 258–262.
COCV-2007-BloemGJPPW #hardware
Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis
Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.

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.