| 2015 | DAC | Design tool chain for cyber-physical systems: lessons learned. | Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson |
| 2013 | EMSOFT | Diversely enumerating system-level architectures. | Ethan K. Jackson, Gabor Simko, Janos Sztipanovits |
| 2013 | ICTAC | FORMULA 2.0: A Language for Formal Specifications. | Ethan K. Jackson, Wolfram Schulte |
| 2013 | PLDI | P: safe asynchronous event-driven programming. | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
| 2012 | ICSE | Cancer treatment planning: formal methods to the rescue. | Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte |
| 2012 | MODELS | Detecting Specification Errors in Declarative Languages with Constraints. | Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjrner |
| 2011 | ICLP | Canonical Regular Types. | Ethan K. Jackson, Nikolaj S. Bjrner, Wolfram Schulte |
| 2011 | MODELS | Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. | Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian |
| 2011 | MODELS | Finding Models in Model-Based Development - (Abstract). | Wolfram Schulte, Ethan K. Jackson |
| 2010 | EMSOFT | Components, platforms and possibilities: towards generic automation for MDA. | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
| 2010 | FASE | Reusing Model Transformations While Preserving Properties. | Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2008 | FORTE | Model Generation for Horn Logic with Stratified Negation. | Ethan K. Jackson, Wolfram Schulte |
| 2007 | MODELS | Constructive Techniques for Meta- and Model-Level Reasoning. | Ethan K. Jackson, Janos Sztipanovits |
| 2006 | EMSOFT | Towards a formal foundation for domain specific modeling languages. | Ethan K. Jackson, Janos Sztipanovits |
| 2005 | EMSOFT | Using separation of concerns for embedded systems design. | Ethan K. Jackson, Janos Sztipanovits |