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: Galler:Stefan_J=
Contributed to:
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.