Semantic Anchoring with Model Transformations. - Kai Chen 010; Janos Sztipanovits; Sherif Abdelwahed; Ethan K. Jackson (ECMDA-FA, 2005)

Using separation of concerns for embedded systems design. - Ethan K. Jackson; Janos Sztipanovits (EMSOFT, 2005)

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

Towards a formal foundation for domain specific modeling languages. - Ethan K. Jackson; Janos Sztipanovits (EMSOFT, 2006)

Constructive Techniques for Meta- and Model-Level Reasoning. - Ethan K. Jackson; Janos Sztipanovits (MoDELS, 2007)

Model Generation for Horn Logic with Stratified Negation. - Ethan K. Jackson; Wolfram Schulte (FORTE, 2008)

Compositional Modeling for Data-Centric Business Applications. - Ethan K. Jackson; Wolfram Schulte (SC@ETAPS, 2008)

Lost in Translation: Forgetful Semantic Anchoring. - Daniel Balasubramanian; Ethan K. Jackson (ASE, 2009)

Specifying and Composing Non-functional Requirements in Model-Based Development. - Ethan K. Jackson; Dirk Seifert; Markus Dahlweid; Thomas Santen; Nikolaj S. Bjørner; Wolfram Schulte (SC@TOOLS, 2009)

Formalizing the structural semantics of domain-specific modeling languages. - Ethan K. Jackson; Janos Sztipanovits (Softw. Syst. Model., 2009)

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

Reusing Model Transformations While Preserving Properties. - Ethan K. Jackson; Wolfram Schulte; Daniel Balasubramanian; Gabor Karsai (FASE, 2010)

An Approach for Effective Design Space Exploration. - Eunsuk Kang; Ethan K. Jackson; Wolfram Schulte (Monterey Workshop, 2010)

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

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (MoDELS, 2011)

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

Cancer treatment planning: formal methods to the rescue. - Janos L. Mathe; Janos Sztipanovits; Mia A. Levy; Ethan K. Jackson; Wolfram Schulte (SEHC@ICSE, 2012)

Detecting Specification Errors in Declarative Languages with Constraints. - Ethan K. Jackson; Wolfram Schulte; Nikolaj S. Bjørner (MoDELS, 2012)

Understanding Specification Languages through Their Model Theory. - Ethan K. Jackson; Wolfram Schulte (Monterey Workshop, 2012)

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Ethan K. Jackson; Sandeep Neema; Janos Sztipanovits (ECBS, 2013)

Diversely enumerating system-level architectures. - Ethan K. Jackson; Gabor Simko; Janos Sztipanovits (EMSOFT, 2013)

FORMULA 2.0: A Language for Formal Specifications. - Ethan K. Jackson; Wolfram Schulte (ICTAC Training School on Software Engineering, 2013)

P: safe asynchronous event-driven programming. - Ankush Desai; Vivek Gupta; Ethan K. Jackson; Shaz Qadeer; Sriram K. Rajamani; Damien Zufferey (PLDI, 2013)

Engineering domain-specific languages with formula 2.0. - Ethan K. Jackson (HILT, 2013)

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. - Janos Sztipanovits; Ted Bapty; Sandeep Neema; Larry Howard; Ethan K. Jackson (FPS@ETAPS, 2014)

A bounded model checking tool for periodic sample-hold systems. - Gabor Simko; Ethan K. Jackson (HSCC, 2014)

A model-integrated authoring environment for privacy policies. - András Nádas; Tihamer Levendovszky; Ethan K. Jackson; István Madari; Janos Sztipanovits (Sci. Comput. Program., 2014)

A Module System for Domain-Specific Languages. - Ethan K. Jackson (Theory Pract. Log. Program., 2014)

Design tool chain for cyber-physical systems: lessons learned. - Janos Sztipanovits; Ted Bapty; Sandeep Neema; Xenofon D. Koutsoukos; Ethan K. Jackson (DAC, 2015)

Automatically reasoning about metamodeling. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (Softw. Syst. Model., 2015)

Model and Tool Integration Platforms for Cyber-Physical System Design. - Janos Sztipanovits; Ted Bapty; Xenofon D. Koutsoukos; Zsolt Lattmann; Sandeep Neema; Ethan K. Jackson (Proc. IEEE, 2018)