Bor-Yuh Evan Chang

Available identifiers

Publication	Date of Publication	Type
Selectively-amortized resource bounding	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4994692	2021-06-21	Paper
Discriminating Traces with Time	2020-08-05	Paper
Type-directed bounding of collections in reactive programs	2020-01-23	Paper
Semantic-directed clumping of disjunctive abstract states	2017-10-20	Paper
Abstract Domains and Solvers for Sets Reasoning	2016-01-12	Paper
Reduced Product Combination of Abstract Domains for Shapes	2014-11-03	Paper
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers	2014-09-29	Paper
Relational inductive shape analysis	2014-09-12	Paper
Calling context abstraction with shapes	2014-04-10	Paper
Fissile type analysis	2014-04-10	Paper
A Bit Too Precise? Bounded Verification of Quantized Digital Filters	2012-06-29	Paper
Access Nets: Modeling Access to Physical Spaces	2011-02-15	Paper
Separating Shape Graphs	2010-05-04	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4420573	2003-08-18	Paper

This page was built for person: Bor-Yuh Evan Chang