# Ming-Hsien Tsai

According to our database1, Ming-Hsien Tsai authored at least 33 papers between 2006 and 2019.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2019
Synthesize Models for Quantitative Analysis Using Automata Learning.
Proceedings of the Networked Systems - 7th International Conference, 2019

Verifying Arithmetic in Cryptographic C Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Signed Cryptographic Program Verification with Typed CryptoLine.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Advanced automata-based algorithms for program termination checking.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Complementing Semi-deterministic Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

PAC learning-based verification and model synthesis.
Proceedings of the 38th International Conference on Software Engineering, 2016

A Targeting Self-breakable Agent for Increased Efficacy of Chemotherapeutic Drugs against Caco2 Cells.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2015
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

14.9 Sub-sampling all-digital fractional-N frequency synthesizer with -111dBc/Hz in-band phase noise and an FOM of -242dB.
Proceedings of the 2015 IEEE International Solid-State Circuits Conference, 2015

2014
State of Büchi Complementation.
Log. Methods Comput. Sci., 2014

Verifying Recursive Programs Using Intraprocedural Analyzers.
Proceedings of the Static Analysis - 21st International Symposium, 2014

ESD protection design for wideband RF applications in 65-nm CMOS process.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

Verifying Curve25519 Software.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Büchi Store: an open repository of $$\omega$$ -automata.
Int. J. Softw. Tools Technol. Transf., 2013

GOAL for Games, Omega-Automata, and Logics.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Compact and low-loss ESD protection design for V-band RF applications in a 65-nm CMOS technology.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

2011
Büchi Store: An Open Repository of Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Low-noise amplifiers with robust ESD protection for RF SOC.
Proceedings of the International SoC Design Conference, 2011

A 64-channel neuron recording system.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Analysis and design of data transmission protocol for 1024-channel retinal prosthesis.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Modified LC-tank ESD protection design for 60-GHz RF applications.
Proceedings of the 20th European Conference on Circuit Theory and Design, 2011

2010
Automatic numeric abstractions for heap-manipulating programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A V-band divide-by-three differential direct injection-locked frequency divider in 65-nm CMOS.
Proceedings of the IEEE Custom Integrated Circuits Conference, 2010

Automated Assume-Guarantee Reasoning through Implicit Learning.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Tool support for learning Büchi automata and linear temporal logic.
Formal Aspects Comput., 2009

2008
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

THOR: A Tool for Reasoning about Shape and Arithmetic.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
Formalization of CTL* in Calculus of Inductive Constructions.
Proceedings of the Advances in Computer Science, 2006

Modular Formalization of Reactive Modules in COQ.
Proceedings of the Advances in Computer Science, 2006