Bibliography
- RERS2019
- Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager: RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 2019: 101-115
- SANER2019
- Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik: Improving Model Inference in Industry by Combining Active and Passive Learning. SANER 2019: 253-263
- SPIN2013
- Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske: Property-Driven Benchmark Generation. SPIN 2013: 341-357
