Search results for "Seungjoon Park"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Donglai Dai, Aniruddha Vaidya, Roy Saharoy, Seungjoon Park, Dongkook Park, Hariharan L. Thantry, Ralf Plate, Elmar Maas, Akhilesh Kumar, Mani Azimi	FPGA-based prototyping of a 2D MESH / TORUS on-chip interconnect (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	fpga, routing algorithm, on-chip interconnect, router architecture
1	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	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
1	Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park	A Simple Method for Parameterized Verification of Cache Coherence Protocols.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
1	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	2003	DBLP DOI BibTeX RDF	rule-based checking of tables, minimal deadlock-free wormhole routing schemes, fault-tolerant link initialization, formal verification, cache coherence protocols, sliding window protocols
1	Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park	Bounded Fairness.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	Seungjoon Park, Satyaki Das, David L. Dill	Automatic checking of aggregation abstractions through stateenumeration.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	Willem Visser, Seungjoon Park, John Penix	Using predicate abstraction to reduce object-oriented programs for model checking.	FMSP	2000	DBLP DOI BibTeX RDF	browsing
1	Seungjoon Park, David L. Dill	An Executable Specification and Verifier for Relaxed Memory Order.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal method, Multiprocessors, memory models, automatic verification, executable specification
1	Satyaki Das, David L. Dill, Seungjoon Park	Experience with Predicate Abstraction.	CAV	1999	DBLP DOI BibTeX RDF
1	Seungjoon Park, David L. Dill	Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
1	Dong Chun Lee, SeungJoon Park, JooSeok Song	Performance analysis of queueing strategies with multiple priorities in multimedia PCS.	Computers and Their Applications	1998	DBLP BibTeX RDF
1	Seungjoon Park, Satyaki Das, David L. Dill	Automatic Checking of Aggregation Abstractions Through State Enumeration.	FORTE	1997	DBLP BibTeX RDF
1	Seungjoon Park, David L. Dill	Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions.	SPAA	1996	DBLP BibTeX RDF
1	Seungjoon Park, David L. Dill	Protocol Verification by Aggregation of Distributed Transactions.	CAV	1996	DBLP DOI BibTeX RDF
1	Seungjoon Park, David L. Dill	An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).	SPAA	1995	DBLP DOI BibTeX RDF	SPARC

Publications of "Seungjoon Park" ( http://dblp.L3S.de/Authors/Seungjoon_Park )