From Trusted Annotations to Verified Knowledge
暂无分享,去创建一个
Albrecht Kadlec | Raimund Kirner | Jens Knoop | Adrian Prantl | Markus Schordan | R. Kirner | J. Knoop | Albrecht Kadlec | A. Prantl | M. Schordan
[1] Jens Knoop,et al. TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis , 2008, WCET.
[2] Jan Gustafsson. The WCET Tool Challenge 2006 , 2006 .
[3] Markus Schordan. Source-To-Source Analysis with SATIrE - an Example Revisited , 2008, Scalable Program Analysis.
[4] Alexander Metzner,et al. Why Model Checking Can Improve WCET Analysis , 2004, CAV.
[5] Bernhard Rieder,et al. Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis , 2008, 2008 International Workshop on Intelligent Solutions in Embedded Systems.
[6] Raimund Kirner,et al. Measurement-Based Timing Analysis , 2008, ISoLA.
[7] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[8] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[9] Thomas W. Reps,et al. Demand interprocedural dataflow analysis , 1995, SIGSOFT FSE.
[10] F. Cazorla,et al. 20th International Workshop on Worst-Case Execution Time Analysis , 2010 .
[11] Jens Knoop,et al. Constraint solving for high-level WCET analysis , 2009, ArXiv.
[12] Rajiv Gupta,et al. A practical framework for demand-driven interprocedural data flow analysis , 1997, TOPL.
[13] Bernhard Rieder,et al. Measurement-based timing analysis of applications written in ANSI-C , 2009 .
[14] Thomas A. Henzinger,et al. The software model checker Blast , 2007, International Journal on Software Tools for Technology Transfer.
[15] Guillem Bernat,et al. WCET TOOL CHALLENGE 2008: REPORT , 2008 .