| 2013 | ACSAC | Extraction of statistically significant malware behaviors. | Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer |
| 2013 | FORTE | Asynchronously Communicating Visibly Pushdown Systems. | Domagoj Babic, Zvonimir Rakamaric |
| 2013 | POPL | Sigma*: symbolic learning of input-output specifications. | Matko Botincan, Domagoj Babic |
| 2011 | CAV | Malware Analysis with Tree Automata Inference. | Domagoj Babic, Daniel Reynaud, Dawn Song |
| 2011 | ISSTA | Statically-directed dynamic automated test generation. | Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song |
| 2010 | CCS | Input generation via decomposition and re-stitching: finding bugs in Malware. | Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song |
| 2010 | CCS | Inference and analysis of formal models of botnet command and control protocols. | Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song |
| 2008 | ICSE | Calysto: scalable and precise extended static checking. | Domagoj Babic, Alan J. Hu |
| 2007 | CAV | Structural Abstraction of Software Verification Conditions. | Domagoj Babic, Alan J. Hu |
| 2007 | FMCAD | Boosting Verification by Automatic Tuning of Decision Procedures. | Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu |
| 2007 | SEFM | Proving Termination by Divergence. | Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook |
| 2005 | ASPDAC | Integration of supercubing and learning in a SAT solver. | Domagoj Babic, Alan J. Hu |
| 2005 | DAC | Efficient SAT solving: beyond supercubes. | Domagoj Babic, Jesse D. Bingham, Alan J. Hu |