dblp.uni-trier.dewww.uni-trier.de

Seungjoon Park

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
15EEJohn Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design 26(2): 103-135 (2005)
2004
14EEChing-Tsun Chou, Phanindra K. Mannava, Seungjoon Park: A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD 2004: 382-398
2003
13EENachum Dershowitz, D. N. Jayasimha, Seungjoon Park: Bounded Fairness. Verification: Theory and Practice 2003: 304-317
12EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
11EEMani 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. Formal Methods in System Design 22(2): 109-116 (2003)
2000
10EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
9EEWillem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
8EESeungjoon Park, Satyaki Das, David L. Dill: Automatic checking of aggregation abstractions through stateenumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1202-1210 (2000)
1999
7EESatyaki Das, David L. Dill, Seungjoon Park: Experience with Predicate Abstraction. CAV 1999: 160-171
6EESeungjoon Park, David L. Dill: An Executable Specification and Verifier for Relaxed Memory Order. IEEE Trans. Computers 48(2): 227-235 (1999)
1998
5EESeungjoon Park, David L. Dill: Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions. Theory Comput. Syst. 31(4): 355-376 (1998)
1997
4 Seungjoon Park, Satyaki Das, David L. Dill: Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE 1997: 207-222
1996
3 Seungjoon Park, David L. Dill: Protocol Verification by Aggregation of Distributed Transactions. CAV 1996: 300-310
2 Seungjoon Park, David L. Dill: Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions. SPAA 1996: 288-296
1995
1EESeungjoon Park, David L. Dill: An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). SPAA 1995: 34-41

Coauthor Index

1Mani Azimi [11]
2Guillaume P. Brat [10] [12]
3Ching-Tsun Chou [11] [14]
4Satyaki Das [4] [7] [8]
5Nachum Dershowitz [13]
6David L. Dill [1] [2] [3] [4] [5] [6] [7] [8]
7Eric Engstrom [15]
8Klaus Havelund [10] [12]
9D. N. Jayasimha [13]
10Akhilesh Kumar [11]
11Aaron Larson [15]
12Victor W. Lee [11]
13Flavio Lerda [12]
14Phanindra K. Mannava [11] [14]
15Corina S. Pasareanu [15]
16John Penix [9] [15]
17Willem Visser [9] [10] [12] [15]
18Nicholas Weininger [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)