Towards Benchmark Optimization by Automated Equivalence Detection

Piscataway, NJ / IEEE (2018) [Contribution to a book, Contribution to a conference proceedings]

2018 1st Workshop on Benchmarking Cyber-Physical Networks and Systems : CPSBench 2018 : 10 April 2018, Porto, Portugal : proceedings / general chair: Omprakash Gnawali (University of Houston, USA)

Authors

Authors

Schemmel, Daniel
Glebke, René
Stoffers, Mirko
Wehrle, Klaus

Identifier