On early statistical requirements validation of cyber-physical space systems-Reference-Cited by-同舟云学术

On early statistical requirements validation of cyber-physical space systems

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems
language:
Short-container-title:

Author:

Tsigkanos Christos¹,Li Nianyu²,Jin Zhi²,Hu Zhenjiang³,Ghezzi Carlo¹

Affiliation:

1. Informazione e Bioingegneria, Politecnico di Milano, Italy

2. Peking University, China

3. Graduate University for Advanced Studies, Japan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3196478.3196485

Reference28 articles.

1. 2018. Accompanied specifications and models. 178.62.206.217/sescps18. (2018). 2018. Accompanied specifications and models. 178.62.206.217/sescps18. (2018).

2. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8 Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8

3. Filip Biljecki Hugo Ledoux and Jantien Stoter. 2016. Generation of multi-LOD 3D city models in CityGML with the procedural modelling engine Random3Dcity. ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci. (2016) 51--59. Filip Biljecki Hugo Ledoux and Jantien Stoter. 2016. Generation of multi-LOD 3D city models in CityGML with the procedural modelling engine Random3Dcity. ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci. (2016) 51--59.

4. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Meta Reinforcement Learning-based Approach for Self-Adaptive System;2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2021-09

2. Model-driven engineering city spaces via bidirectional model transformations;Software and Systems Modeling;2021-02-16

3. Early validation of cyber–physical space systems via multi-concerns integration;Journal of Systems and Software;2020-12

4. FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07

5. Compliant Manipulation Method for a Nursing Robot Based on Physical Structure of Human Limb;Journal of Intelligent & Robotic Systems;2020-06-17