- Department
- Major(s)
- -
Co-researchers
Keyword
Publication & Time Cited Count (For the Last 5 years)
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
International Conference on Rewriting Techniques and Applications, 2013-06-24
International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
International Symposium on Formal Aspects of Component Software, 2012-09-12
International Conference on Fundamental Approaches to Software Engineering, 2012-03-26
International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24
International Conference on Formal Engineering Methods, 2011-10-26
Computer Aided Verification, 2011-07-14