Publications of Marianne DE MICHIEL
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Christine Rochange, Thomas Carle
A Framework for Calculating WCET Based on Execution Decision Diagrams
ACM Transactions on Embedded Computing Systems (TECS), 2022, 21 (3), pp.3476879. ⟨10.1145/3476879⟩
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Estimations pour le partitionnement de systèmes temps réel strict sur FPGA
In : Technique et science informatiques, Lavoisier, 14, rue de Provigny F-94236 Cachan Cedex, Vol. 23, N. 4, pp. 515-542, August 2004.
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Belkacem Cherfaoui, Reda Bekkouche
Parallélisation automatique pour la conception de systèmes critiques sûrs
In : Technique et science informatiques, HERMES Science Publications, 8, quai du marche neuf, F-75004 Paris, Vol. 20, N. 8, pp. 1075-1100, November 2001.
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Déterminer le WCET d’applications temps-réel en présence de latences d’exécution variables
Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2021), CC-IN2P3 – Centre de Calcul de l’IN2P3 (USR6402); LIP – Laboratoire de l’Informatique du Parallélisme (UMR5668), Jul 2021, Lyon (en virtuel), France
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Jun 2020, London, United Kingdom. pp.119-130, ⟨10.1145/3372799.3394371⟩
Jordy Ruiz, Hugues Cassé, Marianne de Michiel
Working around loops for infeasible path detection in binary programs
IEEE International Working Conference on Source Code Analysis and Manipulation, Sep 2017, Shanghai, China. pp.1–10
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
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Armelle Bonenfant, Denis Claraz, Marianne de Michiel, Pascal Sotin
Early WCET Prediction using Machine Learning
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.5:1 – 5:9, ⟨10.4230/OASIcs.WCET.2017.5⟩
Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne de Michiel, Hugues Cassé
Expressing and exploiting path conflicts in WCET analysis
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. pp. 1-11
Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Hanbing Li, Claire Maiza, Marianne de Michiel, Vincent Mussot, Catherine Parent-Vigouroux, Isabelle Puaut, Pascal Raymond, Erven Rohou, Pascal Sotin
When the worst-case execution time estimation gains from the application semantics
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Jakob Zwirchmayr, Armelle Bonenfant, Marianne De Michiel, Hugues Cassé, Laura Kovacs, Jens Knoop
FFX: A Portable WCET Annotation Language (regular paper)
In : International Conference on Real-Time and Network Systems (RTNS 2012), Pont-à-Mousson, 08/11/12-09/11/12, ACM Digital Library, pp. 91-100, November 2012.
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé
Normalisation of Loops with Covariant Variables (regular paper)
In : Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville, 14/09/12, Science Direct, Electronic Notes in Theoretical Computer Science 289, pp. 41-51, September 2012.
Reinhard Von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder , Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth , Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne De Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch , Christine Rochange, Martin Schoeberl , Simon Wegener , Michael Zolda, Jakob Zwirchmayr
WCET Tool Challenge: Report (regular paper)
In : Workshop on Worst-Case Execution Time Analysis, Porto, 05/07/11, Politécnico do Porto, pp. 104-141, July 2011.
Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
Partial Flow Analysis with oRange (short paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, 18/10/10-20/10/10, Springer, LNCS 6416, pp. 479-482, October 2010.
URL : http://www.irit.fr/publis/TRACES/11831_isola.pdf
BibTeXRoman Bourgade, Christine Rochange, Marianne De Michiel, Pascal Sainrat
MBBA: a Multi-Bandwidth Bus Arbiter for hard real-time (regular paper)
In : International Conference on Embedded and Multimedia Computing (EMC 2010), Cebu, Philippines, 11/08/10-13/08/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, August 2010 (Best paper).
URL : http://www.irit.fr/publis/TRACES/11588_emc2010-bourgade-final.pdf
BibTeXHugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
Experimentation of WCET computation on both ends of automotive processor range (regular paper)
In : Workshop on Critical Automotive applications: Robustness and Safety (CARS 2010), Valencia, Spain, 27/04/10, ACM : Association for Computing Machinery, pp. 67-70, May 2010.
URL : http://www.irit.fr/publis/TRACES/11476_cars2010.pdf
BibTeXClément Ballabriga, Hugues Cassé, Marianne De Michiel
A Generic Framework for Blackbox Components in WCET Computation (regular paper)
In : Workshop on Worst-Case Execution Time Analysis, Dublin, 30/06/09, Vol. 252, Austrian Computer society, pp. 118-129, October 2009.
URL : http://www.irit.fr/publis/TRACES/10609_WCET2009.pdf
BibTeXNiklas 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 Tool Challenge 2008: report
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/08-01/07/08, Austrian Computer society, pp. 149-171, October 2008.
URL : http://www.irit.fr/publis/TRACES/9687_challenge08.pdf
BibTeXArmelle Bonenfant, Marianne De Michiel, Pascal Sainrat
oRange: A Tool For Static Loop Bound Analysis
In : Workshop on Resource Analysis, University of Hertfordshire, Hatfield, UK, 09/09/08.
URL : http://www.irit.fr/publis/TRACES/9686_workshop_resource_analysis_2008.pdf
BibTeXMarianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
Static loop bound analysis of C programs based on flow analysis and abstract interpretation
In : IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Kaohsiung, Taiwan, 25/08/08-27/08/08, IEEE Computer Society, pp. 161-168, August 2008.
Abstract URL : http://www.irit.fr/publis/TRACES/9176_rtcsa_2008_publie_michiel-loopbounds.pdf – http://www.irit.fr/publis/TRACES/9176_rtcsa_2008_michiel-loopbound-slides.pdf
BibTeXFadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun, Marianne De Michiel
PapaBench : A Free Real-Time Benchmark
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Frank Mueller (Eds.), Dagstuhl Research Online Publication Server, (on line), July 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/6680_papabench_wcet2006.pdf
BibTeXDaniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Estimations de boucles pour le partitionnement de systèmes temps-réel strict sur FPGAs
In : SYMPAA’2003 : Symposium en Architecture et Adéquation Algorithme-Architecture, La Colle sur Loup, 15/10/03-17/10/03, Michel Auguin, Françoise Baude, Dominique Lavenier, Michel Riveill (Eds.), INRIA sophia Antipolis, pp. 279-288, October 2003.
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Estimations rapides pour le partitionnement fonctionnel de systèmes temps-réel-strict distribués
In : 8ème Symposium en architectures nouvelles de machinesSympA’8, Hammamet, Tunisie, 10/04/02-13/04/02, Moahmed Jemni, Zaher Mahjoub, Denis Trystram, Daniel Litaize, Daniel Hagimont, Tunisie, pp. 325-333, April 2002.
Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui
Une architecture reconfigurable pour la conception de systèmes temps-réel critiques
In : SYMPA’66ème Symposium en Architecture Nouvelles de Machines, Besançon, 19/06/00-22/06/00, Université de Franche-Comté, pp. 149-158, June 2000.
Marianne De Michiel, Franck Ravat, Gilles Zurfluh
Distributed Object-Oriented Databases: An Allocation Method
In : 8th International Conference on Database and Expert Systems Applications, DEXA, -, pp. 367-376, September 1997.
Laurent Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, Bernard Sautet
Parallélisation automatique pour une exécution en temps-réel
In : 6èmes Rencontres francophones du Parallélisme, ENS Lyon, .
Recherche de la configuration optimisée d’une application Temps-Réel-Strict
In : 6èmes Rencontres francophones du Parallélisme, ENS Lyon, -, pp. 45-48, June 1994.
Laurent Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, Bernard Sautet
Specification of Distributed Hard Real-time System
In : Software for Multiprocessors and Supercomputers : Theory, Practice, Experience (SMS TPE’94), Moscou, -, September 1994.
Laurent Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, Bernard Sautet
Environment and Tool for Hard Real-time Systems Design
In : 20th Euromicro Conference on System Architecture and Integration, Liverpool, -, September 1994.
Laurent Carcagno, Marianne De Michiel, Daniel Dours, Roland Facca, Ahmed Feki, Bernard Sautet
Reconfigurable Modular Architecture for Hard Real-time Applications
In : Twelfth International Conference APPLIED INFORMATICS, Annecy, France, -, May 1994.
Recherche de la configuration optimisée d’une architecture cible pour une application Temps-Réel
Master’s Thesis, Université Paul Sabatier, January 1994.