中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Current position:
Home
>>
Scientific Research
>>
Paper Publications
曹子宁
Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Paper Publications
[1]Cao Zi Ning,Cao Zi Ning,马艳,.A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
[2]Cao Zi Ning,Cao Zi Ning,马艳.Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Ch...:The 17 th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications,2019
[3]Cao Zi Ning,Cao Zi Ning,马艳.一种基于遗传算法的概率假设-保证验证方法与实现:南京邮电大学学报,2019
[4]Cao Zi Ning,Cao Zi Ning,Ma, Yan,Liu, Yang.A Specification with Performance Evaluation for Probabilistic Timed Automata:2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017
[5]Cao Zi Ning,Cao Zi Ning,李揭阳.一种基于并发的AADL建模方法:计算机与现代化,2017
[6]Cao Zi Ning,Cao Zi Ning,Ma, Yan,Liu, Yang.A PSO-Based CEGAR Framework for Stochastic Model Checking:Int. J. Software Engineer. Knowledge Engineer.,2019
[7]Cao Zi Ning,Cao Zi Ning,Ma, Yan,Liu, Yang.Genetic algorithm-based assume-guarantee reasoning for stochastic model checking:Proc. - IEEE/ACIS Int. Conf. Softw. Eng. Res., Manag. Appl., SERA,2019
[8]Cao Zi Ning,Cao Zi Ning,曹雪岳,卜星晨.面向CPS的混成AADL建模与模型转换:计算机技术与发展,2019
[9]Cao Zi Ning,Cao Zi Ning,Ma, Yan,Liu, Yang.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]Cao Zi Ning,Cao Zi Ning,Zhang, Fugao.The Formal Transformation of AADL Based on Z-CoIA:CLOUD COMPUTING AND SECURITY, PT II,2017
total13 1/2
first
previous
next
last
Page