| * | 2009 |
|---|
| 8 | EE | 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 |
| 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 |
