Awards
| Title | Source | |
|---|---|---|
| Classification-based Improvement of Application Robustness and Quality of Service in Probabilistic Computer Systems | Architecture of Computing Systems (ARCS'12) | |
| Reliable Software for Unreliable Hardware: Embedded Code Generation aiming at Reliability | IEEE International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS'11) |



