A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems

Lin Li, Philipp Wagner 0001, Ramesh Ramaswamy, Albrecht Mayer, Thomas Wild, Andreas Herkersdorf. A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems. In Sander Stuijk, editor, Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, May 23-25, 2016. pages 180-189, ACM, 2016. [doi]

Authors

Lin Li

This author has not been identified. Look up 'Lin Li' in Google

Philipp Wagner 0001

This author has not been identified. Look up 'Philipp Wagner 0001' in Google

Ramesh Ramaswamy

This author has not been identified. Look up 'Ramesh Ramaswamy' in Google

Albrecht Mayer

This author has not been identified. Look up 'Albrecht Mayer' in Google

Thomas Wild

This author has not been identified. Look up 'Thomas Wild' in Google

Andreas Herkersdorf

This author has not been identified. Look up 'Andreas Herkersdorf' in Google