A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective

Design of Real-Time Control in Poloidal Field Power Supply Based on Finite-State Machine

(2019) Shiying He et al.   IEEE TRANSACTIONS ON PLASMA SCIENCE

Improving Conditional Sequence Generative Adversarial Networks by Stepwise Evaluation

(2019) Yi-Lin Tuan et al.   IEEE-ACM Transactions on Audio Speech and Language Processing

Economic LSTM Approach for Recurrent Neural Networks

(2019) Kasem Khalil et al.   IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

Transformation-Based Approach to Security Verification for Cyber-Physical Systems

(2019) Saoussen Mili et al.   IEEE Systems Journal

Model Checking Techniques Applied to Satellite Operational Mode Management

(2018) Vittoria Nardone et al.   IEEE Systems Journal

A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability

(2018) Jin Cui et al.   IEEE TRANSACTIONS ON RELIABILITY

A Formal Specification and Verification Framework for Timed Security Protocols

(2017) Li Li et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling

(2017) Honghao Gao et al.   INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL’s Automata

(2017) Sidra Sultana et al.   IEEE Access

Mastering the game of Go with deep neural networks and tree search

(2016) David Silver et al.   NATURE

Four-valued modal logic: Kripke semantics and duality

(2015) Umberto Rivieccio et al.   JOURNAL OF LOGIC AND COMPUTATION