The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Seungjoon Park: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
    Bounded Fairness. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:304-317 [Conf]
  2. Satyaki Das, David L. Dill, Seungjoon Park
    Experience with Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:160-171 [Conf]
  3. Seungjoon Park, David L. Dill
    Protocol Verification by Aggregation of Distributed Transactions. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:300-310 [Conf]
  4. Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
    A Simple Method for Parameterized Verification of Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:382-398 [Conf]
  5. Willem Visser, Seungjoon Park, John Penix
    Using predicate abstraction to reduce object-oriented programs for model checking. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:3-182 [Conf]
  6. Seungjoon Park, Satyaki Das, David L. Dill
    Automatic Checking of Aggregation Abstractions Through State Enumeration. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:207-222 [Conf]
  7. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:3-12 [Conf]
  8. Seungjoon Park, David L. Dill
    An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). [Citation Graph (0, 0)][DBLP]
    SPAA, 1995, pp:34-41 [Conf]
  9. Seungjoon Park, David L. Dill
    Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions. [Citation Graph (0, 0)][DBLP]
    SPAA, 1996, pp:288-296 [Conf]
  10. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
  11. Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
    Experience with Applying Formal Methods to Protocol Specification and System Architecture. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:2, pp:109-116 [Journal]
  12. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
  13. Seungjoon Park, David L. Dill
    Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 1998, v:31, n:4, pp:355-376 [Journal]
  14. Seungjoon Park, David L. Dill
    An Executable Specification and Verifier for Relaxed Memory Order. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1999, v:48, n:2, pp:227-235 [Journal]
  15. Seungjoon Park, Satyaki Das, David L. Dill
    Automatic checking of aggregation abstractions through stateenumeration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:10, pp:1202-1210 [Journal]
  16. Dong Chun Lee, Seungjoon Park, JooSeok Song
    Performance analysis of queueing strategies with multiple priorities in multimedia PCS. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1998, pp:93-97 [Conf]

  17. FPGA-based prototyping of a 2D MESH / TORUS on-chip interconnect (abstract only). [Citation Graph (, )][DBLP]


Search in 0.368secs, Finished in 0.369secs
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