Daniel Knorreck

According to our database, Daniel Knorreck authored at least 5 papers between 2009 and 2013.

Collaborative distances:

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

2013

Formal system-level design space exploration.

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

Concurr. Comput. Pract. Exp., 2013

2012

IEEE 802.11p Receiver Design for Software Defined Radio Platforms.

Carina Schmidt-Knorreck, Daniel Knorreck, Raymond Knopp

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

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

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2009

Fast Simulation Techniques for Design Space Exploration.

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009