Han Liu (刘浛)


thu logo
date logo

About Me

I am a postdoctoral researcher at Tsinghua University, working with Professor Jiaguang Sun. Before that, I obtained my Ph.D. at Tsinghua University in 2017 under the supervision of Professor Ming Gu. I received my bachelor degree in Software Engineering from Beijing University of Posts and Telecommunications in 2012. During my academic visit at UC Davis (03/2015-09/2015), I worked with Professor Zhendong Su. Now, I am working on cutting-edge techniques to make real-world software safer and securer. My research interests include:


Publications [Google Scholar]

  1. Stochastic Optimization of Program Obfuscation.
    Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu and Jiaguang Sun.
    In Proceedings of ICSE 2017, Argentina, 2017.
  2. Safety-Assured Model-Driven Desing of the Multifunction Vehicle Bus Controller.
    Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha.
    IEEE Transactions on Intelligent Transportation Systems (T-ITS), To appear, 2017.
  3. Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation.
    Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun and Lui Sha.
    ACM Transactions on Cyber-Physical Systems (TCPS), To appear, 2017.
  4. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers.
    Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun.
    In Proceedings of FM 2016, Cyprus, 2016.
  5. Safety-Assured Formal Model-Driven Desing of the Multifunction Vehicle Bus Controller.
    Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha.
    In Proceedings of FM 2016, Cyprus, 2016.
  6. Tsmart-BIPEX: An integrated Graphical Design Toolkit for Software System.
    Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu and Jiaguang Sun.
    In Proceedings of MODELS 2016, France, 2016.
  7. Model Driven Design of Heterogeneous Synchronous Embedded Systems.
    Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu and Jiaguang Sun.
    In Proceedings of ASE 2016, Singapore, 2016.
  8. Towards Better Program Obfuscation: Optimization via Language Models (Student Research Competition).
    Han Liu.
    In Proceedings of ICSE 2016, USA, 2016.
  9. Use Runtime Verification to Improve the Quality of Medical Care Practice.
    Yu Jiang, Han Liu, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha.
    In Proceedings of ICSE 2016, USA, 2016.
  10. From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
    Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha.
    In Proceedings of RTAS 2016, Austria, 2016.
  11. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
    Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu and Jiaguang Sun.
    In IEEE Transactions on Parallel and Distributed Systems, pp. 2220-2232, 2015.
  12. Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
    Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu and Jiaguang Sun.
    In Proceedings of FSE 2014, China, 2014.
  13. iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
    Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu and Jiaguang Sun.
    In Proceedings of TASE 2014, China, 2014.
  14. Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
    Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu and Jiaguang Sun.
    In Proceedings of TASE 2014, China, 2014.
  15. System reliability calculation based on the run-time analysis of ladder program.
    Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N.N.Hung, Ming Gu and Jiaguang Sun.
    In Proceedings of ESEC/FSE 2013, Russia, 2013.

Activities and Services

 

Software


Awards


Interesting Links


Personal

 


  Last update: Dec 17, 2016