Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern. - Pascal Pieper; Fabian Greif; Görschwin Fey (Echtzeit, 2016)

A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ. - Annika Ofenloch; Fabian Greif (J. Commun., 2018)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Görschwin Fey; Fabian Greif; Robert Könighofer; Ingo Pill; Heinz Riener; Franz Röck (Formal Methods Syst. Des., 2019)