百晓学者学者目录

黄艳红

中南大学

精选作品

期刊论文

2026

NL2SMT - A LLM based SMT-LIB generation framework

Zhiyuan Miao, Jianqi Shi, Yanhong Huang, Xin Guo

Information and Software Technology

DOI

2026

LoMax: LLM‐Driven Local Code Optimization for MaxSAT Solvers

Fan Gao, Yanhong Huang, Jian-Wen Li, Jianqi Shi

Concurrency and Computation

DOI

2026

Resolving Natural Language Ambiguity for Verified Code Generation: A Two-Stage LLM Framework

Lei-Da Yang, Yanhong Huang, Jianqi Shi, Hai-Bin Cai, Xin Guo, Xian Wei

International Conference on Intelligent Computing

DOI

2026

Automated Postcondition Generation System: A Linguistic-Logical Hybrid Retrieval and Refinement Approach with Fine-Tuned LLMs

Luo-Feng Li, Yanhong Huang, Jianqi Shi, Yang Yang

International Conference on Intelligent Computing

DOI

2025

Political change and scientific reason in late eighteenth-century France

Yanhong Huang

Chinese Studies In History，Vol. 58, No. 4

DOI

2025

“嗅觉革命”与18世纪法国墓葬改革的缘起

黄艳红

《中山大学学报(社会科学版)》，Vol. 65, No. 3

下载原文

2025

“1789年的法国没有艺术史”：一个历史主义命题的时代语境

黄艳红，赵艺徽

《上海师范大学学报(哲学社会科学版)》，Vol. 54, No. 3

下载原文DOI

2025

18世纪法国政治话语中的“民族”概念与民族主权创生

黄艳红，柴元元

《江苏社会科学》，No. 3

下载原文DOI

2025

LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving

Yifan Wu, Yanhong Huang, Jianqi Shi

IEEE International Conference on Formal Engineering Methods

DOI

2025

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

Junjie Sheng, Yansong Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiang-Feng Wang

2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

DOI

2024

苏联科学无神论学科建设的“三大体系”

黄艳红

《世界宗教文化》，No. 2

下载原文

2024

新的拓展：当代法国史学中的遗产与博物馆研究

黄艳红

《史学月刊》，No. 11

下载原文

2024

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models

Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang

IEEE International Conference on Formal Engineering Methods

DOI

2024

SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems

Quan-Guo Zhang, Jing Liu, Mingxing Liu, Yanhong Huang, Rong-Bin Hou, Jianqi Shi

IEEE International Conference on Systems, Man and Cybernetics

DOI

2024

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution

Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao

IEEE transactions on computers

DOI

2024

OpenECAD: An efficient visual language model for editable 3D-CAD design

Zhenqiao Yuan, Jianqi Shi, Yanhong Huang

Computers & graphics

DOI

2024

Static Code Analysis of IEC 61131–3 ST Programs via Symbolic Execution

Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang

IEEE International Conference on Systems, Man and Cybernetics

DOI

2024

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation

Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin

IEEE International Conference on Formal Engineering Methods

DOI

2023

法国旧制度末期的历史话语与宪法概念（1750—1789）

黄艳红

《社会科学战线》，No. 7

下载原文

2023

A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness

Hailin Yang, Yanhong Huang, Jianqi Shi, Yang Yang

Journal of Grid Computing

DOI

2023

Improving Single-Step Adversarial Training By Local Smoothing

Shao-Peng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo

IEEE International Joint Conference on Neural Network

DOI

2023

A Tool for Transforming SysML State Machine into Uppaal Automatically

Shao-Peng Wang, Jianqi Shi, Yanhong Huang, Yang Yang

IEEE International Conference on Systems, Man and Cybernetics

DOI

2022

法国大革命时期古典形象的演变

黄艳红

《历史研究》，No. 2

下载原文

2022

试论现代"革命"概念的创生与发展

黄艳红

《史学月刊》，No. 6

下载原文

2022

MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest

Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou

arXiv.org

2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest

Shucen Ma, Jianqi Shi, Yanhong Huang, S. Qin, Zhe Hou

International Journal of Software and Informatics

DOI

2022

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems

Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yue-Ling Zhang

IEEE Transactions on Industrial Informatics

DOI

2022

Extracting optimal explanations for ensemble trees via automated reasoning

Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin-Song Dong, Yongsheng Gao

Applied intelligence (Boston)

DOI

2022

A novel industrial AGV control strategy based on dual-wheel chassis model

Hua Ding, Yanhong Huang, Jianqi Shi, Qi Shi, Yang Yang

Assembly Automation

DOI

2022

Parallel computational tree logic model‐checking on pushdown systems

Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen

Concurrency and Computation

DOI

2022

Improved discrete imperialist competition algorithm for order scheduling of automated warehouses

Bo Yan, Yan-Ping Liu, Yanhong Huang

Computers & industrial engineering

DOI

2022

A Federated Model Personalisation Method Based on Sparsity Representation and Clustering

Hailin Yang, Yanhong Huang, Jianqi Shi, Fang-Da Cai

International Conference on Software Engineering and Knowledge Engineering

DOI

2021

社会主义革命与建设时期无神论宣传教育工作的历史回顾

黄艳红

《世界宗教文化》，No. 3

下载原文

2021

历史性的体制和当下主义:弗朗索瓦·阿赫多戈的历史时间研究述评

黄艳红

《安徽史学》，No. 2

下载原文

2021

法国启蒙与革命时代的"自然理性"及其效应——以公制单位"米"的诞生为中心的考察

黄艳红

《世界历史》，No. 6

下载原文

2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution

Wei-Gang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi

Asia-Pacific Software Engineering Conference

DOI

2021

OSAI: A Component-Based Open Software Architecture for Modern Industrial Control Systems

Yan Wang, Gang Zhu, Jianqi Shi, Yanhong Huang, Xin Guo

The Arabian journal for science and engineering

DOI

2021

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S)

Ze-Yu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang

International Conference on Software Engineering and Knowledge Engineering

DOI

2021

General past-time linear temporal logic specification mining

Jianqi Shi, Jiawen Xiong, Yanhong Huang

CCF Transactions on High Performance Computing

DOI

2021

Safety Verification of IEC 61131-3 Structured Text Programs

Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Wei-Gang He

IEEE Transactions on Industrial Informatics

DOI

2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models

Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, S. Qin

Theoretical Aspects of Software Engineering

DOI

2021

A refinement development approach for enhancing the safety of PLC programs with Event-B

Xia Mao, Yue-Ling Zhang, Jianqi Shi, Yanhong Huang, Qin Li

Science of Computer Programming

DOI

2021

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL

Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang

IEEE Conference on Local Computer Networks

DOI

2021

Tree Ensemble Property Verification from A Testing Perspective

Bo-Hao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang

International Conference on Software Engineering and Knowledge Engineering

DOI

2021

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

Jing-Wen Xu, Yanhong Huang, Jianqi Shi, S. Qin

Journal of Computational Science and Technology

DOI

2020

Les lieux de memoire and Pierre Nora's writing of French national history

Huang Yanhong

Chinese Studies In History，Vol. 53, No. 2

DOI

2020

近年法国中世纪史研究中的跨学科动向二题

黄艳红

《首都师范大学学报(社会科学版)》，No. 1

下载原文

2020

历史性体制转变的法国经验

黄艳红

《华东师范大学学报(哲学社会科学版)》，Vol. 52, No. 5

下载原文

2020

中国马克思主义宗教学学术体系的发端——基于对其开创时期研究的学术史考察

黄艳红

《世界宗教研究》，No. 6

下载原文

2020

近代早期的国际竞争与财政动员:关于西荷与英法的比较研究

黄艳红

《史学集刊》，No. 2

下载原文DOI

2020

Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams

Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fang-Da Cai, Rong-Feng Lin

Asia-Pacific Software Engineering Conference

DOI

2020

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols

Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, S. Qin

Journal of Intelligent Manufacturing

DOI

2020

Formal Analysis and Verification of Airborne Software Based on DO-333

Zong-Yue Cao, Wanyou Lv, Yanhong Huang, Jianqi Shi, Qin Li

Electronics

DOI

2020

A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus

Xiuli Yang, Yanhong Huang, Jianqi Shi, Zong-Yue Cao

Electronics

DOI

2020

A Novel Self-Attention Based Automatic Code Completion Neural Network

Wanyou Lv, Jianqi Shi, Yanhong Huang, Bo-Hao Wang

International Conference on Software Engineering and Knowledge Engineering

DOI

2020

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP

Yanhong Huang, Hai-Ping Pang, Jianqi Shi

Formal Aspects of Computing

DOI

2020

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

Jiawen Xiong, Gang Zhu, Yanhong Huang, Jianqi Shi

Electronics

DOI

2019

托克维尔“民主”概念的时间化及其局限

黄艳红

《历史研究》，No. 6

下载原文

2019

记忆建构与民族主义:近代塞尔维亚历史中的科索沃传奇

黄艳红

《世界历史》，No. 5

下载原文

2019

弘扬科学无神论精神 铸牢中华民族共同体意识——“第七届全国科学无神论论坛”综述

范彬，黄艳红

《马克思主义研究》，No. 10

下载原文

2019

新时代无神论的使命和任务--“中国无神论学会第五次会员代表大会暨2018年学术年会”综述

管素叶，黄艳红

《马克思主义研究》，No. 2

下载原文

2019

马克思主义无神论思想的中国化实践与发展

黄艳红

《世界宗教文化》，No. 3

下载原文

2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi

IEEE Access

DOI

2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning

Zhi-Hui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong

IEEE Access

DOI

2019

A Decomposition-Based Development Method for Industrial Control Systems

Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang

IEEE Access

DOI

2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution

Wei-Gang He, Jianqi Shi, Ting Su, Ze-Yu Lu, Li Hao, Yanhong Huang

Theoretical Aspects of Software Engineering

DOI

2019

A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network

Neng Fu, Nuerbiye Kamili, Yanhong Huang, Jianqi Shi

Australian Journal of Intelligent Information Processing Systems

2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus

Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao

IEEE Access

DOI

2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective

Hui Zhao, Zhi-Hui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang

International Conference on Information Control Systems & Technologies

DOI

2019

ParaMoC: A Parallel Model Checker for Pushdown Systems

Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang

International Conference on Algorithms and Architectures for Parallel Processing

DOI

2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements

X. Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei

Knowledge Science, Engineering and Management

DOI

2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications

Jianqi Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She

REFSQ Workshops

2018

千年之变:一种西欧封建社会解释的兴衰

黄艳红

《史学理论研究》，No. 2

下载原文

2018

An optimal solution for software testing case generation based on particle swarm optimization

Jianqi Shi, Yanhong Huang, Ang Li, Fang-Da Cai

Open Physics

DOI

2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework

Zhi-Cheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu

ACM International Conference on Computing Frontiers

DOI

2018

Parallel Model Checking on Pushdown Systems

Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi

2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom)

DOI

2018

Efficient Parallel CTL Model-Checking for Pushdown Systems

Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi

2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom)

DOI

2017

苏联无神论宣传教育的历史经验与教训

黄艳红

《马克思主义研究》，No. 12

下载原文

2017

“记忆之场”与皮埃尔·诺拉的法国史书写

黄艳红

《历史研究》，No. 6

下载原文

2017

革命话语与概念的初现：法国旧制度末期关于税收特权问题的论辩

黄艳红

《世界历史》，No. 6

下载原文

2017

制度、表象与社会：罗兰·穆尼埃的史学研究评介

黄艳红

《贵州社会科学》，No. 7

下载原文

2017

Decomposition and Collaboration of Industrial Control System with Resource Constraints

Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang

IEEE International Conference on Engineering of Complex Computer Systems

DOI

2016

中世纪法国的空间与边界

黄艳红

《世界历史》，No. 3

下载原文

2016

近代法国莱茵河“自然疆界”话语的流变（1450-1792）

黄艳红

《历史研究》，No. 4

下载原文

2016

姐妹共和国？——比较视野下的美国革命和法国大革命

彼得·迈克菲，黄艳红

《世界历史》，No. 4

下载原文

2016

Formalization and Verification of the Powerlink Protocol Using CSP

Hai-Ping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, S. Qin

Asia-Pacific Software Engineering Conference

DOI

2015

钱与权：制度史视角下法国旧制度时代的职位买卖

黄艳红

《史林》，No. 5

下载原文

2015

Modeling and Verifying the Ballooning in Xen with CSP

Luyao Wang, Feng-Wei Sui, Yanhong Huang, Huibiao Zhu

IEEE International Symposium on High-Assurance Systems Engineering

DOI

2015

Analyzing and verifying device and method for operation system of automobile open system structure

Jian Guo, Yanhong Huang, Yun-Hui Peng, Xiaoran Zhu

2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language

Yanhong Huang, Yongxin Zhao, S. Qin, Ji-Feng He

IEEE International Conference on Engineering of Complex Computer Systems

DOI

2015

Semantic theories of programs with nested interrupts

Yanhong Huang, Ji-Feng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, S. Qin

Frontiers of Computer Science

DOI

2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems

Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu

IEEE International Conference on Engineering of Complex Computer Systems

DOI

2014

欧洲历史中的过去和未来——简析科泽勒克和阿尔托格的历史时间研究

黄艳红

《史学理论研究》，No. 4

下载原文

2014

Investigating System Survivability from a Probabilistic Perspective

Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Ji-Feng He, Jianwen Li, Xi Wu

IEICE Trans. Inf. Syst.

DOI

2014

pIML -- An Interrupt Program Modelling Language for Real-Time and Embedded Systems

X. Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Asia-Pacific Software Engineering Conference

DOI

2013

法国大革命史研究：新视野、新进展、新趋势：法国革命史中的“资产阶级”概念辨析

黄艳红

《史学理论研究》，No. 3

下载原文

2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

Yanhong Huang, J. Ferreira, Guanhua He, S. Qin, Ji-Feng He

IEEE International Conference on Formal Engineering Methods

DOI

2013

A Denotational Model for Interrupt-Driven Programs

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

DOI

2013

Modeling and Verification of AUTOSAR OS and EMS Application

Yun-Hui Peng, Yanhong Huang, Ting Su, Jian Guo

2013 International Symposium on Theoretical Aspects of Software Engineering

DOI

2012

罗兰·穆尼埃的社会史研究

黄艳红

《史学理论研究》，No. 4

下载原文

2012

《历史评论》（Revue Historique）2010－2011年论文摘编

黄艳红

《史学理论研究》，No. 1

下载原文

2012

“拉维斯主义”的退隐：法国记忆史研究一瞥

黄艳红

《史学理论研究》，No. 3

下载原文

2012

超富集植物垂序商陆的锰吸收动态研究

薛生国，刘丰豪，吴川，黄艳红，吴超

《中南大学学报(自然科学版)》

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

DOI

2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System

Jianqi Shi, Ji-Feng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiao-Xian Zhang

IEEE International Conference on Engineering of Complex Computer Systems

DOI

2012

A Timed CSP Model for the Time-Triggered Language Giotto

Yanhong Huang, Yongxin Zhao, S. Qin, Guanhua He, J. Ferreira

2012 35th Annual IEEE Software Engineering Workshop

DOI

2012

Investigating Time Properties of Interrupt-Driven Programs

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, S. Qin

Brazilian Symposium on Formal Methods

DOI

2011

《近代史杂志》2009—2010年书评编译

黄艳红

《史学理论研究》，No. 3

下载原文

2011

在公共与私人之间：法国旧制度时代的包税制度初探

黄艳红

《史林》，No. 3

下载原文

2011

城市装修住宅室内空气甲醛污染调查分析

薛生国，马亚梦，李丽劼，黄艳红，王钧

《土木与环境工程学报(中英文)》

2011

采用FTIR法研究酸模叶蓼对锰胁迫生理响应的影响

薛生国，黄艳红，王钧，田守祥，雷杰，何哲祥

《中南大学学报(自然科学版)》

2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi

2011 Fifth International Conference on Theoretical Aspects of Software Engineering

DOI

2011

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification

Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu

2011 Fifth International Conference on Theoretical Aspects of Software Engineering

DOI

2011

Formal Model of Interrupt Program from a Probabilistic Perspective

Yongxin Zhao, Yanhong Huang, Ji-Feng He, Si Liu

IEEE International Conference on Engineering of Complex Computer Systems

DOI

2010

Probabilistic Model of System Survivability

Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering

DOI

2009

试析法国旧度末年的教会免税特权

黄艳红

《世界历史》，No. 2

下载原文

2009

19世纪德国历史主义民族观、国家观和伦理观——兼评安托万·基扬《近代德国及其历史学家》

黄艳红

《史学理论研究》，No. 4

下载原文

2006

造血刺激因子对巨核细胞体外扩增的影响

黄艳红，王绮如

《中南大学学报(医学版)》

2005

骨髓成纤维细胞条件培养液对巨核系细胞体外增殖和血小板体内生成的影响

黄艳红，周小莹，谭孟群，程腊梅，卢光琇，王绮如

《中南大学学报(医学版)》

此主页由公开资料整理，尚未经学者本人认领。