Behavioral model synthesis of PLC programs from execution traces. - Herbert Prähofer; Roland Schatz; Andreas Grimmer (ETFA, 2014)

Identifying inactive code in product lines with configuration-aware system dependence graphs. - Florian Angerer; Herbert Prähofer; Daniela Lettner; Andreas Grimmer; Paul Grünbacher (SPLC, 2014)

Configuration-Aware Change Impact Analysis (T). - Florian Angerer; Andreas Grimmer; Herbert Prähofer; Paul Grünbacher (ASE, 2015)

Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned. - Andreas Grimmer; Florian Angerer; Herbert Prähofer; Paul Grünbacher (SANER, 2016)

Close-to-optimal placement and routing for continuous-flow microfluidic biochips. - Andreas Grimmer; Qin Wang 005; Hailong Yao; Tsung-Yi Ho; Robert Wille (ASP-DAC, 2017)

Exact routing for micro-electrode-dot-array digital microfluidic biochips. - Oliver Keszöcze; Zipeng Li; Andreas Grimmer; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler (ASP-DAC, 2017)

A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (DAC, 2017)

Verification of networked Labs-on-Chip architectures. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (DATE, 2017)

Stochastic Computing Using Droplet-Based Microfluidics. - Werner Haselmayr; Andreas Grimmer; Robert Wille (EUROCAST (2), 2017)

Addressing multiple nodes in networked labs-on-chips without payload re-injection. - Werner Haselmayr; Andrea Biral; Andreas Grimmer; Andrea Zanella; Andreas Springer; Robert Wille (ICC, 2017)

Verifikation von Networked Labs-on-Chip Architekturen. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (MBMV, 2017)

Formal methods for reasoning and uncertainty reduction in evidential grid maps. - Andreas Grimmer; Joachim Clemens; Robert Wille (Int. J. Approx. Reason., 2017)

Sound valve-control for programmable microfluidic devices. - Andreas Grimmer; Berislav Klepic; Tsung-Yi Ho; Robert Wille (ASP-DAC, 2018)

Comparison of switching principles in microfluidic bus networks. - Medina Hamidovic; Werner Haselmayr; Andreas Grimmer; Robert Wille; Andreas Springer (NANOCOM, 2018)

Multi-purpose, multi-level feature modeling of large-scale industrial software systems. - Daniela Rabiser; Herbert Prähofer; Paul Grünbacher; Michael Petruzelka; Klaus Eder; Florian Angerer; Mario Kromoser; Andreas Grimmer (Softw. Syst. Model., 2018)

Design of Application-Specific Architectures for Networked Labs-on-Chips. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Exact Stimuli Minimization for Simulation-Based Verification. - Sebastian Pointner; Andreas Grimmer; Robert Wille (ISCAS, 2019)

Change impact analysis for maintenance and evolution of variable software systems. - Florian Angerer; Andreas Grimmer; Herbert Prähofer; Paul Grünbacher (Autom. Softw. Eng., 2019)

Advanced Simulation of Droplet Microfluidics. - Andreas Grimmer; Medina Hamidovic; Werner Haselmayr; Robert Wille (ACM J. Emerg. Technol. Comput. Syst., 2019)

Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization. - Medina Hamidovic; Werner Haselmayr; Andreas Grimmer; Robert Wille; Andreas Springer (Nano Commun. Networks, 2019)

Automated Dimensioning of Networked Labs-on-Chip. - Andreas Grimmer; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Robustness Analysis for Droplet-Based Microfluidic Networks. - Gerold Fink; Andreas Grimmer; Medina Hamidovic; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing. - Andreas Grimmer; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)