Ming-Hsien Tsai
Ming-Hsien Tsai
Bestätigte E-Mail-Adresse bei iis.sinica.edu.tw
Titel
Zitiert von
Zitiert von
Jahr
Automatic numeric abstractions for heap-manipulating programs
S Magill, MH Tsai, P Lee, YK Tsay
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1072010
THOR: A tool for reasoning about shape and arithmetic
S Magill, MH Tsai, P Lee, YK Tsay
International Conference on Computer Aided Verification, 428-432, 2008
682008
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan
International Conference on Tools and Algorithms for the Construction and …, 2007
572007
Verifying curve25519 software
YF Chen, CH Hsu, HH Lin, P Schwabe, MH Tsai, BY Wang, BY Yang, ...
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
472014
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
International Conference on Computer Aided Verification, 511-526, 2010
462010
State of Büchi complementation
MH Tsai, S Fogarty, MY Vardi, YK Tsay
International Conference on Implementation and Application of Automata, 261-271, 2010
422010
State of Büchi complementation
MH Tsai, S Fogarty, MY Vardi, YK Tsay
International Conference on Implementation and Application of Automata, 261-271, 2010
422010
GOAL for games, omega-automata, and logics
MH Tsai, YK Tsay, YS Hwang
International Conference on Computer Aided Verification, 883-889, 2013
332013
GOAL extended: Towards a research tool for omega automata and temporal logic
YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo
International Conference on Tools and Algorithms for the Construction and …, 2008
262008
PAC learning-based verification and model synthesis
YF Chen, C Hsieh, O Lengál, TJ Lii, MH Tsai, BY Wang, F Wang
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
202016
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
International Conference on Tools and Algorithms for the Construction and …, 2016
192016
Büchi store: an open repository of büchi automata
YK Tsay, MH Tsai, JS Chang, YW Chang
International Conference on Tools and Algorithms for the Construction and …, 2011
172011
Formalization of CTL* in calculus of inductive constructions
MH Tsai, BY Wang
Annual Asian Computing Science Conference, 316-330, 2006
162006
Advanced automata-based algorithms for program termination checking
YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
152018
Certified verification of algebraic properties on low-level mathematical constructs in cryptographic programs
MH Tsai, BY Wang, BY Yang
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
122017
Comparing learning algorithms in automated assume-guarantee reasoning
YF Chen, EM Clarke, A Farzan, F He, MH Tsai, YK Tsay, BY Wang, L Zhu
International Symposium On Leveraging Applications of Formal Methods …, 2010
82010
Verifying arithmetic assembly programs in cryptographic primitives (invited talk)
A Polyakov, MH Tsai, BY Wang, BY Yang
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
72018
Büchi Store: an open repository of -automata
YK Tsay, MH Tsai, JS Chang, YW Chang, CS Liu
International Journal on Software Tools for Technology Transfer 15 (2), 109-123, 2013
72013
Verifying recursive programs using intraprocedural analyzers
YF Chen, C Hsieh, MH Tsai, BY Wang, F Wang
International Static Analysis Symposium, 118-133, 2014
52014
Tool support for learning Büchi automata and linear temporal logic
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan, CJ Luo, JS Chang
Formal aspects of computing 21 (3), 259-275, 2009
52009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20