Marianne De Michiel

According to our database, Marianne De Michiel authored at least 20 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Framework for Calculating WCET Based on Execution Decision Diagrams.

Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange

ACM Trans. Embed. Comput. Syst., 2022

2020

Improving the Performance of WCET Analysis in the Presence of Variable Latencies.

Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

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

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Early WCET Prediction Using Machine Learning.

Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Working Around Loops for Infeasible Path Detection in Binary Programs.

Jordy Ruiz, Hugues Cassé, Marianne De Michiel

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

2016

Expressing and Exploiting Conflicts over Paths in WCET Analysis.

Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2012

Normalisation of Loops with Covariant Variables.

Marianne De Michiel, Armelle Bonenfant, Hugues Cassé

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

FFX: a portable WCET annotation language.

Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2010

Partial Flow Analysis with oRange.

Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Experimentation of WCET computation on both ends of automotive processor range.

Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

A Generic Framework for Blackbox Components in WCET Computation.

Clément Ballabriga, Hugues Cassé, Marianne De Michiel

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

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

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

2006

PapaBench: a Free Real-Time Benchmark.

Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2004

Estimations pour le partitionnement de systèmes temps réel strict sur FPGA.

Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui

Tech. Sci. Informatiques, 2004

2001

Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs.

Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui

Tech. Sci. Informatiques, 2001

1999

Evaluation du placement des données sur disques pour une architecture parallèle sans partage en vue de son optimisation.

Marianne De Michiel, Marie-Christine Lafaye, Georges Louis, A. Redouane

Proceedings of the Actes du XVIIème Congrès INFORSID, La Garde, France, 1-4 juin, 1999, 1999

1997

Distributed Object Oriented Databases: An Allocation Method.

Franck Ravat, Marianne De Michiel, Gilles Zurfluh

Proceedings of the Database and Expert Systems Applications, 8th International Conference, 1997

1994

Reconfigurable Modular Architecture for Hard Real-Time Applications.

L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, B. Sautet

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1992

From specification to implementation of a real-time system.

L. Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, A. Feki, Patrick Magnaud

Microprocess. Microprogramming, 1992