Open Access System for Information Sharing

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-10 of 10 (Search time: 0.001 seconds).

Applied search limites :

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

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

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

Open Access System for Information Sharing

Co-researchers

Keyword

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

Date issued

Type

Subject

Journal Registered

Browse