近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
英文论文
Meiyi Dai1, Zhe Yang and Jian Guo, SuperDetector: A Framework for Performance Detection on Vulnerabilities of Smart Contracts，（EI）DMCIT 2022，2289 (2022) 012010
Yang, Z.; Dai, M.; Guo, Jian, Formal Modeling and Verification of Smart Contracts with Spin. Electronics 2022, 11, 3091
YUQIAN GUAN , JIAN GUO , Adaptive Layered Segregated Fit Scheme for Dynamic Memory Allocation，Journal of Circuits, Systems, and Computers，vol.30, No.15,2150276(2021)
YUQIAN GUAN , JIAN GUO, QIN LI Formal Verification of a Hybrid IoT Operating System Model, IEEE Access,2021, vol.9: 59171-59183.Print ISSN: 2169-3536. Online ISSN: 2169-3536
Xiaoran Zhu , Min Zhang , Jian Guo, Xin Li, Huibiao Zhu, and Jifeng He Toward a Unified Executable Formal Automobile OS Kernel and Its Applications，IEEE TRANSACTIONS ON RELIABILITY, VOL. 68, NO. 3：1117-1133， SEPTEMBER 2019
Rongkun Yan and Jian Guo, “Timing Modeling and Analysis for AUTOSAR OS Schedule Tables”, Hase 2019：123-130
Jizheng Ding, Xiaoran Zhu, Jian Guo. “End-to-End Automated Verification for OS Kernels”, The 25th Asia-Pacific Software Engineering Conference (APSEC)：139-148
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu. “Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective”, Journal of Circuits, Systems and Computers. accepted.
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He. “Towards a unified executable formal automobile OS kernel and its applications”, IEEE Transactions on Reliability. DOI: 10.1109/TR.2018.2863744 Print ISSN: 0018-9529 Electronic ISSN: 1558-1721
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh, Formal Analysis of the PKMv3 Protocol, Mobile Networks and Applications 2017，21（1）,44-56.
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao. Formal Verification of PKMv3 Protocol Using DT-Spin, TASE Proc 2015: 9th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.71-78, IEEE Computer Society,11-13 Sep. 2015 Nanjing, JiangsuChina.
Tang Yiting, Wu Xi, Zhu Huibiao, Guo Jian. Formalization and Veri?cation of REST Architecture in Viewpoints. Proc. HASE 2015: 16th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society, pp. 197~206, 8-10 January, 2015, Florida, USA
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu, pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems, APSEC 2014,p85-92.
Qin wen Ran,Xi Wu, Xin Li, Jianqi Shi, Jian Guo, and Huibiao Zhu Modeling and Verifying the TTCAN Protocol Using Timed CSP, TASE Proc 2014: 8th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 90-97, IEEE Computer Society,1-3 July 2014 Changsha, Hunan, China.
Huixing Fang · Jianqi Shi · Huibiao Zhu · Jian Guo ·Kim Guldstrand Larsen · Alexandre David ，Formal verification and simulation for platform screen doors and collision avoidance in subway control systems，International Journal on Software Tools for Technology Transfer: Volume 16, Issue 4 (2014), Page 339-361
Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang，Huibiao Zhu, Jian Guo, Formalization and Verification of REST on HTTP Using CSP, This paper is electronically published journal in Electronic Notes in Theoretical Computer Science Volume 309, 22 December 2014, Pages 75-93 Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software(TTSS) .
Can Pan, Jian Guo, Longfei Zhu，Jianqi Shi, Huibiao Zhu, Xinyun Zhou, Modeling and Verification of CAN Bus with Application Layer using UPPAAL, This paper is electronically published journal in Electronic Notes in Theoretical Computer Science Volume 309, 22 December 2014, Pages 31–49. Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software(TTSS)
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo, Modeling and Verification of AUTOSAR OS and EMS Application, TASE Proc 2013: 7th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 37-44, IEEE Computer Society,1-3 July 2013 Birmingham, United Kingdom.
Fang Huixing, Guo Jian, Zhu Huibiao, Shi Jianqi. Formal Verification and Simulation: Co-Verification for Subway Control Systems. Proc. TASE 2012: 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 145-152, IEEE Computer Society, 4-6 July 2012, Beijing, China
Shi Jianqi, Zhu Longfei, Huang Yanhong, Guo Jian, Zhu Huibiao, Fang Huixing, and Ye Xin. Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.. Proc. TASE 2012: 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 223-226, IEEE Computer Society, 4-6 July 2012,Beijing, China
Shi Jianqi, Zhu Longfei, Fang Huixing, Guo Jian, Zhu Huibiao, and Ye Xin. xBIL–A Hardware Resource Oriented Binary Intermediate Language. Proc. ICECCS 2012: 17th IEEE International Conference on Engineering of Complex Computer Systems, pp. 211-219, IEEE Computer Society, 18-20 July 2012,Paris, France
Wen Su，Fan Yang，Xiaofeng Wu, Jian Guo, Huibiao Zhu，Formal Approaches to Mode Conversion and Positioning for Vehicle System，2011 35th IEEE Annual Computer Software and Applications Conference Workshops，415-421.
Zhou Jiaming, Guo Jian, Song fu, Integrating the B-method into PVS, International Conference on Information Engineering and Computer Science, wuhan, China, 2009 vol(4): 2626-2629.
Guo Jian, Han Jungang, Symbolic Checking for Three valued logic, International conference on communications and mobile computing, CMC2009, vol(3):401-405.
Jian Guo, Han Jungang, Jin Naiyong Witness And Counter-example on 3-valued Model Checking, ICNC2008，vol(2):633-637.
Jian Guo, Jungang Han, Hongli Yang, Bo Wang, Model Checking with “X” Value Based on PSL, IEEE SUPPORT ICEMI07, I,P556-562.
中文编著
郭建、王高翃、赵涌鑫，蒲戈光，基于ISO26262的汽车电子功能安全：方法与应用，出版日期：2021.6，机械工业出版社，ISBN：978-7-111-68067-3
中文论文
董星河，郭建，基于在线模型检验技术的微内核验证，微纳电子与智能制造，2020（2）1：102-109
郭建, 丁继政, 朱晓冉. 嵌入式实时操作系统内核混合代码的自动化验证框架[J]. 软件学报, 2020, 31(5): 1353-1373
李青，朱晓冉，郭建， AUTOSAR OS存储保护机制的形式化验证框架，计算机工程，2017， Vol. 43 (1): 79-85
徐骏,王玲,徐立华,郭建,朱惠彪.ProMiner:系统性质驱动的双向一致性检验框架.软件学报,2016,27(7)：1757?1771.
章玥，郭建，朱晓冉，基于模型的开发方法在多应用智能卡中的应用，信息网络安全，2013（156）：75-79。
章玥，郭建，朱晓冉等.基于Event-B 方法的多应用智能卡的建模与开发[J]. 计算机工程与科学, 2014,36(10): 1943-1951。
郭建，韩俊刚，三值逻辑证明系统及正例与反例的提取，2011.7，《计算机辅助设计与图形学学报》，vol23(7);1270:1279, 2011
郭建，韩俊岗．基于PSL的FIFO的验证．第五届中国测试学术会议．2008年，5月．295-289。
郭建 LTL公式到自动机的转换，计算机科学，2008（7）：241-244。
郭建 模型检验中对CTL公式的空属性探测，西安电子科技大学学报，2007，vol.34(5),p794-798.
郭建基于不完全Kripke结构三值逻辑的模型检验，计算机科学，2006(3): 263-266.
郭建，基于模态转移系统的三值逻辑模型检验，计算机辅助设计几图形学学报，2006, 18(6)：881-884。
教材
郭建等，嵌入式系统设计基础及应用——基于ARM Cortex-M4微处理器，北京：清华大学出版社，2022. ISBN：978-7-302-59530-4
曹喜信，郭建等，嵌入式系统设计实验教程，北京：清华大学出版社，2022. ISBN：978-7-302-59385-0
教改论文
郭建，蒲戈光，缪炜凯，半翻转课堂的混合教学法-结合“嵌入式系统设计”教学的思考，计算机教育，2021. 9， v321(9):123-132
郭建、蒲戈光，半翻转课堂的嵌入式系统设计课程混合式教学模式，计算机教育，2021.8,v320(8):157-160
郭建，章玥，《嵌入式系统概论》课程教学改革与实践，第三届全国高校软件工程专业教育年会，《计算机工程与科学》,2011，Vol33（A1）：19：22.
朱惠彪，郭建，《软件工程数学》课程双语教学改革与实践，《南京大学学报》增刊，2009，vol(45):34-38.
京公网安备 11010802027423号