Lili Tan


About Me

I earned the Bachelor of Science Degree in Systems Engineering for Aircraft from the National University of Defense Technology (Changsha,China). With a scholarship from the Deutsche Stiftung fuer Internationale Entwicklung, I came to Germany. I finished my graduate study and worked in the Decision Support and Operations Research Lab at the University of Paderborn, then I worked at the University of Duisburg-Essen.
In February 2007, I joined the Compiler Design Lab.

Research Interests

  • Timing Analysis
  • Modelling and Optimization



Journal Papers

  1. The Worst-case Execution Time Tool Challenge 2006
    L. Tan
    International Journal on Software Tools for Technology Transfer (STTT), 11 (2), 2009. [doi]  [url]  [bib]

Conference Papers

  1. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
    R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
    Advances in Real-Time Systems, 2012. [doi]  [bib]
  2. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  3. The Worst Case Execution Time Tool Challenge 2006: The External Test
    L. Tan
    2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2006. [url]  [bib]

Technical Reports

  1. The Worst Case Execution Time Tool Challenge 2006
    L. Tan
    Technical Report, University Duisburg-Essen, 2006. [pdf]  [bib]

Selected Talks

Attended Conferences, Workshops and Seminars


    Lili Tan
    FR 6.2 Informatik, Compiler Design Lab
    Universitaet des Saarlandes
    Im Stadtwald 15 - Building E1 3, Office 431
    Postbox 15 11 50
    66041 Saarbruecken, Germany
    email: lili (at) cs (dot) uni-saarland (dot) de
    phone: +49 (0)681 - 302 -3915