Fabian Greif
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.
103-135
2019
55
Formal Methods Syst. Des.
2
https://doi.org/10.1007/s10703-019-00338-9
https://www.wikidata.org/entity/Q92186791
db/journals/fmsd/fmsd55.html#BloemFGKPRR19
Annika Ofenloch
Fabian Greif
A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ.
333-337
2018
13
J. Commun.
6
https://doi.org/10.12720/jcm.13.6.333-337
db/journals/jcm/jcm13.html#OfenlochG18
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.
2018
abs/1809.01607
CoRR
http://arxiv.org/abs/1809.01607
db/journals/corr/corr1809.html#abs-1809-01607
Pascal Pieper
Fabian Greif
Görschwin Fey
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash-Speichern.
127-132
2016
Echtzeit
https://doi.org/10.1007/978-3-662-53443-4_14
conf/pearl/2016
db/conf/pearl/echtzeit2016.html#PieperGF16
Roderick Bloem
Görschwin Fey
Robert Könighofer
Annika Ofenloch
Pascal Pieper
Ingo Pill
Heinz Riener
Franz Röck