BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Italy
Collaborated with:
T.Bultan
Talks about:
verif (3) model (3) data (3) effici (2) applic (2) web (2) coexecut (1) control (1) invari (1) induct (1)

Person: Ivan Bocic

DBLP DBLP: Bocic:Ivan

Contributed to:

ICSE 20152015
ICSE 20142014
ASE 20152015
ASE 20162016

Wrote 4 papers:

ICSE-v1-2015-BocicB #performance #verification
Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSE-2014-BocicB #induction #invariant #verification #web
Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ASE-2015-BocicB #logic #performance #verification
Efficient Data Model Verification with Many-Sorted Logic (T) (IB, TB), pp. 42–52.
ASE-2016-BocicB #data access #debugging #web
Finding access control bugs in web applications with CanCheck (IB, TB), pp. 155–166.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.