Robin Steiger

According to our database, Robin Steiger authored at least 4 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

FASA: a scalable software framework for distributed control systems.

Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar

Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

CAST: Automating Software Tests for Embedded Systems.

Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories.

Philippe Suter, Robin Steiger, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

An efficient generic network flow constraint.

Robin Steiger, Willem Jan van Hoeve, Radoslaw Szymanek

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011