Guoqiang Li

Lecturer, Ph.D.(JAIST,2008)
School of Software,
Shanghai Jiao Tong University,
800 Dongchuan Rd., Minhang Dist., Shanghai, 200240 China

 

[Research Interests] [Experience] [Teaching] [Education] [Publications] [Activities] [Projects] [Contact Me] [Information] [Links] [Curriculum Vitae]

RESEARCH INTERESTS

Interested in formal methods, software engineering theory and programming language theory. The ongoing researches include formal verification on real-time embedded systems and concurrent programming analysis methodologies. Continuously studying automata theory, rewriting theory, game theory and process calculi. Seeking for collaborators in various fields, e.g., cloud computing, biochemistry, CPS, etc., and hoping to introduce formal methods into these fields. Currently, I am running a mini research group VAST, after Verification And Software Technology.

WORK EXPERIENCE

Lecturer
School of Software, Shanghai Jiao Tong University

2009.4 每       

Liaison Staff
Bureau of International Cooperation, NSFC

2009.12每2010.12

Posdoc. Researcher
NCES, Graduate School of Information Science, Nagoya University

2008.4 每 2009.3

TEACHING

My teaching

EDUCATIONAL BACKGROUND

PhD., Information Processing
Ogawa Lab, Japan Advanced Institute of Science and Technology

 2005.4 每 2008.3

MSc., Computer Software and Theory
BASICS, Department of CST, Shanghai Jiao Tong University

 2002.9 每 2005.3

BSc., Computer Software
Department of CST, Taiyuan University of Technology

 1997.9 每 2001.7

SELECTED PUBLICATIONS

Journals and Transactions:

  • Guoqiang Li, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. International Journal of Foundations of Computer Science (IJFCS) , 2012, to appear

  • Xiuting Tao, Yonggen Gu and Guoqiang Li. A Formal Game-Theoretic Model for Rational Exchange Protocol. Advanced Materials Research, Vol. 204-210, 2033-2040, 2011

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly model checking of security protocols and its implementation by Maude. IPSJ Transactions on Programming, Vol.48, No. SIG 10(PRO 33), 50-75, June 2007 (also appear in IPSJ Digital Courier, Vol.3, 343-368, 2007)

    • Conferences and Workshops:

  • Jingying Wen, and Guoqiang Li. Implementations for Checking Bisimulation of LTS. In Proceedings of the 4th 4th International Conference on Computer Research and Development (ICCRD'12) , IEEE Society, 2012

  • Guoqiang Li, Yonggen Gu, Xiuting Tao, and Jie Tao. A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. In Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'11), IEEE Society, 243-246, 2011

  • Xiuting Tao, Yonggen Gu and Guoqiang Li. A Formal Game-Theoretic Model for Rational Exchange Protocol. In Proceedings of the 1st International conference on Industry, information System and Material Engineering (IISME'11), IEEE Society, 2011

  • Chen Chu, Guoqiang Li. An Efficient Algorithm for Automatic Equational Unifier Generator. In Proceedings of the 2nd International Conference on Progress in Informatics and Computing conference (PIC'10), IEEE Society, 2010

  • Huaiyang Zhou, Guoqiang Li. Modelling and Analysis of Real-time Systems on Multi-Core Processors. In Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE'10), IEEE Society, 2010

  • Fei Yu, Guoqiang Li, Naixue Xiong. Schedulability Analysis of Multi-Processor Real-Time Systems using UPPAAL. In Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE'10), IEEE Society, 2010

  • Guoqiang Li, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum (APDCM'10 @ IPDPS'10) , IEEE Society, 1-8, 2010

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Environmental Simulation of Real-Time Systems with Nested Interrupts. In Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09), IEEE Society, 21-28, 2009

  • Guoqiang Li, Mizuhito Ogawa. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. In Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS 5311, 374-385, 2008 [Extended Version]

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly Model Checking of Fair Non-repudiation Protocols. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), LNCS 4762, 511-522, 2007 [Extended Version]

  • Min Zhang, Guoqiang Li, Yuxi Fu. Secrecy of Signals by Typing in Signal Transduction. In Proceedings of the 2nd International Conference on Natural Computation (ICNC'06), LNCS 4222, 384-393, 2006

  • Yonggen Gu, Yuxi Fu, Guoqiang Li. A Simple Process Calculus for the Analysis of Security Protocols. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'05), IEEE Computer Society, 110-114, 2005

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Typing Aberrance in Signal Transduction. In Proceedings of the 1st International Conference on Natural Computation (ICNC'05), LNCS 3612, 668-677, 2005

  • Yonggen Gu, Guoqiang Li, Yuxi Fu. Analyzing iKP Security in Applied Pi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 879-887, 2004

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 477-485, 2004

    • Technical Reports:

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly Model Checking of Fair Non-repudiation Protocols. Japan Advanced Institute of Science and Technology, 2008 [PDF]

  • Guoqiang Li, Mizuhito Ogawa. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. IS-RR-2008-002, Japan Advanced Institute of Science and Technology, 2008 [PDF]

    • Drafts:

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Environmental Simulation of Real-Time Systems with Nested Interrupts. 2009 [PDF]

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Schedulability Analysis of Real-Time Systems with Nested Interrupts. 2008 [PDF]

    • Theses:

  • Formal Research of Security Protocols Based on Process Calculus. Master Thesis, March, 2005. In Chinese [PDF]

  • On-the-fly Model Checking of Security Protocols. Doctoral Thesis, March, 2008. [PDF] [Slides]

    • Books:

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2003, Vol. of Discrete Mathematics. In Chinese

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2004, Vol. of Discrete Mathematics. In Chinese

    • ACADEMIC ACTIVITIES

  • The 2012 International Workshop on Formal methOds for Real-time Distributed Systems (FORDS＊12)
    PC Member

  • The 14th Workshop on Advances in Parallel and Distributed Computational Models(APDCM'12)
    PC Member

  • The 3rd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA'11)
    PC Member

  • The Second International Conference on Networking and Computing(ICNC'11)
    PC Member

  • The 13th Workshop on Advances in Parallel and Distributed Computational Models(APDCM'11)
    PC Member

  • The Eighth Asian Symposium on Programming Languages and Systems (APLAS'10)
    Poster Session Chair

  • The 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA'10)
    PC Member

    • PROJECTS

    Past projects

    CONTACT ME

    Address: Room 1212, Software Building, 800 Dongchuan Road, Minhang District, Shanghai, 200240 China
    Phone: +86-21-3420-4167
    Email: li-gq AT cs DOT sjtu DOT edu DOT cn

    INTERESTS INFORMATION

    Conferences interest me

    Journals interest me

    Researches interest me

    MISCELLANEOUS LINKS

    DOCIS | PlanetMath | MIT OCW | Formal Methods | Automated Reasoning

    Process Algebra | Compiler | SML | Game Theory

    MONA | Coq | Isabelle/HOL | Maude | NuSMV

    Conference Statistics (by Tao Xie)

    Guoqiang Li
    Last modified: Tuesday, Jan. 17, 2012.