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 × Taiwan
1 × USA
Collaborated with:
W.J.v.Hoeve R.Szymanek P.Suter V.Kuncak M.Wahler E.Ferranti R.Jain K.Nagy
Talks about:
constraint (2) softwar (1) satisfi (1) network (1) generic (1) theori (1) system (1) modulo (1) effici (1) cardin (1)

Person: Robin Steiger

DBLP DBLP: Steiger:Robin

Contributed to:

ICST 20122012
SAC 20112011
VMCAI 20112011

Wrote 3 papers:

ICST-2012-WahlerFSJN #automation #embedded #named #testing
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
SAC-2011-SteigerHS #constraints #network #performance
An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
VMCAI-2011-SuterSK #constraints #modulo theories #satisfiability #set
Sets with Cardinality Constraints in Satisfiability Modulo Theories (PS, RS, VK), pp. 403–418.

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.