Open Access System for Information Sharing

6th International Symposium on Mobile Internet Security, 2022-12-16

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

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 34 - 44, 2022-12-07

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 56 - 67, 2022-12-07

11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, page. 47 - 64, 2022-10-25

34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08

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

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

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

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

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

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

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

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

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

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

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

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

International Symposium on Formal Methods, 2014-05-12

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