导师姓名：杨志斌
性别：男
人气指数：257
所属院校：南京航空航天大学
所属院系：计算机科学与技术学院
职称：副教授
导师类型：硕导
招生专业：软件工程
通讯方式 :
电子邮件：yangzhibin168@163.com
个人简述 :
杨志斌，男，博士，南京航空航天大学计算机学院副教授。长期从事安全关键嵌入式软件及形式化方法研究。
2012年2月在北京航空航天大学计算机学院获博士学位。2012年4月－2014年12月在法国图卢兹大学作博士后研究，博士后期间，获得一项法国航空航天基金（STAE）资助（2013.7－2014.6）。作为主要科研人员，先后参加了国家自然科学基金面上项目、航空科学基金、国家863重大项目子课题、军口863、航天合作项目等课题。2015年3月到南航工作，目前主持国家自然科学青年基金、GF科技基础研究重点项目、装发共性技术预研、江苏省自然科学青年基金、航空科学基金、软件开发环境国家重点实验室开放基金、国家博士后基金等课题。在Journal of Systems and Software等国际期刊和国际会议发表论文30余篇。AADL国际标准委员会委员、中国计算机学会抗恶劣计算机专委委员、中国计算机学会形式化方法专委委员。
ACM Trans. on Embedded Computing Systems(TECS)、Frontiers of Computer Science(FCS)、Science in China、软件学报等期刊会议审稿人。
主讲课程：本科生《编译原理》《编译原理课程设计》（2015年秋季、2016年秋季）
科研工作 :
发表学术论文,出版专著情况：
SCI期刊论文：
1)Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali.MinSIGNAL: Towards a Simple and Safe Compiler for the Synchronous Language SIGNAL in Objective Caml. 2017.3. SCI
2) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali,Kai Hu, Yongwang Zhao, Dianfu Ma. Towards a Verified Compiler Prototype for the Synchronous Language SIGNAL. Frontiers of Computer Science10(1):37-53(2016), SCI
3) Yongwang Zhao, Zhibin Yang, Dianfu Ma. A survey on formal specification and verification of separation kernels.Frontiers of Computer Science. 2016.SCI
4) Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin: From AADL to Timed Abstract State Machines: A verified model transformation. Journal of Systems and Software 93: 42-68 (2014), SCI
5) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali: A comparative study of two formal semantics of the SIGNAL language. Frontiers of Computer Science 7(5): 673-693 (2013)，SCI
6) Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai: Exploring AADL verification tool through model transformation. Journal of Systems Architecture - Embedded Systems Design 61(3-4): 141-156 (2015). SCI.
7) Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang: Towards a verified transformation from AADL to the formal component-based language FIACRE. Science of Computer Programming. 106: 30-53 (2015). SCI.
8) Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai: Simulation of real-time systems with clock calculus. Simulation Modelling Practice and Theory 51: 69-86 (2015). SCI.
9) Kai Hu, Teng Zhang, Zhibin Yang: Multi-threaded code generation from Signal program to OpenMP. Frontiers of Computer Science 7(5): 617-626 (2013).SCI.
国内期刊论文：
10) 王飞，杨志斌，黄志球等. 基于限定自然语言需求的AADL模型生成方法. 软件学报. 2017.
11) 杨志斌, 赵永望，黄志球, 胡凯, 马殿富, Bodeveix Jean-Paul, Filali Mamoun.同步语言的时间可预测多线程代码生成方法。软件学报2016,27(3):**.
12) 杨志斌, 胡凯, 赵永望, 马殿富, Jean-Paul Bodeveix. 基于时间抽象状态机的AADL模型验证. 软件学报. Vol.25, No.2, 2015.
13) 杨志斌, 皮磊, 胡凯, 顾宗华, 马殿富. 复杂嵌入式实时系统体系结构设计与分析语言: AADL. 软件学报, Vol.21, No.5, May 2010, pp. 899-915.
14）胡凯, 张 腾, 尚利宏，杨志斌, Jean-Pierre Talpin. 面向同步规范的并行代码自动生成方法. 软件学报, 2016.
会议论文：
15) Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang: Parametric Runtime Verification of C Programs. TACAS 2016: 299-315
16) Yongwang Zhao, Zhibin Yang, David Sanán:Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), NOVEMBER 2?5, 2015, GAITHERSBURG, MD, USA.
17) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties. Architecture Centric Virtual Integration (ACVI) Workshop of ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain. 09/2014.（会议最佳论文）
18) Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma. A Verified Transformation: from Polychronous Programs to a Variant of Clocked Guarded Actions. Proceedings of 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES’14, Sankt Goar, Germany, 10/06/2014-11/06/2014, ACM,128-137.
19) Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin. Two formal semantics of a subset of the AADL. Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 344-349.
20) Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi. Towards a formal semantics for the AADL behavior annex. Proceedings of 2009 Design, Automation and Test in Europe Conference and Exhibition, DATE'09, 1166-1171.
21) Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi, Jean-Paul Bodeveix. Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine. IEEE International Conference on Progress in Informatics and Computing (PIC). 1098-1103. 2010.
22) Lei Pi, Zhibin Yang, J-P Bodeveix, M. Filali, Kai Hu, Dianfu Ma. A comparative study of FIACRE and TASM to define AADL real time concepts. 14th IEEE International Conference on Engineering of Complex Computer Systems. 347-352. 2009.
科研成果获奖及专利：
1.杨志斌，刘承威等. 非形式化需求规约模板到形式化设计模型的自动转换方法. **2.6
2. 杨志斌,袁胜浩等. 一种基于图形化卫式命令演算的多任务编译方法. **0.1.
3.杨志斌,袁胜浩等. 一种同步数据流语言的形式化编译方法. **6.9.
4.Kai Hu, Shu Jiang, Zhibin Yang, Bin Gu, Panchang Jiang, Teng Zhang. A Model Transformation Method: AADL2TASM. Chinese Patent (CN** B).
5.Kai Hu, Teng Zhang, Zhibin Yang, Bin Gu, Shu Jiang, Panchang Jiang. A Model Transformation Method: TASM2UPPAAL. Chinese Patent (CN** A).
软件著作权 4项
承担的科研项目情况：
目前主持的部分项目：
1)装发共性技术预研子课题，150万，2018.1-2020.12，主持
2)国家自然科学基金(青年)，面向安全关键系统的时间可预测多核代码生成方法研究，2016.1-2018.12, 23.8万元，主持
3)GF基础研究重点项目，2016.1-2018.12, 200万元(项目总经费650万元)，主持
4)江苏省自然科学基金(青年)，2015.7-2018.6, 20万元，主持
5)航空科学基金，2015.10-2017.9，10万元，主持
6)（北京航空航天大学）软件开发环境国家重点实验室开放课题，2015.3-2017.1, 10万元，主持
7)（华东师范大学）上海市高可信计算重点实验室开放课题，2015.7-2017.6，主持
8）南京航空航天大学教师教学能力提升研究课题，面向高安全系统软件工程的科研教学相促机制研究与实践，2017.1-2018.12，主持
目前参与的项目：
1）国家重点研发计划，“基于大数据的软件智能开发方法和环境”项目（北京大学牵头）子课题“复杂软件分析与验证智能化关键技术与支撑环境”（南京大学牵头），2016.7-2019.6.
参与过的部分项目：
1)法国航空航天基金，实时可靠嵌入式网络系统(TORRENTS-TOAST) 2013.7-2014.6，3.2万欧元。
2)国家自然科学基金面上项目，面向航空关键系统的AADL转换语义及其特性保持证明研究，2011.1-2013.12，30万元，主要科研人员。
3)北京神舟航天软件技术有限公司合作项目，基于模型的安全关键软件开发工具研究，2014.12-2015.12，30万元，主要科研人员。
4)航天502所合作项目，2010.9-2011.9，30万元，主要科研人员。
5)航空基金，2012.10-2014.10，10万元，主要科研人员。
6)航空基金，2008.10-2010.10，10万元，主要科研人员。
7)航空基金，2007.10-2009.10，10万元，主要科研人员。
8)航空基金，2006.10-2008.10，10万元，主要科研人员。
南京航空航天大学考研研究生导师简介-杨志斌
本站小编 Free考研网/2019-05-27
相关话题/软件 基金 航空 系统 环境
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19南京航空航天大学考研研究生导师简介-胡海岩
导师姓名：胡海岩性别：男人气指数：256所属院校：南京航空航天大学所属院系：航空宇航学院职称：教授导师类型：硕导招生专业：一般力学与力学基础、固体力学个人简述:在振动控制系统的非线性动力学、碰撞振动理论及其应用、一维复杂系统动力学等研究中做出了同行公认的贡献。在德国Springer-Verlag出版 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-汤晓斌
导师姓名：汤晓斌性别：男人气指数：255所属院校：南京航空航天大学所属院系：材料科学与技术学院职称：教授导师类型：博导招生专业：核技术及应用、材料科学与工程(核技术与材料工程)通讯方式:办公电话：**电子邮件：tangxiaobin@nuaa.edu.cn个人简述:汤晓斌，男，江苏常州人，博士，教授 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-李舜酩
导师姓名：李舜酩性别：男人气指数：248所属院校：南京航空航天大学所属院系：能源与动力学院职称：教授导师类型：博导招生专业：车辆工程、动力机械及工程、航空宇航推进理论与工程通讯方式:办公电话：**-23电子邮件：smli@nuaa.edu.cn个人简述:一、个人简历?1996年博士毕业于西安交通大学 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-盛庆红
导师姓名：盛庆红性别：女人气指数：248所属院校：南京航空航天大学所属院系：航天学院职称：副教授导师类型：硕导招生专业：通信与信息系统、导航、制导与控制通讯方式:办公电话：**电子邮件：qhsheng@nuaa.edu.cn个人简述:教育经历：1.1996.9～2000.7武汉大学摄影测量与遥感专业 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-苏盛辉
导师姓名：苏盛辉性别：男人气指数：245所属院校：南京航空航天大学所属院系：计算机科学与技术学院职称：教授导师类型：博导招生专业：软件工程、计算机科学与技术、网络空间安全通讯方式:办公电话：**电子邮件：reesse@126.com个人简述:苏盛辉，博士、教授(南航南理工)、博士生导师(网络空间安全 ...导师信息 本站小编 Free考研网 2019-05-27郑州航空工业管理学院考研研究生导师简介-任红娟
导师姓名：任红娟性别：女人气指数：245所属院校：郑州航空工业管理学院所属院系：信息科学学院职称：讲师导师类型：硕导招生专业：情报学研究领域：信息计量学、信息分析、图情档研究趋势探测和教育研究领域：信息计量学、信息分析、图情档研究趋势探测和教育[收起]通讯方式:电子邮件：renhongjuan_re ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-何畏
导师姓名：何畏性别：女人气指数：243所属院校：南京航空航天大学所属院系：马克思主义学院职称：副教授导师类型：硕导招生专业：马克思主义基本原理通讯方式:电子邮件：awei1226@163.com科研工作:发表学术论文,出版专著情况：1.《社会主义荣辱观的内在关系浅析》，《哲学研究》，2012年第2期 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-夏伟杰
导师姓名：夏伟杰性别：男人气指数：244所属院校：南京航空航天大学所属院系：电子信息工程学院职称：副教授导师类型：硕导招生专业：信号与信息处理通讯方式:办公电话：**-432电子邮件：nuaaxwj@nuaa.edu.cn个人简述:本人2001年毕业于南京航空航天大学电子工程系，获学士学位。2004 ...导师信息 本站小编 Free考研网 2019-05-27郑州航空工业管理学院考研研究生导师简介-李伟超
导师姓名：李伟超性别：男人气指数：243所属院校：郑州航空工业管理学院所属院系：信息科学学院职称：副教授导师类型：硕导招生专业：图书馆学研究领域：数字信息资源管理、知识服务、数字图书馆等研究领域：数字信息资源管理、知识服务、数字图书馆等[收起]通讯方式:办公电话：**电子邮件：liweichao@z ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-姬科举
导师姓名：姬科举性别：男人气指数：242所属院校：南京航空航天大学所属院系：航天学院职称：副研究员导师类型：硕导招生专业：机械设计及理论通讯方式:办公电话：**电子邮件：jikeju@nuaa.edu.cn个人简述:2008年本科毕业于南京航空航天大学工业设计专业，2016年博士毕业于南京航空航天大 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-彭生杰
导师姓名：彭生杰性别：男人气指数：241所属院校：南京航空航天大学所属院系：材料科学与技术学院职称：研究员导师类型：博导招生专业：物理化学、材料物理与化学通讯方式:电子邮件：pengshengjie@nuaa.edu.cn个人简述:彭生杰，江苏特聘教授，2004年9月就读于中国南开大学，师从陈军教授 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-陆永华
导师姓名：陆永华性别：男人气指数：241所属院校：南京航空航天大学所属院系：机电学院职称：教授导师类型：博导招生专业：机械电子工程通讯方式:办公电话：**电子邮件：nuaa_lyh@nuaa.edu.cn个人简述:陆永华，教授，2005年获南京航空航天大学机械电子工程专业博士学位，后留校工作，中国航 ...导师信息 本站小编 Free考研网 2019-05-27南昌航空大学考研研究生导师简介-陈益平
导师姓名：陈益平性别：男人气指数：240所属院校：南昌航空大学所属院系：航空制造工程学院职称：教授导师类型：硕导招生专业：机械电子工程、航空宇航制造工程、材料工程、航空工程、材料加工工程通讯方式:电子邮件：niatwi@163.com个人简述:陈益平，男，汉族，1962年5月出生，浙江诸暨人，197 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-沈鸿烈
导师姓名：沈鸿烈性别：男人气指数：235所属院校：南京航空航天大学所属院系：材料科学与技术学院职称：教授导师类型：博导招生专业：凝聚态物理、光学工程、材料学通讯方式:办公电话：**电子邮件：hlshen@nuaa.edu.cn个人简述:1990年2月博士研究生毕业于中国科学院上海冶金研究所半导体物理 ...导师信息 本站小编 Free考研网 2019-05-27南京航空航天大学考研研究生导师简介-谢振宇
导师姓名：谢振宇性别：男人气指数：232所属院校：南京航空航天大学所属院系：机电学院职称：副教授导师类型：硕导招生专业：机械电子工程、机械设计及理论通讯方式:办公电话：**电子邮件：xiezy@nuaa.edu.cn个人简述:2000年在西安交通大学获机械电子博士学位并留校任教，2002年至今在南京 ...导师信息 本站小编 Free考研网 2019-05-27
