Fabian Greif

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Reactive Systems

Formal Specification Language

Top Venues

Formal Methods Syst. Des.

Publications

Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55 (2) (2019)
Annika Ofenloch, Fabian Greif
A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ. J. Commun. 13 (6) (2018)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR (2018)
Pascal Pieper, Fabian Greif, Görschwin Fey
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern. Echtzeit (2016)