default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWei-Ngan Chin
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Yahui Song, Darius Foo, Wei-Ngan Chin:
Specification and Verification for Unrestricted Algebraic Effects and Handling. Proc. ACM Program. Lang. 8(ICFP): 909-937 (2024)- [j32]Yahui Song
, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury:
ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. 1(FSE): 226-248 (2024) - [c107]Darius Foo, Yahui Song, Wei-Ngan Chin:
Staged Specification Logic for Verifying Higher-Order Imperative Programs. FM (1) 2024: 501-518 - [e8]Wei-Ngan Chin, Zhiwu Xu:
Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings. Lecture Notes in Computer Science 14777, Springer 2024, ISBN 978-3-031-64625-6 [contents] - 2023
- [c106]Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin:
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS 2023: 269-289 - [c105]Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. TACAS (1) 2023: 569-587 - [c104]Darius Foo, Andreea Costea, Wei-Ngan Chin:
Protocol Conformance with Choreographic PlusCal. TASE 2023: 126-145 - [i7]Darius Foo, Wei-Ngan Chin:
Tracing OCaml Programs. CoRR abs/2304.04937 (2023) - [i6]Darius Foo, Yahui Song, Wei-Ngan Chin:
Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR abs/2308.00988 (2023) - 2022
- [c103]Yahui Song, Darius Foo, Wei-Ngan Chin:
Automated Temporal Verification for Algebraic Effects. APLAS 2022: 88-109 - [c102]Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. SPLASH Companion 2022: 60-62 - 2021
- [c101]Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin:
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI 2021: 376-400 - [c100]Yahui Song, Wei-Ngan Chin:
A Synchronous Effects Logic for Temporal Verification of Pure Esterel. VMCAI 2021: 417-440 - [i5]Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin:
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR abs/2109.11802 (2021) - 2020
- [c99]Yahui Song, Wei-Ngan Chin:
Automated Temporal Verification of Integrated Dependent Effects. ICFEM 2020: 73-90
2010 – 2019
- 2019
- [j31]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31(2): 207-230 (2019) - [j30]Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen:
Completeness and expressiveness of pointer program verification by separation logic. Inf. Comput. 267: 1-27 (2019) - [c98]Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu:
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 2019: 116-132 - [c97]Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin:
Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI 2019: 70-91 - [e7]Jurriën Stutterheim, Wei-Ngan Chin:
IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM 2019, ISBN 978-1-4503-7562-7 [contents] - [i4]Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin:
Automated Verification of CountDownLatch. CoRR abs/1908.09758 (2019) - 2018
- [j29]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. 2(POPL): 9:1-9:29 (2018) - [c96]Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun:
Automated Modular Verification for Relaxed Communication Protocols. APLAS 2018: 284-305 - [c95]Florin Craciun, Wei-Ngan Chin, Shengchao Qin:
Variant Region Types. ICECCS 2018: 126-135 - [c94]Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta:
Verification of C Buffer Overflows in C Programs. RoEduNet 2018: 1-6 - [c93]Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin:
A Logical System for Modular Information Flow Verification. VMCAI 2018: 430-451 - 2017
- [j28]Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming:
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148: 189-212 (2017) - [c92]Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin:
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) 2017: 495-517 - [c91]Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor:
A Certified Decision Procedure for Tree Shares. ICFEM 2017: 226-242 - [c90]Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin:
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) 2017: 370-374 - [i3]Anh Dinh, Ji Wang, Sheng Wang, Gang Chen, Wei-Ngan Chin, Qian Lin, Beng Chin Ooi, Pingcheng Ruan, Kian-Lee Tan, Zhongle Xie, Hao Zhang, Meihui Zhang:
UStore: A Distributed Storage With Rich Semantics. CoRR abs/1702.02799 (2017) - [i2]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR abs/1710.09635 (2017) - 2016
- [c89]Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin:
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. APLAS 2016: 423-443 - [c88]Quang Loc Le, Jun Sun, Wei-Ngan Chin:
Satisfiability Modulo Heap-Based Programs. CAV (1) 2016: 382-404 - [c87]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Mutual Explicit Induction Proof in Separation Logic. FM 2016: 659-676 - [i1]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR abs/1609.00919 (2016) - 2015
- [j27]Wei-Ngan Chin, Jurriaan Hage:
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. 112: 119 (2015) - [c86]Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin:
Certified Reasoning with Infinity. FM 2015: 496-513 - [c85]Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin:
Specifying Compatible Sharing in Data Structures. ICFEM 2015: 349-365 - [c84]Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
Threads as Resource for Concurrency Verification. PEPM 2015: 73-84 - [c83]Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin:
Termination and non-termination specification inference. PLDI 2015: 489-498 - 2014
- [j26]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014) - [j25]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. 16(4): 363-380 (2014) - [j24]João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16(4): 381-397 (2014) - [c82]Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin:
Shape Analysis via Second-Order Bi-Abduction. CAV 2014: 52-68 - [c81]Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin:
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM 2014: 267-283 - [c80]Makoto Tatsuta, Wei-Ngan Chin:
Completeness of Separation Logic with Inductive Definitions for Program Verification. SEFM 2014: 20-34 - [e6]Wei-Ngan Chin, Jurriaan Hage:
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA. ACM 2014, ISBN 978-1-4503-2619-3 [contents] - 2013
- [j23]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen:
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013) - [j22]Corneliu Popeea, Wei-Ngan Chin:
Dual analysis for proving safety and finding bugs. Sci. Comput. Program. 78(4): 390-411 (2013) - [c79]Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin:
Bi-Abduction with Pure Properties for Specification Inference. APLAS 2013: 107-123 - [c78]Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
An Expressive Framework for Verifying Deadlock Freedom. ATVA 2013: 287-302 - [c77]Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang:
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods 2013: 304-325 - [c76]Wei-Ngan Chin:
Specification, Verification and Inference (Invited Talk). FSFMA 2013: 2 - [c75]Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin:
A Proof Slicing Framework for Program Verification. ICFEM 2013: 53-69 - [c74]Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. ICFEM 2013: 231-248 - [c73]Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. ICFEM 2013: 397-414 - [c72]Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin:
Towards Complete Specifications with an Error Calculus. NASA Formal Methods 2013: 291-306 - 2012
- [j21]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. 77(9): 1006-1036 (2012) - [c71]Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
Variable Permissions for Concurrency Verification. ICFEM 2012: 5-21 - [c70]Wei-Ngan Chin:
Structured specification for program verification. KSE 2012: 3 - [c69]Wei-Ngan Chin, Cristina David:
From Verification to Specification Inference. TASE 2012: 5-6 - [e5]Wei-Ngan Chin, Aquinas Hobor:
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. ACM 2012, ISBN 978-1-4503-1272-1 [contents] - 2011
- [c68]Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin:
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV 2011: 293-309 - [c67]Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin:
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV 2011: 656-662 - [c66]Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He:
Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385 - [c65]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401 - [c64]Wei-Ngan Chin, Cristina David, Cristian Gherghina:
A HIP and SLEEK verification system. OOPSLA Companion 2011: 9-10 - [c63]Cristina David, Wei-Ngan Chin:
Immutable specifications for more concise and precise verification. OOPSLA 2011: 359-374 - 2010
- [j20]Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin:
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010) - [c62]Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91 - [c61]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin:
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187 - [c60]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin:
Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484 - [c59]Corneliu Popeea, Wei-Ngan Chin:
Dual analysis for proving safety and finding bugs. SAC 2010: 2137-2143 - [c58]Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin:
Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66 - [e4]Ahmed Bouajjani, Wei-Ngan Chin:
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Lecture Notes in Computer Science 6252, Springer 2010, ISBN 978-3-642-15642-7 [contents]
2000 – 2009
- 2009
- [j19]Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba:
A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. 21(5): 495-510 (2009) - [j18]Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus:
Optimizing the parallel computation of linear recurrences using compact matrix representations. J. Parallel Distributed Comput. 69(4): 373-381 (2009) - [c57]Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181 - [c56]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127 - [c55]Cristina David, Cristian Gherghina, Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50 - [c54]Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen:
Completeness of Pointer Program Verification by Separation Logic. SEFM 2009: 179-188 - [c53]Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima:
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. TTSS 2009: 49-61 - [e3]Wei-Ngan Chin, Shengchao Qin:
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. IEEE Computer Society 2009, ISBN 978-0-7695-3757-3 [contents] - 2008
- [c52]Alexandru Stefan, Florin Craciun, Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI. APLAS 2008: 19-35 - [c51]Huu Hai Nguyen, Wei-Ngan Chin:
Enhancing Program Verification with Lemmas. CAV 2008: 355-369 - [c50]Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146 - [c49]Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin:
Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160 - [c48]Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination. PEPM 2008: 177-187 - [c47]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Enhancing modular OO verification with separation logic. POPL 2008: 87-99 - [c46]Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin:
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM 2008: 259-267 - [c45]Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin:
Runtime Checking for Separation Logic. VMCAI 2008: 203-217 - 2007
- [c44]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364 - [c43]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320 - [c42]Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266 - 2006
- [j17]Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones:
Redundant Call Elimination via Tupling. Fundam. Informaticae 69(1-2): 1-37 (2006) - [j16]Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2(1): 17-38 (2006) - [j15]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu:
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55(7): 830-842 (2006) - [c41]Corneliu Popeea, Wei-Ngan Chin:
Inferring Disjunctive Postconditions. ASIAN 2006: 331-345 - [c40]Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea:
A flow-based approach for variant parametric types. OOPSLA 2006: 273-290 - [c39]Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin:
Core-java: an expression-oriented java. OOPSLA Companion 2006: 639-640 - [c38]Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard:
Incremental Deterministic Planning. SYNASC 2006: 93-102 - 2005
- [c37]Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls. ICSE 2005: 186-195 - [c36]Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu:
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 519-528 - [c35]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu:
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360 - [c34]Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard:
Memory Usage Verification for OO Programs. SAS 2005: 70-86 - 2004
- [j14]Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini:
Self-embedded context-free grammars with regular counterparts. Acta Informatica 40(5): 349-365 (2004) - [j13]Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras:
Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. 14: 1-11 (2004) - [j12]Stefan Andrei, Wei-Ngan Chin:
Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37(3): 329-341 (2004) - [j11]Wei-Ngan Chin, Olivier Danvy, Peter Thiemann:
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. High. Order Symb. Comput. 17(1-2): 5-6 (2004) - [c33]Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203 - [c32]Corneliu Popeea, Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof. PEPM 2004: 135-146 - [c31]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard:
Region inference for an object-oriented language. PLDI 2004: 243-254 - [c30]Stefan Andrei, Wei-Ngan Chin:
Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489 - [e2]Wei-Ngan Chin:
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Lecture Notes in Computer Science 3302, Springer 2004, ISBN 3-540-23724-0 [contents] - 2003
- [j10]Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin:
A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. 306(1-3): 113-122 (2003) - [c29]Shengchao Qin, Wei-Ngan Chin:
Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300 - [c28]