Lili Tan

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

Reinhard Wilhelm, Oleg Parshin, Philipp Lucas, 2012, Advances in Real-Time Systems.

The application of building energy-saving measures in city construction — Take Shijiazhuang as an example

Shumin Zhang, Lili Tan, Huiqiang Xiang, 2011, 2011 International Conference on Electronics, Communications and Control (ICECC).

A Model for Predicting Statement Mutation Scores

Yunzhan Gong, Yawen Wang, Lili Tan, 2019, Mathematics.

Improving Timing Analysis for Matlab Simulink/Stateflow

Reinhard Wilhelm, Philipp Lucas, Björn Wachter, 2009, ACES-MB@MoDELS.

The worst-case execution time tool challenge 2006

Lili Tan, Lili Tan, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Cloning and bioinformatics analysis of an atypical hydrophobic late embryogenesis abundant protein

Shuai He, Lili Tan, Tingzhang Hu, 2011, 2011 4th International Conference on Biomedical Engineering and Informatics (BMEI).

The worst-case execution time tool challenge 2006

Lili Tan, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).