Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ethan K. Jackson
2010 – today
- 2012
[c17]Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner: Detecting Specification Errors in Declarative Languages with Constraints. MoDELS 2012: 399-414- [c16]Ethan K. Jackson, Wolfram Schulte: Understanding Specification Languages through Their Model Theory. Monterey Workshop 2012: 396-415
- 2011
- [c15]Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83
- [c14]Wolfram Schulte, Ethan K. Jackson: Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591
- [c13]Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667
- [e1]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
- 2010
- [c12]Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48
- [c11]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
- [c10]Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte: An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54
2000 – 2009
- 2009
- [j1]Ethan K. Jackson, Janos Sztipanovits: Formalizing the structural semantics of domain-specific modeling languages. Software and System Modeling 8(4): 451-478 (2009)
- [c9]Daniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649
- [c8]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
- [c7]Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20
- [c6]Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205
- 2007
- [c5]Ethan K. Jackson, Janos Sztipanovits: Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419
- 2006
- [c4]Ethan K. Jackson, Janos Sztipanovits: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176
- [c3]Ethan K. Jackson, Janos Sztipanovits: Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62
- 2005
- [c2]Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson: Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129
- [c1]Ethan K. Jackson, Janos Sztipanovits: Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:08 CET by the dblp team