Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement-Reference-Cited by-同舟云学术

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement

Published:2018 Issue: Volume: Page:31-49
ISSN:0302-9743
Container-title:Dependable Software Engineering. Theories, Tools, and Applications
language:
Short-container-title:

Author:

Zhang Teng,Wiegley John,Giannakopoulos Theophilos,Eakman Gregory,Pit-Claudel Clément,Lee Insup,Sokolsky Oleg

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99933-3_3

Reference37 articles.

1. Sokolsky, O., Havelund, K., Lee, I.: Introduction to the special section on runtime verification. Softw. Tools Technol. Transf. 14(3), 243–247 (2012)

2. Lecture Notes in Computer Science;T Zhang,2016

3. Delaware, B., Pit-Claudel, C., Gross, J., Chlipala, A.: Fiat: Deductive synthesis of abstract data types in a proof assistant. In: ACM SIGPLAN Notices, vol. 50, pp. 689–700. ACM (2015)

4. The Coq Development Team: The Coq Proof Assistant Reference Manual

5. Chlipala, A., et al.: The end of history? using a proof assistant to replace language design with library design. In: SNAPL 2017: 2nd Summit on Advances in Programming Languages (2017)

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

1. An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension;International Journal of Software Engineering and Knowledge Engineering;2023-09-21

2. Securing Industrial Cyber–Physical Systems: A Run-Time Multilayer Monitoring;IEEE Transactions on Industrial Informatics;2021-09

3. Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06

4. Overhead-Aware Deployment of Runtime Monitors;Runtime Verification;2019

5. Runtime Verification of Parametric Properties Using SMEDL;From Reactive Systems to Cyber-Physical Systems;2019