关注
Marianne de Michiel
Marianne de Michiel
在 irit.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
Papabench: a free real-time benchmark
F Nemer, H Cassé, P Sainrat, JP Bahsoun, M De Michiel
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)(2006), 2006
1932006
Static loop bound analysis of C programs based on flow analysis and abstract interpretation
M De Michiel, A Bonenfant, H Cassé, P Sainrat
2008 14th IEEE International Conference on Embedded and Real-Time Computing …, 2008
882008
WCET tool challenge 2011: Report
R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ...
11th International Workshop on Worst-Case Execution-Time Analysis, 2011
392011
Early WCET prediction using machine learning
A Bonenfant, D Claraz, M De Michiel, P Sotin
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017 …, 2017
282017
MBBA: a multi-bandwidth bus arbiter for hard real-time
R Bourgade, C Rochange, M De Michiel, P Sainrat
2010 5th International Conference on Embedded and Multimedia Computing, 1-7, 2010
262010
oRange: A tool for static loop bound analysis
A Bonenfant, M de Michiel, P Sainrat
Proceedings of the Workshop on Resource Analysis 42, 2008
192008
FFX: A portable WCET annotation language
A Bonenfant, H Cassé, M De Michiel, J Knoop, L Kovács, J Zwirchmayr
Proceedings of the 20th International Conference on Real-Time and Network …, 2012
152012
WCET tool challenge 2008: Report
N Holsti, J Gustafsson, G Bernat, C Ballabriga, A Bonenfant, R Bourgade, ...
8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008 …, 2008
152008
Improving the performance of WCET analysis in the presence of variable latencies
Z Bai, H Cassé, M De Michiel, T Carle, C Rochange
The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools …, 2020
122020
Partial Flow Analysis with oRange
M De Michiel, A Bonenfant, C Ballabriga, H Cassé
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
122010
FFX: A Portable WCET Annotation Language
J Zwirchmayr, L Kovacs, J Knoop, A Bonenfant, H Cassé, C Rochange
20th International Conference on Real-Time and Network Systems, 91-100, 2012
112012
Coding guidelines for WCET analysis using measurement-based and static analysis techniques
A Bonenfant, I Broster, C Ballabriga, G Bernat, H Cassé, M Houston, ...
IRIT-Institut de Recherche en Informatique de Toulouse, Tech. Rep, Tech. Rep …, 2010
112010
WCET 2008—Report from the Tool Challenge 2008
N Holsti, J Gustafsson, G Bernat, C Ballabriga, A Bonenfant, R Bourgade, ...
Proceedings of the 8th International Workshop on Worst-Case Execution Time …, 2008
102008
Working around loops for infeasible path detection in binary programs
J Ruiz, H Cassé, M De Michiel
2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017
92017
The W-SEPT project: Towards semantic-aware WCET estimation
C Maiza, P Raymond, C Parent-Vigouroux, A Bonenfant, F Carrier, ...
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017
82017
A generic framework for blackbox components in wcet computation
C Ballabriga, H Cassé, M De Michiel
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)(2009), 2009
82009
WCET 2008–Report from the Tool Challenge 2008–8th intl
N Holsti, J Gustafsson, G Bernat, C Ballabriga, A Bonenfant, R Bourgade, ...
Workshop on Worst-Case Execution Time (WCET) Analysis, 2008
72008
Expressing and exploiting conflicts over paths in WCET analysis
V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), 2016
62016
A framework for calculating WCET based on execution decision diagrams
Z Bai, H Cassé, M De Michiel, T Carle, C Rochange
ACM Transactions on Embedded Computing Systems (TECS) 21 (3), 1-26, 2022
52022
WCET 2008--Report from the Tool Challenge 2008--8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis
N Holsti, J Gustafsson, G Bernat, C Ballabriga, A Bonenfant, R Bourgade, ...
8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08), 2008
52008
系统目前无法执行此操作,请稍后再试。
文章 1–20