Falk Howar
2020 (Workshop Chair), NFM 2020, JPF-WS 2019, SV-Comp 2020 2018: TACAS 2019, ISoLA 2020 (Chair of industrial track), FMICS (Chair) 2017: TACAS 2018, LearnAut 2017, JPF WS 2017 2016: TACAS 2017, NFM 2016, [...] Execution to Analyze Web Applications [February 2020] BitSTRICT Panel on Future of Embedded Systems [März 2018] Attract Group for Scenario-based Testing of Autonomous Robotic Systems . [February 2017] CACM article …