The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

HoonSang Jin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. HoonSang Jin, Mohammad Awedh, Fabio Somenzi
    CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:519-522 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CODES+ISSS, 2006, pp:235-240 [Conf]
  3. HoonSang Jin, Fabio Somenzi
    Prime clauses for fast enumeration of satisfying assignments to boolean circuits. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:750-753 [Conf]
  4. Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Refining the SAT decision ordering for bounded model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:535-538 [Conf]
  5. HoonSang Jin, Fabio Somenzi
    Strong conflict analysis for propositional satisfiability. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:818-823 [Conf]
  6. Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:408-415 [Conf]
  7. Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo
    Runtime distribution-aware dynamic voltage scaling. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2006, pp:587-594 [Conf]
  8. 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). [Citation Graph (0, 0)][DBLP]
    ISLPED, 1999, pp:279-281 [Conf]
  9. HoonSang Jin, Fabio Somenzi
    CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  10. HoonSang Jin, Fabio Somenzi
    CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:211-223 [Conf]
  11. HoonSang Jin, HyoJung Han, Fabio Somenzi
    Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:287-300 [Conf]
  12. HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
    Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:312-326 [Conf]
  13. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:445-459 [Conf]
  14. HoonSang Jin, Fabio Somenzi
    An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:51-65 [Journal]
  15. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and free will in error traces. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:102-116 [Journal]
  16. Chai Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:11, pp:2297-2316 [Journal]

  17. Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP]


  18. Efficient Term-ITE Conversion for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002