Wei-Ngan Chin

From MaRDI portal
Person:238508

Available identifiers

zbMath Open chin.wei-nganMaRDI QIDQ238508

List of research outcomes

PublicationDate of PublicationType
Automated modular verification for relaxed communication protocols2023-08-02Paper
Automated temporal verification for algebraic effects2023-07-25Paper
A decidable fragment in separation logic with inductive predicates and arithmetic2022-08-12Paper
Automated repair of heap-manipulating programs using deductive synthesis2021-10-18Paper
A synchronous effects logic for temporal verification of pure Esterel2021-10-18Paper
A Logical System for Modular Information Flow Verification2020-07-07Paper
Automatic program repair using formal verification and expression templates2020-01-23Paper
Automated mutual explicit induction proof in separation logic2020-01-03Paper
Certified Reasoning with Infinity2019-12-19Paper
Completeness and expressiveness of pointer program verification by separation logic2019-05-29Paper
Automated mutual induction proof in separation logic2019-05-10Paper
Satisfiability Modulo Heap-Based Programs2019-05-03Paper
A bounds inference method for vector-based memoization2017-08-21Paper
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic2016-12-21Paper
https://portal.mardi4nfdi.de/entity/Q31876162016-09-02Paper
Charting patterns on price history2015-03-09Paper
Bi-Abduction with Pure Properties for Specification Inference2015-01-12Paper
Enhancing modular OO verification with separation logic2014-09-12Paper
An Expressive Framework for Verifying Deadlock Freedom2014-07-08Paper
Invariants Synthesis over a Combined Domain for Automated Program Verification2013-08-16Paper
Dual analysis for proving safety and finding bugs2013-06-06Paper
Loop invariant synthesis in a combined abstract domain2013-01-10Paper
Automated verification of shape, size and bag properties via user-defined predicates in separation logic2012-07-20Paper
Verifying pointer safety for programs with unknown calls2010-11-10Paper
A rigorous methodology for specification and verification of business processes2009-11-13Paper
An Interval-Based Inference of Variant Parametric Types2009-03-31Paper
Enhancing Program Verification with Lemmas2008-07-15Paper
https://portal.mardi4nfdi.de/entity/Q54576842008-04-14Paper
Automated Verification of Shape and Size Properties Via Separation Logic2008-04-04Paper
Runtime Checking for Separation Logic2008-04-04Paper
Solving a class of higher-order equations over a group structure2007-08-24Paper
Static Analysis2006-10-31Paper
https://portal.mardi4nfdi.de/entity/Q54729072006-06-19Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
Self-embedded context-free grammars with regular counterparts2004-12-09Paper
A new algorithm for regularizing one-letter context-free grammars.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44403262003-12-16Paper
https://portal.mardi4nfdi.de/entity/Q44130582003-07-17Paper
Calculating sized types2002-10-10Paper
https://portal.mardi4nfdi.de/entity/Q45297702002-05-06Paper
https://portal.mardi4nfdi.de/entity/Q27220492001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q42599491999-09-08Paper
A transformation method for dynamic-sized tabulation1995-06-21Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Wei-Ngan Chin