Survey on automated symbolic verification and its application for synthesising cyber‐physical systems-Reference-Cited by-同舟云学术

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

Published:2019-09-18 Issue:1 Volume:5 Page:1-24
ISSN:2398-3396
Container-title:IET Cyber-Physical Systems: Theory & Applications
language:en
Short-container-title:IET cyber-phys. syst.

Author:

Cordeiro Lucas C.¹,Lima Filho Eddie B.²,Bessa Iury V.³^ORCID

Affiliation:

1. School of Computer ScienceUniversity of ManchesterManchesterUK

2. TPV TechnologyManausBrazil

3. Department of ElectricityFederal University of AmazonasManausBrazil

Funder

Fundação de Amparo à Pesquisa do Estado do Amazonas

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Publisher

Institution of Engineering and Technology (IET)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Networks and Communications,Computer Science Applications,Information Systems

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/iet-cps.2018.5006

Reference238 articles.

1. Real-Time Systems

2. Hierarchical energy management system for multi‐source multi‐product microgrids;Xu X.;Renew. Energy,2015

3. Lee E.A.: ‘Computing foundations and practice for cyber‐physical systems: a preliminary report’ EECS Department University of California Berkeley 2007

4. The past, present and future of cyber‐physical systems: a focus on models;Lee E.A.;Sensors,2015

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

1. ESBMC v7.3: Model Checking C++ Programs Using Clang AST;Lecture Notes in Computer Science;2023-12-02

2. Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration;2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC);2023-11-21

3. A Multi-Layered Representation for Intrusion Detection System in Cyber Systems Using CNN Deep Learning Algorithm;2023 International Conference on Data Science and Network Security (ICDSNS);2023-07-28

4. Biometric authentication integrated with wireless communication malicious activity detection in a cyber physical system-based Fintech banking;Optik;2023-02

5. Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499;IEEE Open Journal of the Industrial Electronics Society;2023