Ivan Bocic

According to our database, Ivan Bocic authored at least 10 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Inductive verification of data model invariants in web applications using first-order logic.

Ivan Bocic, Tevfik Bultan, Nicolás Rosner

Autom. Softw. Eng., 2019

2017

Symbolic model extraction for web application verification.

Ivan Bocic, Tevfik Bultan

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Data Model Verification via Theorem Proving.

Ivan Bocic

PhD thesis, 2016

Finding access control bugs in web applications with CanCheck.

Ivan Bocic, Tevfik Bultan

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Data Model Property Inference, Verification, and Repair for Web Applications.

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan

ACM Trans. Softw. Eng. Methodol., 2015

Data Model Bugs.

Ivan Bocic, Tevfik Bultan

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Efficient Data Model Verification with Many-Sorted Logic (T).

Ivan Bocic, Tevfik Bultan

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Coexecutability for Efficient Verification of Data Model Updates.

Ivan Bocic, Tevfik Bultan

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Inductive verification of data model invariants for web applications.

Ivan Bocic, Tevfik Bultan

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

An integrated data model verifier with property templates.

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013