Daniel Knorreck

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Design Space Exploration

Software Defined Radio

Image Segmentation

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
Formal system-level design space exploration. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Carina Schmidt-Knorreck, Daniel Knorreck, Raymond Knopp
IEEE 802.11p Receiver Design for Software Defined Radio Platforms. DSD (2012)
Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes
TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE (2011)
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
Formal System-level Design Space Exploration. NOTERE (2010)
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
Fast Simulation Techniques for Design Space Exploration. TOOLS (47) (2009)