Marianne De Michiel

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 6

Top Topics

Decision Diagrams

Recursive Neural Networks

Machine Learning And Statistical

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
A Framework for Calculating WCET Based on Execution Decision Diagrams. ACM Trans. Embed. Comput. Syst. 21 (3) (2022)
Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies. LCTES (2020)
Jordy Ruiz, Hugues Cassé, Marianne De Michiel
Working Around Loops for Infeasible Path Detection in Binary Programs. SCAM (2017)
Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin
Early WCET Prediction Using Machine Learning. WCET (2017)
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé
Expressing and Exploiting Conflicts over Paths in WCET Analysis. WCET (2016)
Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
FFX: a portable WCET annotation language. RTNS (2012)
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé
Normalisation of Loops with Covariant Variables. Electron. Notes Theor. Comput. Sci. 289 (2012)
Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS (2010)
Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
Partial Flow Analysis with oRange. ISoLA (2) (2010)
Clément Ballabriga, Hugues Cassé, Marianne De Michiel
A Generic Framework for Blackbox Components in WCET Computation. WCET (2009)
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. RTCSA (2008)
Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel
PapaBench: a Free Real-Time Benchmark. WCET (2006)
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Estimations pour le partitionnement de systèmes temps réel strict sur FPGA. Tech. Sci. Informatiques 23 (4) (2004)
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs. Tech. Sci. Informatiques 20 (8) (2001)
Marianne De Michiel, Marie-Christine Lafaye, Georges Louis, A. Redouane
Evaluation du placement des données sur disques pour une architecture parallèle sans partage en vue de son optimisation. INFORSID (1999)
Franck Ravat, Marianne De Michiel, Gilles Zurfluh
Distributed Object Oriented Databases: An Allocation Method. DEXA (1997)
L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, B. Sautet
Reconfigurable Modular Architecture for Hard Real-Time Applications. Applied Informatics (1994)
L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, Patrick Magnaud
From specification to implementation of a real-time system. Microprocess. Microprogramming 35 (1-5) (1992)