Xuandong Li

Office: Room 508, Meng Minwei Building
Address: Department of Computer Science and Technology, Nanjing University
No.22, Hankou Road, Nanjing, Jiangsu, P.R. China 210093.
Tel: +86 25 83593671
Fax: +86 25 83300710
Email: lxd@nju.edu.cn

Research Affiliation: Member of Research Staff
State Key Laboratory for Novel Software Technology
Nanjing University.

Teaching

• Formal Languages and Automata, Spring 2010.
• Software Engineering, Fall 2009.
• Programming with Pascal, Fall 2000.

Research

• Selected Publications

• Tools
  • BACH: Bounded Reachability Checker for Linear Hybrid Automata

  • TASS: Timing Analyzer of Scenario-Based Specifications

  • UIMDRIVER: UML Interaction Model Driven Runtime Verifier

• Projects
  • Current Projects
    • Software trustworthiness measure and evaluation based on program analysis, testing and verification,
      supported by the National Natural Science Foundation of China, 2009-2012

    • Program analysis, testing and verification tool suite for software trustworthiness measure and evaluation,
      supported by the 863 High Technology Research Development Projects, 2007-2010

  • Completed Projects

• Research Groups
  • SEG: Software Engineering Group at NJU

Interesting Links