Domagoj Babic
发表
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Alan J. Hu,
Domagoj Babic,
A. Hu,
2007,
CAV.
Dawn Xiaodong Song,
Daniel Reynaud,
Domagoj Babic,
2011,
CAV.
Swarat Chaudhuri,
Daniel Kifer,
Domagoj Babic,
2013,
ACSAC.
Domagoj Babic,
Leonardo Mendonça de Moura,
Clark Barrett,
2008
.
Alan J. Hu,
Domagoj Babic,
2005,
ASP-DAC.
Stephen McCamant,
Dawn Xiaodong Song,
Lorenzo Martignoni,
2011,
ISSTA '11.
Domagoj Babic,
Matko Botincan,
D. Babic,
2013,
POPL.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2009,
International Journal on Software Tools for Technology Transfer.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2008,
ICSE.
Wei Wang,
Yaohui Chen,
Domagoj Babic,
2019,
ESEC/SIGSOFT FSE.
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2006,
IEEE Transactions on Computers.
Domagoj Babic,
2017,
SPIN.
Dawn Xiaodong Song,
Domagoj Babic,
Eui Chul Richard Shin,
2010,
CCS '10.
Zvonimir Pavlinovic,
Domagoj Babic,
2013
.
Dawn Xiaodong Song,
Kevin Zhijie Chen,
Edward XueJun Wu,
2011,
USENIX Security Symposium.
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook,
2013,
Formal Aspects of Computing.
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2005,
Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..
Dawn Xiaodong Song,
Daniel Reynaud,
Domagoj Babic,
2012,
Formal Methods Syst. Des..
Zvonimir Rakamaric,
Domagoj Babic,
Z. Rakamaric,
2013,
FMOODS/FORTE.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2007,
Haifa Verification Conference.
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Stephen McCamant,
Dawn Xiaodong Song,
Juan Caballero,
2010,
CCS '10.
Alan J. Hu,
Holger H. Hoos,
Frank Hutter,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).