• Modular and Incremental Analysis for Detecting Security Vulnerabilities in Web Applications (supported by MOST)
  • Establishing an Extensive Collection of Small Büchi Automata and Their Equivalent Temporal Formulae (supported by NSC)
  • Advanced Static Analysis and Dynamic Testing Techniques for Verifying Web Applications (supported by NSC)
  • Formal Techniques for the Development and Verification of Computerized Nuclear Instrumentation and Control Systems (commissioned by INER)

Last modified: 2016/12/06 17:27