Li Xuandong, Pan Minxue, Bu Lei, Wang Linzhang, Zhao Jianhua. Timing Analysis of Scenario-Based Specifications using Linear Programming.
In Software Testing, Verification and Reliability,
Vol.22, No.2, Wiley InterScience, 2012, pp.121-143.
download
Minxue Pan and Xuandong Li. Timing Analysis of MSC Specifications with Asynchronous Concatenation.
In International Journal on Software Tools for Technology Transfer,
Vol.14, No.5, Springer, 2012, pp.639-651 download
Pan Minxue, Li You, Bu Lei, Li Xuandong. Loop Reduction Techniques for Reachability Analysis of Linear Hybrid Automata.
In Science China Information Science 2012 ,
December 2012 Vol. 55 No. 12: 2663–2674 download
Chinese Journal
N/A
International Conference & Workshop
Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jian-nong Cao, and Xue Liu. From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (MDPnP).
In Proceedings of The ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS2012),
pp.13-22, IEEE Computer Sciety, 2012. download
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, and Xuandong Li. Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
In Proceedings of The ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS2012),
pp.222, IEEE Computer Sciety, 2012. download
Fenglin Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao and Xuandong Li. Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
In Proceedings of The ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS2012),
pp.237, IEEE Computer Sciety, 2012. download
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li. Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri-net Analyzer.
In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE2012)), USA,
pp.369-374 download
Nan Ye, Xin Chen, Xuandong Li. Regression Test Cases Generation Based on Automatic Model Revision.
In Proceedings of IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE2012),
IEEE Computer Society Press, 2012, pp.127-134 download
Yang Yang, Lei Bu, Xuandong Li. Forward and Backward: Bounded Model Checking of Linear Hybrid Automata From Two Directions.
In Proceedings of the 12th International Conference on Formal Methods in Computer Aided Design (FMCAD2012), USA,
IEEE Computer Society Press, 2012, pp.204-208 download
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li. Time-Leverage Points Detection for Time Sensitive Software Maintenance.
In Proceedings of 28th IEEE International Conference of Software Maintenance (ICSM2012) - Early Research Achievements Track, Italy,
IEEE Computer Society Press, 2012, pp.567-570 download
Xi Liu, Jianwen Su, Xuandong Li. Proactive Enforcement of Data Consistency by Business Processes.
In Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012),
Emerging Research Track, IEEE Computer Society Press, 2012, pp.701-704 download
Wenxu Ding,
Xin Chen,
Peng Jiang,
Nan Ye,
Lei Bu,
Xuandong Li. Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.
In International Conference on Software Security and Reliability Companion 2012,
download
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
. A Spatial-Locality-Aware Data Block Allocation Strategy in Large Scale NAND Flash Memory Storage Systems
.
In Memory Architecture and Organization Workshop 2012
,
MeAOW, 2012
download
