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
34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08
SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03
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
SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06
International Conference on Formal Engineering Methods, 2011-10-26
International Conference on Fundamental Approaches to Software Engineering, 2012-03-26
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01