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 2009.
• Software Engineering, Fall 2008.
• Programming with Pascal, Fall 2000.

Research

• Selected Publications

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

  • TASS: Timing Analyzer of Scenario-Based Specifications

• Projects
  • Automated formal verification for software,
    supported by the National Natural Science Foundation of China, 2005-2008

  • Timing analysis of scenario-based specifications,
    supported by Jiangsu Province Research Foundation, 2004-2006

  • Key techniques for model checking of real-time and hybrid systems,
    supported by the 863 High Technology Research Development Projects, 2001-2003

  • Formal verification of network protocol,
    supported by Jiangsu Province Research Foundation, 2001-2003

  • Compositional model checking of real-time and hybrid systems,
    supported by the National Natural Science Foundation of China, 2001-2003

  • Model checking algorithms and tools for real-time and hybrid system,
    supported by the 863 High Technology Research Development Project, 1998-2000

  • Model checking of real-time and hybrid systems,
    supported by the National Natural Science Foundation of China, 1998-2000

Interesting Links