Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

Published in: Frontiers in Computer Science, 4 (2022)

Published in: Electronic Proceedings in Theoretical Computer Science, 390 (2023), Seite 203-219

Published in: SSRN Electronic Journal (2022)

Published in: Information and Computation, 272 (2020), Seite 104501

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2020), Seite 289-306

Published in: Information and Computation, 262 (2018), Seite 221-240

Published in: Formal Methods in System Design, 52 (2018) 2, Seite 193-226

Published in: Electronic Proceedings in Theoretical Computer Science, 256 (2017), Seite 121-135

Published in: Computer Aided Verification (2016), Seite 270-290

Published in: Electronic Proceedings in Theoretical Computer Science, 226 (2016), Seite 30-45

Published in: Hardware and Software: Verification and Testing (2016), Seite 117-133

Published in: SSRN Electronic Journal (2023)