Marianne De Michiel

20 papers B 2C 2Misc 1Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Framework for Calculating WCET Based on Execution Decision Diagrams.
ACM Trans. Embed. Comput. Syst.
Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2020 B conf
Improving the Performance of WCET Analysis in the Presence of Variable Latencies.
LCTES
Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2017 — conf
Early WCET Prediction Using Machine Learning.
WCET
Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin
2017 — conf
The W-SEPT Project: Towards Semantic-Aware WCET Estimation.
WCET
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
2017 C conf
Working Around Loops for Infeasible Path Detection in Binary Programs.
SCAM
Jordy Ruiz, Hugues Cassé, Marianne De Michiel
2016 — conf
Expressing and Exploiting Conflicts over Paths in WCET Analysis.
WCET
Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé
2012 Misc conf
FFX: a portable WCET annotation language.
RTNS
Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2012 — conf
Normalisation of Loops with Covariant Variables.
TAPAS@SAS
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé
2010 — conf
Experimentation of WCET computation on both ends of automotive processor range.
EDCC-CARS
Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
2010 — conf
Partial Flow Analysis with oRange.
ISoLA (2)
Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
2009 — conf
A Generic Framework for Blackbox Components in WCET Computation.
WCET
Clément Ballabriga, Hugues Cassé, Marianne De Michiel
2008 B conf
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.
RTCSA
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
2008 — conf
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
WCET
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
2006 — conf
PapaBench: a Free Real-Time Benchmark.
WCET
Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel
2004 J jnl
Estimations pour le partitionnement de systèmes temps réel strict sur FPGA.
Tech. Sci. Informatiques
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
2001 J jnl
Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs.
Tech. Sci. Informatiques
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
1999 — conf
Evaluation du placement des données sur disques pour une architecture parallèle sans partage en vue de son optimisation.
INFORSID
Marianne De Michiel, Marie-Christine Lafaye, Georges Louis, A. Redouane
1997 C conf
Distributed Object Oriented Databases: An Allocation Method.
DEXA
Franck Ravat, Marianne De Michiel, Gilles Zurfluh
1994 — conf
Reconfigurable Modular Architecture for Hard Real-Time Applications.
Applied Informatics
L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, B. Sautet
1992 J jnl
From specification to implementation of a real-time system.
Microprocess. Microprogramming
L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, Patrick Magnaud