| 2006 |
|---|
| 16 | EE | Sungpack Hong,
Sungjoo Yoo,
Sheayun Lee,
Sangwoo Lee,
Hye Jeong Nam,
Bum-Seok Yoo,
Jaehyung Hwang,
Donghyun Song,
Janghwan Kim,
Jeongeun Kim,
HoonSang Jin,
Kyu-Myung Choi,
Jeong-Taek Kong,
Soo-Kwan Eo:
Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study.
CODES+ISSS 2006: 235-240 |
| 15 | EE | HoonSang Jin,
Fabio Somenzi:
Strong conflict analysis for propositional satisfiability.
DATE 2006: 818-823 |
| 14 | EE | Sungpack Hong,
Sungjoo Yoo,
HoonSang Jin,
Kyu-Myung Choi,
Jeong-Taek Kong,
Soo-Kwan Eo:
Runtime distribution-aware dynamic voltage scaling.
ICCAD 2006: 587-594 |
| 13 | EE | Chai Wang,
Bing Li,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006) |
| 2005 |
|---|
| 12 | EE | HoonSang Jin,
Fabio Somenzi:
Prime clauses for fast enumeration of satisfying assignments to boolean circuits.
DAC 2005: 750-753 |
| 11 | EE | HoonSang Jin,
HyoJung Han,
Fabio Somenzi:
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.
TACAS 2005: 287-300 |
| 10 | EE | HoonSang Jin,
Fabio Somenzi:
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking.
Electr. Notes Theor. Comput. Sci. 119(2): 51-65 (2005) |
| 2004 |
|---|
| 9 | EE | HoonSang Jin,
Mohammad Awedh,
Fabio Somenzi:
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.
CAV 2004: 519-522 |
| 8 | EE | Chao Wang,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking.
DAC 2004: 535-538 |
| 7 | EE | HoonSang Jin,
Fabio Somenzi:
CirCUs: A Hybrid Satisfiability Solver.
SAT 2004 |
| 6 | EE | HoonSang Jin,
Fabio Somenzi:
CirCUs: A Hybrid Satisfiability Solver.
SAT (Selected Papers 2004: 211-223 |
| 5 | EE | HoonSang Jin,
Kavita Ravi,
Fabio Somenzi:
Fate and free will in error traces.
STTT 6(2): 102-116 (2004) |
| 2003 |
|---|
| 4 | EE | Chao Wang,
Bing Li,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.
ICCAD 2003: 408-415 |
| 2002 |
|---|
| 3 | EE | HoonSang Jin,
Andreas Kuehlmann,
Fabio Somenzi:
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.
TACAS 2002: 312-326 |
| 2 | EE | HoonSang Jin,
Kavita Ravi,
Fabio Somenzi:
Fate and Free Will in Error Traces.
TACAS 2002: 445-459 |
| 1999 |
|---|
| 1 | EE | HoonSang Jin,
Myung-Soo Jang,
Jin-Suk Song,
Jin-Yong Lee,
Taek-Soo Kim,
Jeong-Taek Kong:
Dynamic power estimation using the probabilistic contribution measure (PCM).
ISLPED 1999: 279-281 |
