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
TEACHING
My teaching
EDUCATIONAL BACKGROUND
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
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.