| 2019 | ISCAS | Exact Stimuli Minimization for Simulation-Based Verification. | Sebastian Pointner, Andreas Grimmer, Robert Wille |
| 2018 | ASPDAC | Sound valve-control for programmable microfluidic devices. | Andreas Grimmer, Berislav Klepic, Tsung-Yi Ho, Robert Wille |
| 2017 | ASPDAC | Close-to-optimal placement and routing for continuous-flow microfluidic biochips. | Andreas Grimmer, Qin Wang, Hailong Yao, Tsung-Yi Ho, Robert Wille |
| 2017 | ASPDAC | Exact routing for micro-electrode-dot-array digital microfluidic biochips. | Oliver Keszcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| 2017 | DAC | A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
| 2017 | DATE | Verification of networked Labs-on-Chip architectures. | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
| 2014 | ETFA | Behavioral model synthesis of PLC programs from execution traces. | Herbert Prhofer, Roland Schatz, Andreas Grimmer |
| 2014 | SPLC | Identifying inactive code in product lines with configuration-aware system dependence graphs. | Florian Angerer, Herbert Prhofer, Daniela Lettner, Andreas Grimmer, Paul Grnbacher |