An introduction to binary decision diagrams. Lecture notes, 1997. ,
OTAWA: an open toolbox for adaptive WCET analysis, Software Technologies for Embedded and Ubiquitous Systems (SEUS), pp.35-46, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01055378
Computation of WCET using program slicing and real-time model-checking, 2011. ,
, Symbolic model checking: 1020 States and beyond. Information and Computation, vol.98, pp.142-170, 1992.
Timed automata for modelling caches and pipelines, 2015. ,
Processor Pipelines and and Static Worst-Case Execution Time Analysis, 2002. ,
Pipeline timing analysis using a tracedriven simulator, Proc. of 6th International Conference on Real-Time Computing Systems and Applications (RTCSA), 1999. ,
Taclebench: A benchmark collection to support worst-case execution time research, 16th International Workshop on Worst-Case Execution Time Analysis, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-02610690
Harmon. Bounding Pipeline and Instruction Cache Performance, IEEE Transactions on Computers, vol.48, issue.1, pp.53-70, 1999. ,
Worst-case execution time analysis for digital signal processors, 10th European Signal Processing Conference, pp.1-4, 2000. ,
, Status of the Bound-T WCET tool. Space Systems Finland Ltd, 2002.
Simulator generation using an automaton based pipeline model for timing analysis, In International Multiconference on Computer Science and Information Technology, pp.657-664, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00486839
The wcet analysis tool calcwcet167, International Symposium On Leveraging Applications of Formal Methods, Verication and Validation, pp.158-172, 2012. ,
Pipeline modeling for timing analysis, International Static Analysis Symposium, pp.294-309, 2002. ,
Modeling out-of-order processors for wcet analysis. Real-Time Systems, vol.34, pp.195-227, 2006. ,
Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Notices, vol.30, pp.88-98, 1995. ,
Timing anomalies in dynamically scheduled microprocessors, 20th IEEE Real-Time Systems Symposium, pp.12-21, 1999. ,
On the complexity of constructing optimal ordered binary decision diagrams, Mathematical Foundations of Computer Science, pp.515-524, 1994. ,
Shared binary decision diagram with attributed edges for ecient boolean function manipulation, 27th ACM/IEEE Design Automation Conference, pp.52-57, 1990. ,
A denition and classication of timing anomalies, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006. ,
A context-parameterized model for static analysis of execution times, Transactions on High-Performance Embedded Architectures and Compilers II, pp.222-241, 2009. ,
ILP-based path analysis on abstract pipeline state graphs, 2010. ,
Safe and precise WCET determination by abstract interpretation of pipeline models, 2004. ,
The worst-case execution-time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.3, pp.1-53, 2008. ,
Ecient Analysis of Pipeline Models for WCET Computation, WCET'05, 2007. ,