| Safety-Critical Software Development in C++. | 1 | 0.35 | 2020 |
| TimeWeaver - A Tool for Hybrid Worst-Case Execution Time Analysis. | 0 | 0.34 | 2019 |
| On Software Safety, Security, and Abstract Interpretation. | 0 | 0.34 | 2018 |
| WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. | 2 | 0.39 | 2017 |
| Exploiting Synergies between Static Analysis and Model-Based Testing | 0 | 0.34 | 2015 |
| True Error Or False Alarm? Refining Astr'Ee'S Abstract Interpretation Results By Embedded Tester'S Automatic Model-Based Testing | 0 | 0.34 | 2014 |
| Proving the Absence of Stack Overflows | 6 | 0.60 | 2014 |
| Architecture exploration and timing estimation during early design phases. | 1 | 0.35 | 2013 |
| Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation | 10 | 0.65 | 2007 |
| Towards Model-Driven Development of Hard Real-Time Systems | 5 | 0.43 | 2006 |
| Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation | 0 | 0.34 | 2006 |
| Towards formally verifiable resource bounds for real-time embedded systems | 7 | 0.55 | 2006 |
| erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. | 0 | 0.34 | 2005 |
| Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation | 0 | 0.34 | 2005 |
| Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code | 8 | 0.61 | 2004 |
| Cache behavior prediction by abstract interpretation | 112 | 7.73 | 1999 |
| Cache Behavior Prediction by Abstract Interpretation | 86 | 7.58 | 1996 |
