Marianne De Michiel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1997–2017
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SCAM | Working Around Loops for Infeasible Path Detection in Binary Programs. | Jordy Ruiz, Hugues Cass, Marianne De Michiel |
| 2012 | RTNS | FFX: a portable WCET annotation language. | Armelle Bonenfant, Hugues Cass, Marianne De Michiel, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2010 | EDCC | Experimentation of WCET computation on both ends of automotive processor range. | Hugues Cass, Pascal Sainrat, Clment Ballabriga, Marianne De Michiel |
| 2010 | ISoLA | Partial Flow Analysis with oRange. | Marianne De Michiel, Armelle Bonenfant, Clment Ballabriga, Hugues Cass |
| 2008 | RTCSA | Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. | Marianne De Michiel, Armelle Bonenfant, Hugues Cass, Pascal Sainrat |
| 1997 | DEXA | Distributed Object Oriented Databases: An Allocation Method. | Franck Ravat, Marianne De Michiel, Gilles Zurfluh |