International Conference on Formal Aspects of Component Software, page. 78 - 97, 2017-10-11
LOGIC, REWRITING, AND CONCURRENCY, vol. 9200, page. 114 - 134, 2015-08
International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22
INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS, 2014-04-05
정보과학회논문지, vol. 46, no. 12, page. 1279 - 1290, 2019-12
International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22
SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07
International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 24, no. 6, page. 911 - 948, 2022-12
International Conference on Formal Methods in Computer-Aided Design, page. 180 - 187, 2017-10-05
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10
International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
6th International Symposium on Mobile Internet Security, 2022-12-16
Joint International Conference on Rewriting and Typed Lambda Calculi, 2014-07-14
8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 3 - 15, 2022-12-07
Applied Verification for Continuous and Hybrid Systems, 2015-04-13
ACM International Conference on Hybrid Systems: Computation and Control, 2016-04-12
Computer Aided Verification, 2011-07-14