Showing 1 - 20 results of 35 for search 'Lin Shang-Wei', query time: 0.04s Refine Results
  1. 1
    A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic

    A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic by Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David

    Published 2023
    Get full text
    Journal Article
  2. 2
    From verified model to executable program: the PAT approach

    From verified model to executable program: the PAT approach by Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei

    Published 2017
    Get full text
    Get full text
    Journal Article
  3. 3
    A distributed approach to robust control of multi-robot systems

    A distributed approach to robust control of multi-robot systems by Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua

    Published 2020
    Get full text
    Journal Article
  4. 4
    A distributed method to avoid higher-order deadlocks in multi-robot systems

    A distributed method to avoid higher-order deadlocks in multi-robot systems by Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua

    Published 2021
    Get full text
    Journal Article
  5. 5
    A survey of smart contract formal specification and verification

    A survey of smart contract formal specification and verification by Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang

    Published 2022
    Get full text
    Journal Article
  6. 6
    Smart contract analysis and verification

    Smart contract analysis and verification by Qiu, Haoze

    Published 2020
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  7. 7
    From market to device : adaptive and efficient malware detection for Android

    From market to device : adaptive and efficient malware detection for Android by Feng, Ruitao

    Published 2021
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Thesis-Doctor of Philosophy
  8. 8
    Automatic program analysis and verification and their applications in smart contracts

    Automatic program analysis and verification and their applications in smart contracts by Jiao, Jiao

    Published 2021
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Thesis-Doctor of Philosophy
  9. 9
    Image and audio steganography to hide textual data

    Image and audio steganography to hide textual data by Gaikwad Apurv Dnyandeo

    Published 2021
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  10. 10
    Decentralized finance (DeFi) protocols and development of flashloans

    Decentralized finance (DeFi) protocols and development of flashloans by Choo, Bernard Wee Kitt

    Published 2021
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  11. 11
    Fuzzing optimization of ImageMagick

    Fuzzing optimization of ImageMagick by Lim, Wei Rong

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  12. 12
    INCR - a new library for incremental computation

    INCR - a new library for incremental computation by Dou, Maokang

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  13. 13
    Integrating automatic program repair into software development

    Integrating automatic program repair into software development by Kurnia, Steven

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  14. 14
    Enhancing domain knowledge sharing via mining software engineering related web resources

    Enhancing domain knowledge sharing via mining software engineering related web resources by Gao, Sa

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Thesis-Doctor of Philosophy
  15. 15
    Ethereum smart contract exploitation detection using machine learning

    Ethereum smart contract exploitation detection using machine learning by Ang, Guang Yao

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  16. 16
    Analysis of smart contract development platforms

    Analysis of smart contract development platforms by Huang, Shaohang

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  17. 17
    Smart contract development and blockchain technology application

    Smart contract development and blockchain technology application by Hoe, Eugene Liam Yew

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  18. 18
    Survey of Ethereum and Cardano with respect to security vulnerabilities

    Survey of Ethereum and Cardano with respect to security vulnerabilities by Lim, Xiao Wei

    Published 2022
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)
  19. 19
    Adversarial attacks and defenses for visual signals

    Adversarial attacks and defenses for visual signals by Cheng, Yupeng

    Published 2023
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Thesis-Doctor of Philosophy
  20. 20
    A study of adversarial attacks against malware detection

    A study of adversarial attacks against malware detection by Neo, Berlynn Rui Xuan

    Published 2023
    Other Authors: “…Lin Shang-Wei…”
    Get full text
    Final Year Project (FYP)

Search Tools: