| |
| 2008 | ||
|---|---|---|
| 7 | EE | Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20 |
| 6 | EE | Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205 |
| 2007 | ||
| 5 | EE | Ethan K. Jackson, Janos Sztipanovits: Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419 |
| 2006 | ||
| 4 | EE | Ethan K. Jackson, Janos Sztipanovits: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176 |
| 3 | EE | Ethan K. Jackson, Janos Sztipanovits: Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62 |
| 2005 | ||
| 2 | EE | Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson: Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129 |
| 1 | EE | Ethan K. Jackson, Janos Sztipanovits: Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34 |
| 1 | Sherif Abdelwahed | [2] |
| 2 | Kai Chen | [2] |
| 3 | Wolfram Schulte | [6] [7] |
| 4 | Janos Sztipanovits | [1] [2] [3] [4] [5] |