Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire
  • Printers
  • akarns

Home

ISIS Publications

  • List
  • Filter
Export 3 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author [ Title  (Asc)] Type Year
Filters: Author is Ethan K. Jackson  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
Balasubramanian, D., and E. K. Jackson, "Lost in Translation: Forgetful Semantic Anchoring", Automated Software Engineering, Auckland, New Zealand, 11/2009. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: ASE2009.pdf (357.82 KB)
R
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs", Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering