首页>外文会议>其他>Symposium on real-time and hybrid systems

Symposium on real-time and hybrid systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Cliff Jones;Ji Wang;Naijun Zhan
- 会议名称：《》 | 2017年
2.Concurrency: Handling Interference Formally

机译：并发：正式处理干扰
- 作者：Cliff B. Jones
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
3.Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China

机译：领域科学与工程10年回顾与赞誉ZCC节，2017年10月20日，中国长沙
- 作者：Dines Bjorner
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
4.Characterization and Verification of Stuttering Equivalence

机译：口吃等效性的表征和验证
- 作者：Xinxin Liu;Wenhui Zhang
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
5.The Demon, the Gambler, and the Engineer Reconciling Hybrid-System Theory with Metrology

机译：恶魔，赌徒和工程师调和混合系统理论与计量学
- 作者：Martin Fraenzle;Paul Kroeger
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
6.Space for Traffic Manoeuvres: An Overview

机译：交通操作空间：概述
- 作者：Ernst-Ruediger O1derog
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
7.Analyzing Interrupt Handlers via Interprocedural Summaries

机译：通过过程间摘要分析中断处理程序
- 作者：Xueguang Wu;Liqian Chen;Ji Wang
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
- Interprocedural analysis;
- Interrupts Abstract interpretation;
8.Think Sequential, Run Parallel

机译：顺序思考，并行运行
- 作者：Wenfei Fan;Muyang Liu;Ruiqi Xu;Lei Hou;Dongze Li;Zizhong Meng
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
9.Decidability of the Initial-State Opacity of Real-Time Automata

机译：实时自动机初始状态不透明度的可判定性
- 作者：Lingtai Wang;Naijun Zhan
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
- Real-time automata;
- Initial-state opacity;
- Decidability Trace-equivalence;
10.HAT: Analyzing Linear Hybrid Automata as Labelled Transition System

机译：HAT：分析线性混合自动机作为标记过渡系统
- 作者：Lei Bu;Hui Jiang;Xin Chen;Enyi Tang;Xuandong Li
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
- Linear hybrid automata;
- Transition system Reachability checking;
- Termination analysis;
- Invariant generation;
11.Overview: System Architecture Virtual Integration based on an AADL Model

机译：概述：基于AADL模型的系统架构虚拟集成
- 作者：Yunwei Dong;Xiaomin Wei;Mingrui Xiao
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
- AADL;
- SAVI;
- Model transformation;
- Model bus Non-functional properties analysis;
12.Q｜SI〉: A Quantum Programming Environment

机译：Q ｜ SI〉：量子编程环境
- 作者：Shusen Liu;Xin Wang;Li Zhou;Ji Guan;Yinan Li;Yang He;Runyao Duan;Mingsheng Ying
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
13.Linking Theories of Probabilistic Programming

机译：概率编程的联系理论
- 作者：He Jifeng
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
14.Cloud Robotics: A Distributed Computing View

机译：云机器人：分布式计算视图
- 作者：Wang Huaimin;Ding Bo;Jie Xu
- 会议名称：《Symposium on real-time and hybrid systems》 | 2017年
- Distributed computing;
- Cloud robotics;
- Collective intelligence Quality of service;