Daniel Knorreck (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes: TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

2 Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet: Formal System-level Design Space Exploration. NOTERE 2010: 1-8

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

Selection of 3 from 3 records - Daniel Knorreck has 3 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes: TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
2		Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet: Formal System-level Design Space Exploration. NOTERE 2010: 1-8
1		Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet: Fast Simulation Techniques for Design Space Exploration. TOOLS (47) 2009: 308-327