Robin Steiger

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Field Programmable Gate Array

Processing Power

Consumer Electronics

Top Venues

Publications

Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy
CAST: Automating Software Tests for Embedded Systems. ICST (2012)
Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar
FASA: a scalable software framework for distributed control systems. ISARCS (2012)
Robin Steiger, Willem Jan van Hoeve, Radoslaw Szymanek
An efficient generic network flow constraint. SAC (2011)
Philippe Suter, Robin Steiger, Viktor Kuncak
Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI (2011)