( en | de | ru )

 

Disambiguation of "Michiel, Marianne De"

Author of the publication

copydeleteadd this publication to your clipboard
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

, , , and . RTCSA, page 161-166. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michiel De Nooij

Michiel Morshuis

Michiel Kwantes

Michiel Schokking

Michiel Vos

 

Other publications of authors with the same name

Reconfigurable Modular Architecture for Hard Real-Time Applications., , , , , and . Applied Informatics, page 154-157. IASTED/ACTA Press, (1994)Experimentation of WCET computation on both ends of automotive processor range., , , and . EDCC-CARS, page 67-70. ACM, (2010)Estimations pour le partitionnement de systèmes temps réel strict sur FPGA., , , , and . Technique et Science Informatiques, 23 (4): 515-542 (2004)Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation., , , and . RTCSA, page 161-166. IEEE Computer Society, (2008)A Generic Framework for Blackbox Components in WCET Computation., , and . WCET, volume 10 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)Distributed Object Oriented Databases: An Allocation Method., , and . DEXA, volume 1308 of Lecture Notes in Computer Science, page 367-376. Springer, (1997)Normalisation of Loops with Covariant Variables., , and . TAPAS@SAS, volume 289 of Electronic Notes in Theoretical Computer Science, page 41-51. Elsevier, (2012)PapaBench: a Free Real-Time Benchmark., , , , and . WCET, volume 4 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Partial Flow Analysis with oRange., , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 479-482. Springer, (2010)Early WCET Prediction Using Machine Learning., , , and . WCET, volume 57 of OASIcs, page 5:1-5:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)