Calysto: scalable and precise extended static checking
Babic, Domagoj, Hu, Alan J
Published in International Conference on Software Engineering 2008 (01.01.2008)
Published in International Conference on Software Engineering 2008 (01.01.2008)
Get full text
Journal Article
Recognizing malicious software behaviors with tree automata inference
Babić, Domagoj, Reynaud, Daniel, Song, Dawn
Published in Formal methods in system design (01.08.2012)
Published in Formal methods in system design (01.08.2012)
Get full text
Journal Article
Proving termination of nonlinear command sequences
Babić, Domagoj, Cook, Byron, Hu, Alan J., Rakamarić, Zvonimir
Published in Formal aspects of computing (01.05.2013)
Published in Formal aspects of computing (01.05.2013)
Get full text
Journal Article
Boosting Verification by Automatic Tuning of Decision Procedures
Hutter, Frank, Babic, Domagoj, Hoos, Holger H., Hu, Alan J.
Published in Formal Methods in Computer Aided Design (FMCAD'07) (01.11.2007)
Published in Formal Methods in Computer Aided Design (FMCAD'07) (01.11.2007)
Get full text
Conference Proceeding
A scalable, flow-and-context-sensitive taint analysis of android applications
Choi, Wontae, Kannan, Jayanthkumar, Babic, Domagoj
Published in Journal of computer languages (Online) (01.04.2019)
Published in Journal of computer languages (Online) (01.04.2019)
Get full text
Journal Article
Approximating the safely reusable set of learned facts
Babić, Domagoj, Hu, Alan J.
Published in International journal on software tools for technology transfer (01.10.2009)
Published in International journal on software tools for technology transfer (01.10.2009)
Get full text
Journal Article
Conference Proceeding
AUTOMATIC GENERATION OF PATCHES FOR SECURITY VIOLATIONS
KING, Timothy, WANG, Wei, KUSANO, Markus, TRIPP, Omer, IVANCIC, Franjo, BUCUR, Stefan, SZEKERES, László, BABIC, Domagoj, KERNER, Sam
Year of Publication 25.09.2024
Get full text
Year of Publication 25.09.2024
Patent
Bytecode optimization
Babic, D., Rakamaric, Z.
Published in ITI 2002. Proceedings of the 24th International Conference on Information Technology Interfaces (IEEE Cat. No.02EX534) (2002)
Published in ITI 2002. Proceedings of the 24th International Conference on Information Technology Interfaces (IEEE Cat. No.02EX534) (2002)
Get full text
Conference Proceeding