JaeSeung Song

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c2		JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch: Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN 2011: 1-8
	2010
c1		JaeSeung Song, Tiejun Ma, Peter R. Pietzuch: Towards automated verification of autonomous networks: A case study in self-configuration. PerCom Workshops 2010: 582-587

Coauthor Index

1	Cristian Cadar	[c2]
2	Tiejun Ma	[c2] [c1]
3	Peter R. Pietzuch (Peter Pietzuch)	[c2] [c1]

Last update Sun May 19 03:01:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page