Seungjoon Park

2005
15	EE	John 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
14	EE	Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park: A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD 2004: 382-398
2003
13	EE	Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park: Bounded Fairness. Verification: Theory and Practice 2003: 304-317
12	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
11	EE	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. Formal Methods in System Design 22(2): 109-116 (2003)
2000
10	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
9	EE	Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
8	EE	Seungjoon 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
7	EE	Satyaki Das, David L. Dill, Seungjoon Park: Experience with Predicate Abstraction. CAV 1999: 160-171
6	EE	Seungjoon Park, David L. Dill: An Executable Specification and Verifier for Relaxed Memory Order. IEEE Trans. Computers 48(2): 227-235 (1999)
1998
5	EE	Seungjoon 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
1	EE	Seungjoon Park, David L. Dill: An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). SPAA 1995: 34-41

Coauthor Index

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

Colors in the list of coauthors