Ethan K. Jackson

Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner: Detecting Specification Errors in Declarative Languages with Constraints. MoDELS 2012: 399-414

Ethan K. Jackson, Wolfram Schulte: Understanding Specification Languages through Their Model Theory. Monterey Workshop 2012: 396-415

Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83

Wolfram Schulte, Ethan K. Jackson: Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667

Radu Calinescu, Ethan K. Jackson (Eds.): Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6662, Springer 2011, isbn 978-3-642-21291-8

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58

Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte: An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54

Ethan K. Jackson, Janos Sztipanovits: Formalizing the structural semantics of domain-specific modeling languages. Software and System Modeling 8(4): 451-478 (2009)

Daniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89

Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20

Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205

Ethan K. Jackson, Janos Sztipanovits: Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419

Ethan K. Jackson, Janos Sztipanovits: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176

Ethan K. Jackson, Janos Sztipanovits: Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62

Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson: Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129

Ethan K. Jackson, Janos Sztipanovits: Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34