中国学者近期发表的论文
1.	Automated verification of the FreeRTOS scheduler in <Emphasis Type="SmallCaps">Hip/Sleek</Emphasis> Author: João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 381-397, DOI:10.1007/s10009-014-0307-4    DOI
2.	Expressive program verification via structured specifications Author: Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 363-380, DOI:10.1007/s10009-014-0306-5    DOI
3.	Pushdown model checking for malware detection Author: Fu Song, Tayssir Touili Journal: International Journal on Software Tools for Technology Transfer, 2013, Vol.16, 147-173, DOI:10.1007/s10009-013-0290-1    DOI
4.	Formal verification and simulation for platform screen doors and collision avoidance in subway control systems Author: Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 339-361, DOI:10.1007/s10009-014-0318-1    DOI
5.	Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B Author: Chunyan Fu, Kougen Zheng Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol., , DOI:10.1007/s10009-017-0463-4    DOI
6.	<Emphasis Type="Italic">RAMBUTANS</Emphasis>: automatic AOP-specific test generation tool Author: Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Sai Peck Lee, Saif Ur Rehman Khan Journal: International Journal on Software Tools for Technology Transfer, 2016, Vol.19, 743-761, DOI:10.1007/s10009-016-0432-3    DOI
7.	Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system Author: Wen Su, Jean-Raymond Abrial Journal: International Journal on Software Tools for Technology Transfer, 2015, Vol.19, 141-166, DOI:10.1007/s10009-015-0400-3    DOI
8.	Integrated formal verification of safety-critical software Author: Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol.20, 423-440, DOI:10.1007/s10009-017-0475-0    DOI

同类著名期刊名称 h-index CiteScore Nature Reviews Materials 61 37.75 Nature Energy 61 26.88 NATURE MATERIALS 403 26.43 PROGRESS IN MATERIALS SCIENCE 144 28.12 Nature Nanotechnology 286 23.86 Energy & Environmental Science 279 32.34 PROGRESS IN ENERGY AND COMBUSTION SCIENCE 161 29.72 ADVANCED MATERIALS 447 23.77 MATERIALS SCIENCE & ENGINEERING R-REPORTS 129 27.24 Materials Today 138 7.17

中科院JCR同大类学科的热搜期刊 浏览次数 ACS Applied Materials & Interfaces 1532734 CHEMICAL ENGINEERING JOURNAL 1220250 IEEE Access 1190431 APPLIED SURFACE SCIENCE 1178627 JOURNAL OF ALLOYS AND COMPOUNDS 1050297 JOURNAL OF MATERIALS SCIENCE 881558 MATERIALS LETTERS 803408 Nanoscale 712929 ADVANCED MATERIALS 677814 Journal of Materials Chemistry A 655349