Contact

Tel	_	+49 681 302-57522
Mail	_
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany
Room	_	403
	_

Michael Jacobs

Research Interests

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

Teaching

Winter Term 2014 until Winter Term 2016

• Group Seminar

Winter Term 2011

• Lecture: Compiler Construction

Thesis Advisor

BSc Thesis

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

  @BACHELORSTHESIS{John:2013:BSc,
       author = { Max John },
       title = { {WCET} {O}ptimization in a {S}hared {B}us {S}cenario },
       school = {Saarland University},
       year = { 2013 },
       month = {April},
       webpdf  = {http://www.cdl.uni-saarland.de/publications/theses/john_bsc.pdf},
   }

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]
  

  @CONFERENCE{HJR:2016,
    author = {Hahn, Sebastian and Jacobs, Michael and Reineke, Jan},
    title = {Enabling Compositionality for Multicore Timing Analysis},
    booktitle = {Proceedings of the 24th International Conference on Real Time Networks and Systems},
    series = {RTNS '16},
    year = {2016},
    isbn = {978-1-4503-4787-7},
    location = {Brest, France},
    pages = {299--308},
    numpages = {10},
    url = {http://doi.acm.org/10.1145/2997465.2997471},
    doi = {10.1145/2997465.2997471},
    acmid = {2997471},
    publisher = {ACM},
    address = {New York, NY, USA},
   }

• 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]
  

  @CONFERENCE{ECRTS_2016_Jacobs_Hahn_Hack,
     author={Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian},
     booktitle={Proceedings of the 28th Euromicro Conference on Real-Time Systems},
     booktitke_short={ECRTS},
     title={A Framework for the Derivation of {WCET} Analyses for Multi-Core Processors},
     year={2016},
     pages={141-151},
     doi={10.1109/ECRTS.2016.19},
     ISSN={1068-3070},
     month={July},
   }

• WCET Analysis for Multi-core Processors with Shared Buses and Event-driven Bus Arbitration - RTNS 2015
  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]
  

  @CONFERENCE{JHH:2015,
    author = {Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian},
    title = {{WCET} Analysis for Multi-core Processors with Shared Buses and Event-driven Bus Arbitration},
    booktitle = {Proceedings of the 23rd International Conference on Real Time Networks and Systems},
    booktitle_short = {RTNS},
    series = {RTNS '15},
    year = {2015},
    isbn = {978-1-4503-3591-1},
    location = {Lille, France},
    pages = {193--202},
    numpages = {10},
    url = {http://doi.acm.org/10.1145/2834848.2834872},
    doi = {10.1145/2834848.2834872},
    acmid = {2834872},
    publisher = {ACM},
    address = {New York, NY, USA},
   }

• 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]
  

  @CONFERENCE{AbelBDDHHJMRSW:2013:ResSharing,
     author    = {Andreas Abel and Florian Benz and Johannes Doerfert and Barbara D{\"o}rr and Sebastian Hahn and Florian Haupenthal and Michael Jacobs and Amir H. Moin and Jan Reineke and Bernhard Schommer and Reinhard Wilhelm},
     title     = {Impact of Resource Sharing on Performance and Performance Prediction: A Survey},
     series    = {CONCUR},
     year      = {2013},
     pages     = {25-43},
     ee        = {http://dx.doi.org/10.1007/978-3-642-40184-8_3},
     crossref  = {DBLP:conf/concur/2013},
     doi       = {10.1007/978-3-642-40184-8_3},
     bibsource = {DBLP, http://dblp.uni-trier.de},
     webpdf    = {http://embedded.cs.uni-saarland.de/publications/ResourceSharingSurvey.pdf},
     abstract  = {
       Multi-core processors are increasingly considered as execution platforms for
       embedded systems because of their good performance/ energy ratio. However,
       the interference on shared resources poses several problems. It may severely
       reduce the performance of tasks executed on the cores, and it increases the
       complexity of timing analysis and/or decreases the precision of its results.
       In this paper, we survey recent work on the impact of shared buses, caches,
       and other resources on performance and performance prediction.
     },
   }

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]
  

  @INPROCEEDINGS{JRWRTC2014:FrameworkWCETOptimizationMultiCore,
       author    = {Maximilian John and Michael Jacobs},
       title     = {A Framework for the Optimization of the {WCET} of Programs on Multi-Core Processors},
       booktitle = {Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing},
       series    = {JRWRTC 2014},
       year      = {2014},
       pages     = {1-4},
       webpdf    = {http://www.cdl.uni-saarland.de/papers/john_jacobs_jrwrtc14.pdf},
       url       = {http://www.cister.isep.ipp.pt/jrwrtc2014/}
   }

• 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]
  

  @INPROCEEDINGS{JRWRTC2013:ImprovingPrecisionWcetAnalysisMulticore,
     author    = {Michael Jacobs},
     title     = {Improving the Precision of Approximations in {WCET} Analysis for Multi-Core Processors},
     booktitle = {Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing},
     series    = {JRWRTC 2013},
     award     = {Best Paper Award},
     year      = {2013},
     pages     = {1-4},
     webpdf    = {http://www.cdl.uni-saarland.de/papers/jacobs_jrwrtc2013.pdf},
     url       = {http://jrwrtc.science.uva.nl/}
   }

Technical Reports

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

  @TECHREPORT{Jacobs:2016:framework_wcet_mc:techreport,
       author = {Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian},
       title = {A Framework for the Derivation of {WCET} Analyses for Multi-Core Processors},
       year = {2016},
       institution = { Saarland University },
       webpdf  = {http://www.cdl.uni-saarland.de/papers/jacobs_fw_wcet_mc_tr.pdf},
   }

PhD Thesis

• Design and Implementation of WCET Analyses: Including a Case Study on Multi-Core Processors with Shared Buses
  Jacobs, M.
  Ph.D. Thesis, Saarland University, 2021. [doi] [url] [bib]
  

  @phdthesis{Jacobs2021,
     author = {Michael Jacobs},
     title = {Design and Implementation of {WCET} Analyses: Including a
   Case Study on Multi-Core Processors with Shared Buses},
     school = {Saarland University},
     year = {2021},
     url = {https://dx.doi.org/10.22028/D291-34893},
     doi = {10.22028/D291-34893},
     isbn = {978-3754907863},
     publisher = {ePubli GmbH}
   }

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]
  

  @MASTERSTHESIS{Jacobs:2010:MSc,
       author = { Michael Jacobs },
       title = { {D}esign und {E}ntwicklung eines {K}onverters von {XSL}-{FO} nach {O}ffice {O}pen {XML} für eine {D}okumentenerstellungsplattform },
       school = { {H}ochschule f\"ur {T}echnik und {W}irtschaft des {S}aarlandes },
       year = {2010},
       month = {September},
   }

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]
  

  @BACHELORSTHESIS{Jacobs:2008:BSc,
       author = { Michael Jacobs },
       title = { {U}msetzung von {O}ffice {O}pen {XML} in das {ACR}-{F}ormat },
       school = { {H}ochschule f\"ur {T}echnik und {W}irtschaft des {S}aarlandes },
       year = { 2008 },
       month = {September},
   }

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]