Login / Signup
Jeffrey Terrell
Publication Activity (10 Years)
Years Active: 2010-2014
Publications (10 Years): 0
Top Topics
Network Model
Statistical Model
Experimental Data
High Level
Top Venues
FESCA
Softw. Syst. Model.
</>
Publications
</>
Kevin Lano
,
Shekoufeh Kolahdouz Rahimi
,
Iman Poernomo
,
Jeffrey Terrell
,
Steffen Zschaler
Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model.
13 (2) (2014)
Maribel Fernández
,
Jeffrey Terrell
Assembling the Proofs of Ordered Model Transformations
FESCA
(2013)
Iman Poernomo
,
Jeffrey Terrell
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.
ICFEM
(2010)