Collaborated with:H.Roehm E.C.Mayer C.Gladisch C.Heinzemann J.Oehlerking A.v.Vietinghoff T.Pfitzer
Talks about:stl (2) inspector (1) guarante (1) control (1) search (1) experi (1) applic (1) valid (1) paper (1) drive (1)
Person: Thomas Heinz 0001
DBLP: 0001:Thomas_Heinz
Contributed to:
2019
2017Wrote 2 papers:
- ASE-2019-Gladisch0HOVP #automation #experience #search-based #testing
- Experience Paper: Search-Based Testing in Automated Driving Control Applications (CG, TH0, CH, JO, AvV, TP), pp. 26–37.
- CAV-2017-RoehmHM #named #validation
- STLInspector: STL Validation with Guarantees (HR, TH0, ECM), pp. 225–232.