曹子宁 - 南京航空航天大学 - 计算机科学与技术学院/人工智能学院

个人简介

教育经历 1998.3 - 2001.6 清华大学计算机应用技术博士研究生毕业工学博士学位 1995.9 - 1998.3 南京航空航天大学计算机应用硕士研究生毕业工学硕士学位 1991.9 - 1995.7 南京航空航天大学计算机及应用大学本科毕业工学学士学位工作经历 2004.12 - 至今南京航空航天大学计算机科学与技术学院 2003.12 - 2004.12 北京大学数学学院信息科学系 2001.7 - 2003.12 中科院软件所 1998.4 - 2001.7 清华大学计算机系科研项目 [1] AADL体系架构建模技术研究 [2] 形式化验证 [3] 面向移动计算的模态逻辑和模型检测 [4] 面向多Agent系统模型检测的逻辑和算法 [5] 机载软件形式化开发与验证方法研究 [6] 软件高级需求行为模型建模技术 [7] 高阶进程演算系统研究与应用 [8] 基于形式化软件需求的自动测试技术研究 [9] 高阶进程演算的互模拟研究 [10] 面向高阶通信的进程演算系统研究及应用

研究领域

目前研究软件工程中形式化建模与验证、计算机科学中的逻辑、智能软件工程等领域。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] 曹子宁,曹子宁,曹子宁等.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm [2] 曹子宁,曹子宁,曹子宁等.Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking.The 17 th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications,2019 [3] 曹子宁,曹子宁,曹子宁等.一种基于遗传算法的概率假设-保证验证方法与实现.南京邮电大学学报,2019 [4] 曹子宁,,等.A Specification with Performance Evaluation for Probabilistic Timed Automata.2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017 [5] 曹子宁,,等.一种基于并发的AADL建模方法.计算机与现代化,2017 [6] 曹子宁,,等.A PSO-Based CEGAR Framework for Stochastic Model Checking.Int. J. Software Engineer. Knowledge Engineer.,2019 [7] 曹子宁,,等.Genetic algorithm-based assume-guarantee reasoning for stochastic model checking.Proc. - IEEE/ACIS Int. Conf. Softw. Eng. Res., Manag. Appl., SERA,2019 [8] 曹子宁,,等.面向CPS的混成AADL建模与模型转换.计算机技术与发展,2019 [9] 曹子宁,,等.Specification for Probabilistic Timed Systems with Data Constraints.PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017),2017 [10] 曹子宁,,等.The Formal Transformation of AADL Based on Z-CoIA.CLOUD COMPUTING AND SECURITY, PT II,2017 [11] 曹子宁,Liu, Yang,Liu, Yang等.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.IEEE ACCESS,2019 [12] 曹子宁,,等.A Specification with Performance Evaluation for Probabilistic Timed Automata.2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017 [13] 曹子宁,,等.一种基于并发的AADL建模方法.计算机与现代化,2017