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

Home

ISIS Publications

  • List
  • Filter
Export 3 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title [ Type  (Asc)] Year
Filters: Author is Ethan K. Jackson  [Clear All Filters]
Conference Paper
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)
Conference Proceedings
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