Login / Signup
Benny Höckner
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Formal Verification
Design Space Exploration
Operating System
Constraint Solving
Top Venues
FDL
DDECS
Int. Conf. on Membrane Computing
MBMV
</>
Publications
</>
Thilo Vörtler
,
Benny Höckner
,
Petra Hofstedt
,
Thomas Klotz
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.
MBMV
(2015)
Thilo Vörtler
,
Benny Höckner
,
Petra Hofstedt
,
Thomas Klotz
Formal Verification of Software for the Contiki Operating System Considering Interrupts.
DDECS
(2015)
Thomas Hinze
,
Konrad Grützmann
,
Benny Höckner
,
Peter Sauer
,
Sikander Hayat
Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms.
Int. Conf. on Membrane Computing
(2014)
Benny Höckner
,
Petra Hofstedt
,
Sascha Kaltschmidt
,
Peter Sauer
,
Thilo Vörtler
Design space exploration for cyber physical system design using constraint solving.
FDL
(2013)