G4LTL-ST: Automatic Generation of PLC Programs-Reference-Cited by-同舟云学术

G4LTL-ST: Automatic Generation of PLC Programs

Published:2014 Issue: Volume: Page:541-549
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Cheng Chih-Hong,Huang Chung-Hao,Ruess Harald,Stattelmann Stefan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_36

Reference15 articles.

1. International Electrotechnical Commission IEC 61131-3 Ed. 3.0: Programmable Controllers – Part 3: Programming languages. International Electrotechnical Commission, Geneva, Switzerland (2013)

2. Recommendations for implementing the strategic initiative - INDUSTRIE 4.0. German National Academy of Science and Engineering (AcaTech) (April 2013)

3. Die Deutsche Normungs-Roadmap - INDUSTRIE 4.0. DKE German Commission for Electrical, Electronic & Information Technologies (December 2013)

4. Lecture Notes in Computer Science;A. Bohy,2012

5. Lecture Notes in Computer Science;C.-H. Cheng,2013

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

1. Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution;IEEE Transactions on Computers;2024-04

2. The Next Big Thing: From Embedded Systems to Embodied Actors;Formal Methods;2023

3. A refinement development approach for enhancing the safety of PLC programs with Event-B;Science of Computer Programming;2022-03

4. fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver;IEEE Access;2022

5. Data Flow Testing for PLC Programs via Dynamic Symbolic Execution;2021 28th Asia-Pacific Software Engineering Conference (APSEC);2021-12