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: Steiger:Robin
Contributed to:
2012
2011
2011Wrote 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.