Design space exploration for cyber physical system design using constraint solving. - Benny Höckner; Petra Hofstedt; Sascha Kaltschmidt; Peter Sauer; Thilo Vörtler (FDL, 2013)

Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms. - Thomas Hinze; Konrad Grützmann; Benny Höckner; Peter Sauer; Sikander Hayat (Int. Conf. on Membrane Computing, 2014)

Formal Verification of Software for the Contiki Operating System Considering Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (DDECS, 2015)

Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. - Thilo Vörtler; Benny Höckner; Petra Hofstedt; Thomas Klotz (MBMV, 2015)