Fabian Greif

According to our database, Fabian Greif authored at least 3 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2018

A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ.

Annika Ofenloch, Fabian Greif

J. Commun., 2018

2016

Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern.

Pascal Pieper, Fabian Greif, Görschwin Fey

Proceedings of the Internet der Dinge, 2016