Bentley J. Oakes
Bentley James Oakes
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j1]Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer:
Full contract verification for ATL using symbolic execution. Software and System Modeling 17(3): 815-849 (2018) - [c5]Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe:
Debugging of Model Transformations and Contracts in SyVOLT. MODELS Workshops 2018: 532-537 - 2015
- [c4]Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe:
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS 2015: 24-27 - [c3]Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes:
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS 2015: 26-35 - [c2]Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer:
Fully verifying transformation contracts for declarative ATL. MoDELS 2015: 256-265 - 2014
- [c1]Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes:
Specification and Verification of Graph-Based Model Transformation Properties. ICGT 2014: 113-129
Coauthor Index
last updated on 2019-01-09 01:13 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint