| 1 |
第十七届全国大学生机器人大赛ROBOMASTER 2018全国特等奖
|
奖励 |
陈刚 |
| 2 |
基于区间线性模版约束的程序分析
|
期刊论文 |
姜加红;尹帮虎;陈立前 |
| 3 |
Efficient Training Techniques for Multi-Agent Reinforcement Learning in Combat Tasks
|
期刊论文 |
Zhang Guanyu;Li Yuan;Xu Xinhai;Dai Huadong |
| 4 |
RGSE: A Regular Property Guided Symbolic Executor for Java
|
会议论文 |
Yu Hengbiao;Chen Zhenbang;Zhang Yufeng;Wang Ji;Dong Wei |
| 5 |
Guide Fuzzing with Multi-Factor Potential Analysis
|
会议论文 |
Xu Luhang;Dong Wei;Yin Liangze;Zhong Qiuxi |
| 6 |
Do You Really Know How to Configure Your Software? Configuration Constraints in Source Code May Help
|
期刊论文 |
Liao Xiangke;Zhou Shulin;Li Shanshan;Jia Zhouyang;Liu Xiaodong;He Haochen |
| 7 |
Fault-Tolerant Real-time Tasks Scheduling with Dynamic Fault Handling
|
期刊论文 |
Gang Chen;Nan Guan;Kai Huang;Wang Yi |
| 8 |
Iterative Controller Synthesis for Multirobot System
|
期刊论文 |
Shi Hao;Li Rui;Liu Wanwei;Dong Wei;Zhou Ge |
| 9 |
Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks
|
期刊论文 |
Liu Di;Guan Nan;Spasic Jelena;Chen Gang;Liu Songran;Stefanov Todor;Yi Wang |
| 10 |
A True-Concurrency Encoding for BMC of Compositional Systems
|
期刊论文 |
Yin Liangze;Dong Wei;He Fei;Wang Ji |
| 11 |
一种搭载智能设备的折叠式手机无人机机架
|
专利 |
陈曦斌;陈刚;胡韬;王也;董海鹏;王义 |
| 12 |
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms
|
期刊论文 |
Hu Chi;Dong Wei;Yang Yonghui;Shi Hao;Zhou Ge |
| 13 |
Distributed coordination with connectivity maintenance for nonholonomic robots
|
期刊论文 |
Huang Wanrong;Wang Yanzhen;Yi Xiaodong;Yang Xue Jun |
| 14 |
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems
|
会议论文 |
Xiaochen Hao;Mingsong Lv;Jiesheng Zheng;Zhengkui Zhang;Wang Yi |
| 15 |
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
|
会议论文 |
Jiang Jiahong;Chen Liqian;Wu Xueguang;Wang Ji |
| 16 |
2018年全国大学生物联网设计竞赛(TI杯)全国一等奖
|
奖励 |
胡韬;何晟宇;陈刚 |
| 17 |
基于运行时验证的无人飞行系统安全威胁检测方法
|
期刊论文 |
杨栋;史浩;董威;刘宗林;周戈 |
| 18 |
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees
|
会议论文 |
Liu Di;Spasic Jelena;Guan Nan;Chen Gang;Liu Songran;Stefanov Todor;Yi Wang |
| 19 |
形式化方法概貌
|
期刊论文 |
王戟;詹乃军;冯新宇;刘志明 |
| 20 |
一种折叠式手机无人机
|
专利 |
王也;陈刚;胡韬;陈曦斌;董海鹏;王义 |
| 21 |
YOGAR-CBMC: CBMC with scheduling constraint based abstraction refinement: (Competition contribution)
|
会议论文 |
Yin Liangze;Dong Wei;Liu Wanwei;Li Yunchou;Wang Ji |
| 22 |
Spatio-Temporal LSTM with Aggregated Feature Learning for Human Action Recognition
|
会议论文 |
Gang Chen;Qingqing Meng;Yongjun Liu;Haitao Meng |
| 23 |
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms
|
会议论文 |
Jinghao Sun;Yaoyao Chi;Tianfei Xu;Lei Cao;Nan Guan;Zhishan Guo;Wang Yi |
| 24 |
Ant colony optimisation algorithm for multiobjective subset selection problems
|
期刊论文 |
Liu Yi;Zhou Hao;Wang Yanzhen;Ren Xiaoguang;Diao Xingchun |
| 25 |
一种结合符号执行提高软件模糊测试效率的方法
|
专利 |
董威;徐鲁杭;尹良泽;贾维熙;陈振邦;王戟 |
| 26 |
Intra-Task Priority Assignment in Real-Time Scheduling of DAG Tasks on Multi-Cores
|
期刊论文 |
He Qingqiang;Jiang Xu;Guan Nan;Guo Zhishan |
| 27 |
DJI RoboMaster Mobile Manipulation Challenge (ICRA 2017) 冠军
|
奖励 |
陈刚 |
| 28 |
Practical Symbolic Verification of Regular Properties
|
会议论文 |
Yu Hengbiao |
| 29 |
Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers
|
会议论文 |
Yue Tang;Xu Jiang;Nan Guan;Yuming Jiang |
| 30 |
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks
|
期刊论文 |
Chen Gang;Guan Nan;Liu Di;He Qingqiang;Huang Kai;Stefanov Todor;Yi Wang |
| 31 |
ConfVD: System Reactions Analysis and Evaluation Through Misconfiguration Injection
|
期刊论文 |
Li Shanshan;Li Wang;Liao Xiangke;Peng Shaoliang;Zhou Shulin;Jia Zhouyang;Wang Teng |
| 32 |
Expediting Binary Fuzzing with Symbolic Analysis
|
期刊论文 |
Xu Luhang;Yin Liangze;Dong Wei;Jia Weixi;Li Yongjun |
| 33 |
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization
|
期刊论文 |
Wu Xueguang;Chen Liqian;Mine Antoine;Dong Wei;Wang Ji |
| 34 |
Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism
|
期刊论文 |
Sun Jinghao;Guan Nan;Li Feng;Gao Huimin;Shi Chang;Yi Wang |
| 35 |
Abstraction and Association: Cross-Modal Retrieval Based on Consistency between Semantic Structures
|
期刊论文 |
Qibin Zheng;Xiaoguang Ren;Yi Liu;Wei Qin |
| 36 |
Task Parameters Analysis in Schedule-Based Timing Side-Channel Attack
|
期刊论文 |
Liu Songran;Yi Wang |
| 37 |
Optimizing Monitor Code based on Patterns in Runtime Verification
|
会议论文 |
Zhou Ge;Dong Wei;Liu Wanwei;Shi Hao;Hu Chi;Yin Liangze |
| 38 |
Verifying Numerical Programs via Iterative Abstract Testing
|
会议论文 |
Banghu Yin;Liqian Chen;Jiangchao Liu;Ji Wang;Patrick Cousot |
| 39 |
Parallel Refinement for Multi-Threaded Program Verification
|
会议论文 |
Liangze Yin;Wei Dong;Wanwei Liu;Ji Wang |
| 40 |
Evaluation of model checkers by verifying message passing programs
|
期刊论文 |
Hong Weijiang;Chen Zhenbang;Yu Hengbiao;Wang Ji |
| 41 |
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis
|
会议论文 |
Lu Bailin;Dong Wei;Yin Liangze;Zhang Li |
| 42 |
Capacity Augmentation Function for Real-Time Parallel Tasks with Constrained Deadlines under GEDF Scheduling
|
期刊论文 |
Jinghao Sun;Nan Guan;Shuangshuang Chang;Feng Li;Qingxu Deng;Wang Yi |
| 43 |
Hierarchical Analysis of Loops With Relaxed Abstract Transformers
|
期刊论文 |
Yin Banghu;Chen Liqian;Liu Jiangchao;Wang Ji |
| 44 |
智能化的程序搜索与构造方法综述
|
期刊论文 |
刘斌斌;董威;王戟 |
| 45 |
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things
|
会议论文 |
Qingqiang He;Nan Guan;Mingsong Lv;Wang Yi |
| 46 |
A Survey on Static Cache Analysis for Real-Time Systems
|
期刊论文 |
Mingsong LV;Nan Guan;Jan Reineke;Reinhard Wilhelm;Wang Yi |
| 47 |
A Speech Enhancement System Based on Real-time Sound Source Localization and Super-directional Fixed Beamforming
|
会议论文 |
Dan Wu;Ke Zhang;Yangjie Wei |
| 48 |
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
|
期刊论文 |
Hong Wei-jiang;Liu Yi-jun;Chen Zhen-bang;Dong Wei;Wang Ji |
| 49 |
Pay-Burst-Only-Once in Real-Time Calculus
|
会议论文 |
Yue Tang;Yuming Jiang;Xu Jiang;Nan Guan |
| 50 |
Security Controller Synthesis for ROS-based Robot
|
会议论文 |
Xudong Zhao;Shaoxian Shu;Yutian Lan;Haining Feng;Wei Dong |
| 51 |
面向实时应用的深度学习研究综述
|
期刊论文 |
张政馗;庞为光;谢文静;吕鸣松;王义 |
| 52 |
Controller Synthesis for ROS-based Multi-Robot Collaboration
|
会议论文 |
Xudong Zhao;Rui Li;Wanwei Liu;Hao Shi;Shaoxian Shu;Wei Don |
| 53 |
一种基于时序监控的无人飞行器安全防护方法
|
专利 |
董威;胡弛;杨栋;史浩;尹良泽;周戈;陈振邦;陈立前;王戟 |
| 54 |
Transforming Real-Time Task Graphs to Improve Schedulability
|
会议论文 |
Gu Chuancai;Guan Nan;Feng Zhiwei;Deng Qingxu;Hu Xiaobo Sharon;Yi Wang |
| 55 |
面向灾难搜索救援场景的空地协同无人群体任务规划研究
|
期刊论文 |
李明龙;杨文婧;易晓东;王彦臻;王戟 |
| 56 |
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification
|
期刊论文 |
Yin Liangze;Dong Wei;Liu Wanwei;Wang Ji |
| 57 |
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions
|
期刊论文 |
Gang Chen;Nan Guan;Biao Hu;Wang Yi |
| 58 |
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software
|
会议论文 |
Shi Hao;Dong Wei;Zhou Ge;Yin Liangze |
| 59 |
“第十六届全国大学生机器人大赛ROBOMASTER 2017”全国一等奖
|
奖励 |
陈刚 |
| 60 |
A Spatial-Temporal Model for Locating Electric Vehicle Charging Stations
|
会议论文 |
Dong Ji;Yingnan Zhao;Xinyang Dong;Mingyang Zhao;Lei Yang;Mingsong Lv;Gang Chen |
| 61 |
Response Time Bounds for Typed DAG Parallel Tasks on Heterogeneous Multi-Cores
|
期刊论文 |
Han Meiling;Guan Nan;Sun Jinghao;He Qingqiang;Deng Qingxu;Liu Weichen |
| 62 |
实时多核嵌入式系统研究综述
|
期刊论文 |
陈刚;关楠;吕鸣松;王义 |
| 63 |
Property Oriented Verification Via Iterative Abstract Interpretation
|
会议论文 |
Banghu Yin |
| 64 |
On Computing Exact WCRT for DAG Tasks
|
会议论文 |
Jinghao Sun;Feng Li;Nan Guan;Wentao Zhu;Minjie Xiang;Zhishan Guo;Wang Yi |
| 65 |
Joint Optimization of Multi-UAV Target Assignment and Path Planning Based on Multi-Agent Reinforcement Learning
|
期刊论文 |
Qie Han;Shi Dianxi;Shen Tianlong;Xu Xinhai;Li Yuan;Wang Liujing |
| 66 |
Scheduling constraint based abstraction refinement for weak memory models
|
会议论文 |
Yin Liangze;Liu Wanwei;Dong Wei;Wang Ji |
| 67 |
ALLIANCE-ROS: A Software Framework on ROS for Fault-Tolerant and Cooperative Mobile Robots
|
期刊论文 |
Guo Zhongyuan;Yang Wenjing;Li Minglong;Yi Xiaodong;Cai Zhongxuan;Wang Yanzhen |
| 68 |
Automatic Type Inference for Proactive Misconfiguration Prevention
|
会议论文 |
Xu Xiangyang;Li Shanshan;Guo Yong;Dong Wei;Li Wang;Liao Xiangke |
| 69 |
Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks
|
会议论文 |
Sun Jinghao;Guan Nan;Wang Xiaoqing;Jin Chenhan;Chi Yaoyao |
| 70 |
Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition
|
会议论文 |
Desheng Wang;Yangjie Wei;Ke Zhang;Wang Yi |
| 71 |
工作场所光伏电动汽车充电站可行性研究
|
期刊论文 |
纪东;吕鸣松;王义 |
| 72 |
一种基于手机的飞行控制系统
|
专利 |
陈刚;胡韬;董海鹏;陈曦斌;王也;王义 |
