Wei-Ngan Chin

Available identifiers

zbMath Open chin.wei-nganMaRDI QIDQ238508

List of research outcomes

Publication	Date of Publication	Type
Automated modular verification for relaxed communication protocols	2023-08-02	Paper
Automated temporal verification for algebraic effects	2023-07-25	Paper
A decidable fragment in separation logic with inductive predicates and arithmetic	2022-08-12	Paper
Automated repair of heap-manipulating programs using deductive synthesis	2021-10-18	Paper
A synchronous effects logic for temporal verification of pure Esterel	2021-10-18	Paper
A Logical System for Modular Information Flow Verification	2020-07-07	Paper
Automatic program repair using formal verification and expression templates	2020-01-23	Paper
Automated mutual explicit induction proof in separation logic	2020-01-03	Paper
Certified Reasoning with Infinity	2019-12-19	Paper
Completeness and expressiveness of pointer program verification by separation logic	2019-05-29	Paper
Automated mutual induction proof in separation logic	2019-05-10	Paper
Satisfiability Modulo Heap-Based Programs	2019-05-03	Paper
A bounds inference method for vector-based memoization	2017-08-21	Paper
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic	2016-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q3187616	2016-09-02	Paper
Charting patterns on price history	2015-03-09	Paper
Bi-Abduction with Pure Properties for Specification Inference	2015-01-12	Paper
Enhancing modular OO verification with separation logic	2014-09-12	Paper
An Expressive Framework for Verifying Deadlock Freedom	2014-07-08	Paper
Invariants Synthesis over a Combined Domain for Automated Program Verification	2013-08-16	Paper
Dual analysis for proving safety and finding bugs	2013-06-06	Paper
Loop invariant synthesis in a combined abstract domain	2013-01-10	Paper
Automated verification of shape, size and bag properties via user-defined predicates in separation logic	2012-07-20	Paper
Verifying pointer safety for programs with unknown calls	2010-11-10	Paper
A rigorous methodology for specification and verification of business processes	2009-11-13	Paper
An Interval-Based Inference of Variant Parametric Types	2009-03-31	Paper
Enhancing Program Verification with Lemmas	2008-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q5457684	2008-04-14	Paper
Automated Verification of Shape and Size Properties Via Separation Logic	2008-04-04	Paper
Runtime Checking for Separation Logic	2008-04-04	Paper
Solving a class of higher-order equations over a group structure	2007-08-24	Paper
Static Analysis	2006-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5472907	2006-06-19	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Self-embedded context-free grammars with regular counterparts	2004-12-09	Paper
A new algorithm for regularizing one-letter context-free grammars.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4440326	2003-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4413058	2003-07-17	Paper
Calculating sized types	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4529770	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q2722049	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4259949	1999-09-08	Paper
A transformation method for dynamic-sized tabulation	1995-06-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wei-Ngan Chin