Navigation

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

Projects

EU ITEA2 Project: Embedded Software Product-based Assurance (ES_PASS)

Publications

Journal Papers

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]

@ARTICLE{Tan09,
   author = {Lili Tan},
   title = {The Worst-case Execution Time Tool Challenge 2006},
   journal = {International Journal on Software Tools for Technology Transfer (STTT)},
   year = {2009},
   volume = {11},
   pages = {133--152},
   number = {2},
   doi = {10.1007/s10009-008-0095-9},
   editor = {B. Steffen and M. Dwyer},
   issn = {1433-2779 (Print) 1433-2787 (Online)},
   publisher = {Springer Verlag},
   url = {http://www.springerlink.com/content/b006817qk45791u5/?p=b6996092be0a4fcebe9b4fed4bb8cb9b&pi=0}
 }

Conference Papers

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]

@INPROCEEDINGS{Tan09a,
   author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
   title = {Improving Timing Analysis for {Matlab} {Simulink}/{Stateflow}},
   booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)},
   year = {2009},
   editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
   pages = {59--63},
   url = {http://ceur-ws.org/Vol-507/paper05.pdf}
 }

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]

@INPROCEEDINGS{Tan06,
   author = {Lili Tan},
   title = {The Worst Case Execution Time Tool Challenge 2006: The External Test},
   booktitle = {2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06)},
   year = {2006},
   editor = {Tiziana Margaris and Anna Philippou and Bernhard Steffen},
   address = {Paphos, Cyprus},
   month = {November},
   url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4463719&isnumber=4463676}
 }

Technical Reports

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

@TECHREPORT{Tan06a,
   author = {Lili Tan},
   title = {The Worst Case Execution Time Tool Challenge 2006},
   institution = {University Duisburg-Essen},
   year = {2006},
   type = {Technical Reports of {WCET} Tool Challenge},
   number = {1},
   month = {December},
   url = {http://rw4.cs.uni-saarland.de/~lili/papers/TanWCETChallenge.pdf}
 }

Selected Talks

The WCET tool challenge and the test results, ISoLA2006, Paphos, Cyprus, November 2006
Improving WCET Analysis for Synthesized Code from Matlab/Simulink/Stateflow, ES_PASS Project Workshop, February 5, 2009, Toulouse, France

Attended Conferences, Workshops and Seminars

2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2006), Paphos, Cyprus, November 2006
ES_PASS Workshop: Frontiers of abstract interpretation, February 5, 2009, Toulouse, France

Address

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