Alan J. Hu

Available identifiers

zbMath Open hu.alan-jMaRDI QIDQ470003

List of research outcomes

Publication	Date of Publication	Type
Checking for language inclusion using simulation preorders	2024-04-29	Paper
Fast, Flexible, and Minimal CTL Synthesis via SMT	2019-05-03	Paper
Post-silicon code coverage for multiprocessor system-on-chip designs	2017-07-12	Paper
Proving termination of nonlinear command sequences	2014-11-11	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Verifying Heap-Manipulating Programs in an SMT Framework	2008-07-03	Paper
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures	2008-04-04	Paper
Structural Abstraction of Software Verification Conditions	2007-11-29	Paper
Embedded software verification using symbolic execution and uninterpreted functions	2006-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Automatable verification of sequential consistency	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4804902	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4787222	2003-01-09	Paper

Research outcomes over time

This page was built for person: Alan J. Hu