信息物理融合构件接口契约模型

61672435
2016
F0201.计算机科学的基础理论
刘志明
面上项目
教授
西南大学
62万元
模型组合;形式化需求分析;接口契约;信息物理融合构件;模型精化
2017-01-01到2020-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics 会议论文 Yukun Zhang;Bo Liu;Liyun Dai;Kang Chen;Xuelian Cao
2 Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling 会议论文 Zhiming Liu;Jonathan P. Bowen;Bo Liu;Shmuel Tyszberowicz;Tingting Zhang
3 The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing 会议论文 Peter T. Breuer;Jonathan P. Bowen;Esther Palomar;Zhiming Liu
4 Model Checking Bounded Continuous-time Extended Linear Duration Invariants 会议论文 An Jie;Zhan Naijun;Li Xiaoshan;Zhang Miaomiao;Yi Wang
5 Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems 期刊论文 Palomar Esther;Chen Xiaohong;Liu Zhiming;Maharjan Sabita;Bowen Jonathan
6 A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specications 期刊论文 Yuanrui Zhang;Frederic Mallet;Huibiao Zhu;Yixiang Chen;Bo Liu;Zhiming Liu
7 Robustness Verification of Classification Deep Neural Networks via Linear Programming 会议论文 Wang Lin;Zhengfeng Yang;Xin Chen;Qingye Zhao;Xiangkun Li;Zhiming Liu;Jifeng He
8 RM2PT: A Tool for Automated Prototype Generation from Requirements Model 会议论文 Yang Yilong;Li Xiaoshan;Liu Zhiming;Ke Wei
9 On Security in Encrypted Computing 会议论文 Peter T. Breuer;Jonathan P. Bowen;Esther Palomar;Zhiming Liu
10 形式化方法概貌 期刊论文 王戟;詹乃军;冯新宇;刘志明
11 Synthesizing barrier certificates using neural networks 会议论文 Hengjun Zhao;Xia Zeng;Taolue Chen;Zhiming Liu
12 Learning Safe Neural Networks with Barrier Certificates 会议论文 Hengjun Zhao;Xia Zeng;Taolue Chen;Zhiming Liu;Jim Woodcock
13 Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding 期刊论文 Xian Mo;Jun Pang;Zhiming Liu
14 THS-GWNN: A Deep Learning Framework for Temporal Network Link Prediction 期刊论文 Xian Mo;Jun Pang;Zhiming Liu
15 Higher-Order Graph Convolutional Embedding for Temporal Networks 会议论文 Xian Mo;Jun Pang;Zhiming Liu
16 Human-cyber-physical systems: concepts, challenges, and research opportunities 期刊论文 Zhiming Liu;Ji Wang
17 Encrypted computing: Speed, security and provable obfuscation against insiders 会议论文 Peter T. Breuer;Jonathan P. Bowen;Esther Palomar;Zhiming Liu
18 Towards Interface-Driven Design of Evolving Component-Based Architectures 会议论文 Xin Chen;Zhiming Liu
19 On Obfuscating Compilation for Encrypted Computing 会议论文 Peter T. Breuer;Jonathan P. Bowen;Esther Palomar;Zhiming Liu
20 Asurvey of model-driven techniques and tools for cyber-physical systems 期刊论文 Bo Liu;Yuanrui Zhang;Xuelian Cao;Yu Liu;Bin Gu;Tiexin Wang
21 Superscalar Encrypted RISC: The Measure of a Secret Computer 会议论文 Peter T. Breuer;Jonathan P. Bowen;Esther Palomar;Zhiming Liu
22 Automated Prototype Generation From Formal Requirements Model 期刊论文 Yang Yilong;Li Xiaoshan;Ke Wei;Liu Zhiming
23 A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems 会议论文 Zhengfeng Yang;Chao Huang;Xin Chen;Wang Lin;Zhiming Liu
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享