Domagoj Babic

	2011
14		Domagoj Babic, Daniel Reynaud, Dawn Song: Malware Analysis with Tree Automata Inference. CAV 2011: 116-131
13		Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song: Statically-directed dynamic automated test generation. ISSTA 2011: 12-22
12		Chia Yuan Cho, Domagoj Babic, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, Dawn Song: MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery. USENIX Security Symposium 2011
	2010
11		Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song: Input generation via decomposition and re-stitching: finding bugs in Malware. ACM Conference on Computer and Communications Security 2010: 413-425
10		Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song: Inference and analysis of formal models of botnet command and control protocols. ACM Conference on Computer and Communications Security 2010: 426-439
	2009
9		Domagoj Babic, Alan J. Hu: Approximating the safely reusable set of learned facts. STTT 11(4): 325-338 (2009)
	2008
8		Domagoj Babic, Alan J. Hu: Calysto: scalable and precise extended static checking. ICSE 2008: 211-220
	2007
7		Domagoj Babic, Alan J. Hu: Structural Abstraction of Software Verification Conditions. CAV 2007: 366-378
6		Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
5		Domagoj Babic, Alan J. Hu: Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference 2007: 169-184
4		Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook: Proving Termination by Divergence. SEFM 2007: 93-102
	2006
3		Domagoj Babic, Jesse D. Bingham, Alan J. Hu: B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55(11): 1315-1324 (2006)
	2005
2		Domagoj Babic, Alan J. Hu: Integration of supercubing and learning in a SAT solver. ASP-DAC 2005: 438-444
1		Domagoj Babic, Jesse D. Bingham, Alan J. Hu: Efficient SAT solving: beyond supercubes. DAC 2005: 744-749

Coauthor Index

1	Jesse D. Bingham	[1] [3]
2	Juan Caballero	[11]
3	Kevin Zhijie Chen	[12]
4	Chia Yuan Cho	[10] [12]
5	Byron Cook	[4]
6	Holger H. Hoos (Holger Hoos)	[6]
7	Alan J. Hu	[1] [2] [3] [4] [5] [6] [7] [8] [9]
8	Frank Hutter	[6]
9	Lorenzo Martignoni	[13]
10	Stephen McCamant	[11] [13]
11	Pongsin Poosankam	[11] [12]
12	Zvonimir Rakamaric	[4]
13	Daniel Reynaud	[14]
14	Eui Chul Richard Shin	[10]
15	Dawn Xiaodong Song (Dawn Song)	[10] [11] [12] [13] [14]
16	Edward XueJun Wu	[12]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page