Fast Simulation Techniques for Design Space Exploration. - Daniel Knorreck; Ludovic Apvrille; Renaud Pacalet (TOOLS (47), 2009)

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. - Gabriel Pedroza; Ludovic Apvrille; Daniel Knorreck (NOTERE, 2011)

TEPE: a SysML language for time-constrained property modeling and formal verification. - Daniel Knorreck; Ludovic Apvrille; Pierre de Saqui-Sannes (ACM SIGSOFT Softw. Eng. Notes, 2011)

IEEE 802.11p Receiver Design for Software Defined Radio Platforms. - Carina Schmidt-Knorreck; Daniel Knorreck; Raymond Knopp (DSD, 2012)

Formal system-level design space exploration. - Daniel Knorreck; Ludovic Apvrille; Renaud Pacalet (Concurr. Comput. Pract. Exp., 2013)