Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
BAE, KYUNGMIN(배경민) orcid scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-

Co-researchers

    Keyword

    Publication & Time Cited Count (For the Last 5 years)

    Results 1-9 of 9 (Search time: 0.002 seconds).
    Export

    Type

    Journal Registered

    Applied search limites :
    Journal Registered : scopus Journal Registered : scopus Journal Registered : scie
    Article
    Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solvingSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03

    Article
    MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical SystemsSCIESCOPUS

    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10

    Article
    Formal aspects of component software (FACS 2018) PrefaceSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 200, 2020-12

    Article
    Symbolic state space reduction with guarded terms for rewriting modulo SMTSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06

    Article
    Hybrid Multirate PALSSCIESCOPUS

    LOGIC, REWRITING, AND CONCURRENCY, vol. 9200, page. 114 - 134, 2015-08

    Article
    Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case studySCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01

    Article
    Model checking linear temporal logic of rewriting formulas under localized fairnessSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07

    Article
    Formal patterns for multirate distributed real-time systemsSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01

    Article
    Verifying hierarchical Ptolemy II discrete-event models using Real-Time MaudeSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01

    1
    개인정보처리방침 Personal Information Protection Policy

    library@postech.ac.kr Tel: 054-279-2548

    Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

    Browse

    Login Library Help