An integrated data model verifier with property templates. - Jaideep Nijjar; Ivan Bocic; Tevfik Bultan (FormaliSE@ICSE, 2013)

Inductive verification of data model invariants for web applications. - Ivan Bocic; Tevfik Bultan (ICSE, 2014)

Coexecutability for Efficient Verification of Data Model Updates. - Ivan Bocic; Tevfik Bultan (ICSE (1), 2015)

Efficient Data Model Verification with Many-Sorted Logic (T). - Ivan Bocic; Tevfik Bultan (ASE, 2015)

Data Model Bugs. - Ivan Bocic; Tevfik Bultan (NFM, 2015)

Data Model Property Inference, Verification, and Repair for Web Applications. - Jaideep Nijjar; Ivan Bocic; Tevfik Bultan (ACM Trans. Softw. Eng. Methodol., 2015)

Finding access control bugs in web applications with CanCheck. - Ivan Bocic; Tevfik Bultan (ASE, 2016)

Data Model Verification via Theorem Proving. - Ivan Bocic (2016)

Symbolic model extraction for web application verification. - Ivan Bocic; Tevfik Bultan (ICSE, 2017)

Inductive verification of data model invariants in web applications using first-order logic. - Ivan Bocic; Tevfik Bultan; Nicolás Rosner (Autom. Softw. Eng., 2019)