E-LIB Suche - Ergebnisse für: Chin, Wei-Ngan

1

Protocol Conformance with Choreographic PlusCal:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Foo, Darius ; Costea, Andreea ; Chin, Wei-Ngan - p. 126-145 , 2023

Link: https://doi.org/10.1007/..

2

Incorrectness Proofs for Object-Oriented Programs via Subcl..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Li, Wenhua ; Le, Quang Loc ; Song, Yahui. - p. 269-289 , 2023

Link: https://doi.org/10.1007/..

3

Automated Verification for Real-Time Systems: via Implicit ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Song, Yahui ; Chin, Wei-Ngan - p. 569-587 , 2023

Link: https://doi.org/10.1007/..

4

Automated Verification for Real-Time Systems using Implicit..:

, In: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Song, Yahui ; Chin, Wei-Ngan - p. 60-62 , 2022

Link: https://dl.acm.org/doi/1..

5

Automated Temporal Verification for Algebraic Effects:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Song, Yahui ; Foo, Darius ; Chin, Wei-Ngan - p. 88-109 , 2022

Link: https://doi.org/10.1007/..

6

Automated Repair of Heap-Manipulating Programs Using Deduct..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Nguyen, Thanh-Toan ; Ta, Quang-Trung ; Sergey, Ilya. - p. 376-400 , 2021

Link: https://doi.org/10.1007/..

7

A Synchronous Effects Logic for Temporal Verification of Pu..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Song, Yahui ; Chin, Wei-Ngan - p. 417-440 , 2021

Link: https://doi.org/10.1007/..

8

Automated Temporal Verification of Integrated Dependent Eff..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Song, Yahui ; Chin, Wei-Ngan - p. 73-90 , 2020

Link: https://doi.org/10.1007/..

9

Automatic Program Repair Using Formal Verification and Expr..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Nguyen, Thanh-Toan ; Ta, Quang-Trung ; Chin, Wei-Ngan - p. 70-91 , 2019

Link: https://doi.org/10.1007/..

10

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019

Link: https://doi.org/10.1007/..

11

Completeness and expressiveness of pointer program verifica..:

Tatsuta, Makoto ; Chin, Wei-Ngan ; Al Ameen, Mahmudul Faisal
Information and Computation. 267 (2019) - p. 1-27 , 2019

Link: https://doi.org/10.1016/..

12

Automated mutual induction proof in separation logic:

Ta, Quang-Trung ; Le, Ton Chanh ; Khoo, Siau-Cheng.
Formal Aspects of Computing. 31 (2019) 2 - p. 207-230 , 2019

Link: https://doi.org/10.1007/..

13

Variant Region Types:

, In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS),

Craciun, Florin ; Chin, Wei-Ngan ; Qin, Shengchao - p. 126-135 , 2018

Link: https://doi.org/10.1109/..

14

Automated Modular Verification for Relaxed Communication Pr..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Costea, Andreea ; Chin, Wei-Ngan ; Qin, Shengchao. - p. 284-305 , 2018

Link: https://doi.org/10.1007/..

15

Automated lemma synthesis in symbolic-heap separation logic:

Ta, Quang-Trung ; Le, Ton Chanh ; Khoo, Siau-Cheng.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..