Travelled to:1 × United Kingdom
Collaborated with:G.M.K.Selim J.R.Cordy J.Dingel L.Lúcio
Talks about:transform (2) verif (2) model (2) properti (1) specif (1) report (1) formal (1) experi (1) graph (1) find (1)
Person: Bentley J. Oakes
DBLP: Oakes:Bentley_J=
Contributed to:
2015
2014Wrote 2 papers:
- AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification
- Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
- ICGT-2014-SelimLCDO #graph #model transformation #specification #verification
- Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.