An efficient generic network flow constraint. - Robin Steiger; Willem Jan van Hoeve; Radoslaw Szymanek (SAC, 2011)

Sets with Cardinality Constraints in Satisfiability Modulo Theories. - Philippe Suter; Robin Steiger; Viktor Kuncak (VMCAI, 2011)

CAST: Automating Software Tests for Embedded Systems. - Michael Wahler; Ettore Ferranti; Robin Steiger; Rahul Jain 007; Kristian Nagy (ICST, 2012)

FASA: a scalable software framework for distributed control systems. - Manuel Oriol; Michael Wahler; Robin Steiger; Sascha Stoeter; Egemen Vardar; Heiko Koziolek; Atul Kumar (ISARCS, 2012)