Michael Jacobs M.Sc.

Contact

Tel_+49 681 302-57522
Fax_+49 681 302-3065
Mail_
Room_403
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Research Interests

  • WCET Analysis
  • Multi-Core Processors
  • Static Program Analysis
  • XML Processing / XSLT

Teaching

Since Winter Term 2014

Winter Term 2011

Thesis Advisor

BSc Thesis

  • WCET Optimization in a Shared Bus Scenario
    John, M.
    B.Sc. Thesis, Saarland University, 2013. [pdf] [bib]

Publications

Conferences

  • Enabling Compositionality for Multicore Timing Analysis
    Hahn, S., Jacobs, M. and Reineke, J.
    Proceedings of the 24th International Conference on Real Time Networks and Systems, pages 299–308, ACM, 2016. [doi] [url] [bib]
  • A Framework for the Derivation of WCET Analyses for Multi-Core Processors
    Jacobs, M., Hahn, S. and Hack, S.
    Proceedings of the 28th Euromicro Conference on Real-Time Systems, pages 141-151, 2016. [doi] [bib]
  • WCET Analysis for Multi-core Processors with Shared Buses and Event-driven Bus Arbitration
    Jacobs, M., Hahn, S. and Hack, S.
    Proceedings of the 23rd International Conference on Real Time Networks and Systems, pages 193–202, ACM, 2015. [doi] [url] [bib]
  • Impact of Resource Sharing on Performance and Performance Prediction: A Survey
    Abel, A., Benz, F., Doerfert, J., Dörr, B., Hahn, S., Haupenthal, F., Jacobs, M., Moin, A. H., Reineke, J., Schommer, B. and Wilhelm, R.
    [doi] [pdf] [bib]

Workshop Papers

  • A Framework for the Optimization of the WCET of Programs on Multi-Core Processors
    John, M. and Jacobs, M.
    Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing, pages 1-4, 2014. [url] [pdf] [bib]
  • Improving the Precision of Approximations in WCET Analysis for Multi-Core Processors
    (Best Paper Award)

    Jacobs, M.
    Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing, pages 1-4, 2013. [url] [pdf] [bib]

Technical Reports

  • A Framework for the Derivation of WCET Analyses for Multi-Core Processors
    Jacobs, M., Hahn, S. and Hack, S.
    [pdf] [bib]

MSc Thesis

  • Design und Entwicklung eines Konverters von XSL-FO nach Office Open XML für eine Dokumentenerstellungsplattform
    Jacobs, M.
    M.Sc. Thesis, Hochschule für Technik und Wirtschaft des Saarlandes, 2010. [bib]

BSc Thesis

  • Umsetzung von Office Open XML in das ACR-Format
    Jacobs, M.
    B.Sc. Thesis, Hochschule für Technik und Wirtschaft des Saarlandes, 2008. [bib]

Invited Talks (Selection)

  • A Framework for the Derivation of WCET Analyses for Multi-Core Processors
    (High Level Principles)
    ECRTS, Toulouse, July 7, 2016 [pdf]
  • WCET Analysis for Multi-Core Processors with Shared Buses and Event-Driven Bus Arbitration
    (Concepts of Prototype Tool + Implementation Details)
    TACLe Focused Meeting on Manycores, Porto, November 16, 2015 [pdf]
  • A Framework for the Derivation of WCET Analyses for Multi-Core Processors
    (Technical Talk)
    RTCSA, Chongqing, August 20, 2014 [pdf]
  • WCET Analysis for Multi-Core Processors
    (Overview of Existing Work + First Ideas)
    AVACS Plenary Meeting, Saarbrücken, February 28, 2013 [pdf]
  • Generating Class Hierarchies from XML Descriptions
    (Slides in German)
    Internal Presentation, HTW des Saarlandes, Saarbrücken, September 17, 2009 [pdf]

Research Posters

  • A Framework for the Optimization of the WCET of Programs on Multi-Core Processors
    (Cooperation with Max John)
    JRWRTC, Versailles, October 8, 2014 [pdf]
  • Improving the Precision of Approximations in WCET Analysis for Multi-Core Processors
    JRWRTC, Sophia Antipolis, October 16, 2013 [pdf]