( en | de | ru )

 

Disambiguation of "Babic, Domagoj"

Author of the publication

copydeleteadd this publication to your clipboard
Proving termination of nonlinear command sequences.

, , , and . Formal Aspects Comput., 25 (3): 389-403 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Danijel Babic

Domagoj CÌ0osi

Marko Babic

Goran Babic

Aleksei Babich

 

Other publications of authors with the same name

A scalable, flow-and-context-sensitive taint analysis of android applications., , and . J. Comput. Lang., (2019)SunDew: systematic automated security testing (keynote).. SPIN, page 10. ACM, (2017)Inference and analysis of formal models of botnet command and control protocols., , , and . ACM Conference on Computer and Communications Security, page 426-439. ACM, (2010)Structural Abstraction of Software Verification Conditions., and . CAV, volume 4590 of Lecture Notes in Computer Science, page 366-378. Springer, (2007)Proving Termination by Divergence., , , and . SEFM, page 93-102. IEEE Computer Society, (2007)Efficient SAT solving: beyond supercubes., , and . DAC, page 744-749. ACM, (2005)Sigma*: symbolic learning of input-output specifications., and . POPL, page 443-456. ACM, (2013)B-cubing theory: new possibilities for efficient SAT-solving., , and . HLDVT, page 192-199. IEEE Computer Society, (2005)Approximating the safely reusable set of learned facts., and . Int. J. Softw. Tools Technol. Transf., 11 (4): 325-338 (2009)FUDGE: fuzz driver generation at scale., , , , , , , , and . ESEC/SIGSOFT FSE, page 975-985. ACM, (2019)