Results
Publications
- Expressing and Exploiting Path Conflicts in WCET Analysis. Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne de Michiel and Hugues Cassé - 16th International Workshop on Worst-Case Execution Time Analysis, (WCET), 2016.
- Dynamic Branch Resolution based on Combined Static Analyses. Wei-Tsun Sun and Hugues Cassé - 16th International Workshop on Worst-Case Execution Time Analysis, (WCET), 2016.
- When the worst-case execution time estimation gains from the application semantics. A. Bonenfant, F. Carrier, H. Cassé, P. Cuenot, D. Claraz, N. Halbwachs, H. Li, C. Maiza, M. De Michiel, V. Mussot, C. Parent-Vigouroux, I. Puaut, P. Raymond, E. Rohou, and P. Sotin - 8th European Congress Embedded Real Time Software and Systems (ERTS2), 2016.
- Improving WCET Analysis Precision through Automata Product. Vincent Mussot, Pascal Sotin - International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2015.
- Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. Hanbing Li, Isabelle Puaut, Erven Rohou, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2015.
- WCET and Mixed-Criticality: What doesConfidence in WCET Estimations Depend Upon? Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke and Christine Rochange. 15th International Workshop on Worst-Case Execution Time Analysis, (WCET), 2015.
- A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique. Pascal Raymond - International Conference on Embedded Software (EMSOFT), October 12-17, 2014, New Delhi, India.
- The WCET Analysis using Counters - A Preliminary Assessment. Boutonnet Remy and Asavoae Mihail. Oct 2014,In Proceedings of 8th JRWRTC, in conjunction with RTNS14
- How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza - SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14
- Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. Hanbing Li, Isabelle Puaut, Erven Rohou - 22nd International Conference on Real-Time Networks and Systems RTNS 2014, October 8-10, 2014, Versailles, France.
- Identifying Relevant Parameters to Improve WCET Analysis. Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot - International Workshop on Worst-Case Execution Time Analysis (WCET), July 8th, 2014, Madrid, Spain.
- From Relevant High-level Properties to WCET Computation Improvement. Vincent Mussot, Armelle Bonenfant, Pascal Sotin, Philippe Cuenot, Denis Claraz - International Conference on Embedded Real Time Software and Systems (ERTS2), February 2014, Toulouse, France.
- Timing Analysis Enhancement for Synchronous Program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux and Fabienne Carrier - 21st International Conference on Real-Time Networks and Systems, RTNS 2013, Sophia Antipolis, France, October 16-18, 2013.
- Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. Mihail Asavoae, Claire Maiza, Pascal Raymond - 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France.
- Multi-architecture Value Analysis for Machine Code. Hugues Cassé, Florian Birée, Pascal Sainrat - 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France.
Theses
