Open Access System for Information Sharing

Login Library

Browse by Researchers

BAE, KYUNGMIN(배경민) orcid scopus

Department: Dept of Computer Science & Engineering(컴퓨터공학과)

Major(s): -

E-Mail

Co-researchers

Keyword

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

Results 1-5 of 5 (Search time: 0.001 seconds).

Applied search limites :

Date Issued : [2020 TO 2024] Journal Registered : scie Journal Registered : scie

Article

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri NetsSCIESCOPUS

Fundamenta Informaticae, vol. 192, no. 3-4, page. 261 - 312, 2024-09

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

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADLSCIE

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 24, no. 6, page. 911 - 948, 2022-12

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

1

OAK

개인정보처리방침 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