 | 2007 |
|---|
| 6 |       | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.
ATVA 2007: 553-563 |
| 2006 |
|---|
| 5 | | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization Verification in System-Level Design with ILP Solvers.
IEICE Transactions 89-A(12): 3387-3396 (2006) |
| 2005 |
|---|
| 4 | | Yu Liu,
Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
System level design language extensions for timed/untimed digital-analog combined system design.
ACM Great Lakes Symposium on VLSI 2005: 130-133 |
| 3 | | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization verification in system-level design with ILP solvers.
MEMOCODE 2005: 121-130 |
| 2003 |
|---|
| 2 | | Masahiro Fujita,
Satoshi Komatsu,
Hiroshi Saito,
Kenshu Seto,
Thanyapat Sakunkonchak,
Yoshihisa Kojima:
Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies.
HICSS 2003: 279 |
| 2002 |
|---|
| 1 | | Thanyapat Sakunkonchak,
Masahiro Fujita:
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.
FORTE 2002: 369 |
