Benny Höckner

According to our database, Benny Höckner authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Formal Verification of Software for the Contiki Operating System Considering Interrupts.

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

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

Proceedings of the Membrane Computing, 2014

2013

Design space exploration for cyber physical system design using constraint solving.

Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler

Proceedings of the 2013 Forum on specification and Design Languages, 2013