Alan J. Hu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Checking for language inclusion using simulation preorders	2024-04-29	Paper
Fast, flexible, and minimal CTL synthesis via SMT Computer Aided Verification	2019-05-03	Paper
Post-silicon code coverage for multiprocessor system-on-chip designs IEEE Transactions on Computers	2017-07-12	Paper
Proving termination of nonlinear command sequences Formal Aspects of Computing	2014-11-11	Paper
Reasoning about GSTE assertion graphs Lecture Notes in Computer Science	2010-02-05	Paper
Verifying Heap-Manipulating Programs in an SMT Framework Automated Technology for Verification and Analysis	2008-07-03	Paper
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures Lecture Notes in Computer Science	2008-04-04	Paper
Structural Abstraction of Software Verification Conditions Computer Aided Verification	2007-11-29	Paper
Embedded software verification using symbolic execution and uninterpreted functions International Journal of Parallel Programming	2006-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Automatable verification of sequential consistency Theory of Computing Systems	2004-09-22	Paper
scientific article; zbMATH DE number 1903359 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1852154 (Why is no real title available?)	2003-01-09	Paper

Research outcomes over time

This page was built for person: Alan J. Hu