Open Access System for Information Sharing

Login Library
BAE, KYUNGMIN(배경민) orcid scopus

Co-researchers

    Keyword

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

    Results 1-20 of 21 (Search time: 0.001 seconds).
    Conference

    36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17

    Conference

    International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22

    Conference

    International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22

    Conference

    The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019-01-18

    Conference

    International Conference on Formal Aspects of Component Software, page. 78 - 97, 2017-10-11

    Conference

    International Conference on Formal Methods in Computer-Aided Design, page. 180 - 187, 2017-10-05

    Conference

    The 10th International Symposium on Theoretical Aspects of Software Engineering, 2016-07-17

    Conference

    International Symposium on NASA Formal Methods, 2016-06-07

    Conference

    ACM International Conference on Hybrid Systems: Computation and Control, 2016-04-12

    Conference

    AAAI-16 Workshop on Planning for Hybrid Systems, 2016-02-13

    Conference

    Applied Verification for Continuous and Hybrid Systems, 2015-04-13

    Conference

    Joint International Conference on Rewriting and Typed Lambda Calculi, 2014-07-14

    Conference

    International Symposium on Formal Methods, 2014-05-12

    Conference

    INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS, 2014-04-05

    Conference

    International Conference on Rewriting Techniques and Applications, 2013-06-24

    Conference

    International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12

    Conference

    International Symposium on Formal Aspects of Component Software, 2012-09-12

    Conference

    International Conference on Fundamental Approaches to Software Engineering, 2012-03-26

    Conference

    International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24

    Conference

    International Conference on Formal Engineering Methods, 2011-10-26

    1 2

    Browse