Concepedia

Daniel Knorreck

DK

3

Publications

139

Citations

3

H-Index

2011

Active since

Affiliations

Télécom Paris(Current)

Centre National de la Recherche Scientifique

Institut Mines-Télécom

Laboratoire Traitement et Communication de l’Information

Daniel Knorreck is an author at Télécom Paris specializing in automated reasoning, formal methods, and formal verification.

Top concepts

Publications per year

2011–2012

3

Publications

3

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

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck · 2011 · 75 citations

, , +26

TEPE

Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui‐Sannes · ACM SIGSOFT Software Engineering Notes · 2011 · 51 citations

, , +18

Formal system‐level design space exploration

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet · Concurrency and Computation Practice and Experience · 2012 · 13 citations

Rows per page

1–3 of 3