Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Domagoj Babic
2010 – today
- 2013
[j4]Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric: Proving termination of nonlinear command sequences. Formal Asp. Comput. 25(3): 389-403 (2013)- [c15]Domagoj Babic, Zvonimir Rakamaric: Asynchronously Communicating Visibly Pushdown Systems. FMOODS/FORTE 2013: 225-241
- [c14]Matko Botincan, Domagoj Babic: Sigma*: symbolic learning of input-output specifications. POPL 2013: 443-456
- 2012
- [j3]Domagoj Babic, Daniel Reynaud, Dawn Song: Recognizing malicious software behaviors with tree automata inference. Formal Methods in System Design 41(1): 107-128 (2012)
- 2011
- [c13]Domagoj Babic, Daniel Reynaud, Dawn Song: Malware Analysis with Tree Automata Inference. CAV 2011: 116-131
- [c12]Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song: Statically-directed dynamic automated test generation. ISSTA 2011: 12-22
- [c11]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
- [c10]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
- [c9]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
2000 – 2009
- 2009
- [j2]Domagoj Babic, Alan J. Hu: Approximating the safely reusable set of learned facts. STTT 11(4): 325-338 (2009)
- 2008
- [c8]Domagoj Babic, Alan J. Hu: Calysto: scalable and precise extended static checking. ICSE 2008: 211-220
- 2007
- [c7]Domagoj Babic, Alan J. Hu: Structural Abstraction of Software Verification Conditions. CAV 2007: 366-378
- [c6]Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
- [c5]Domagoj Babic, Alan J. Hu: Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference 2007: 169-184
- [c4]Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook: Proving Termination by Divergence. SEFM 2007: 93-102
- 2006
- [j1]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
- [c3]Domagoj Babic, Alan J. Hu: Integration of supercubing and learning in a SAT solver. ASP-DAC 2005: 438-444
- [c2]Domagoj Babic, Jesse D. Bingham, Alan J. Hu: Efficient SAT solving: beyond supercubes. DAC 2005: 744-749
- [c1]Domagoj Babic, Jesse D. Bingham, Alan J. Hu: B-cubing theory: new possibilities for efficient SAT-solving. HLDVT 2005: 192-199
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 22:14 CEST by the dblp team