Ethan K. Jackson

	2011
17		Radu Calinescu, Ethan K. Jackson: 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 Springer 2011
16		Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83
15		Wolfram Schulte, Ethan K. Jackson: Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591
14		Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667
	2010
13		Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48
12		Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
11		Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte: An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54
	2009
10		Daniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649
9		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
8		Ethan K. Jackson, Janos Sztipanovits: Formalizing the structural semantics of domain-specific modeling languages. Software and System Modeling 8(4): 451-478 (2009)
	2008
7		Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20
6		Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205
	2007
5		Ethan K. Jackson, Janos Sztipanovits: Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419
	2006
4		Ethan K. Jackson, Janos Sztipanovits: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176
3		Ethan K. Jackson, Janos Sztipanovits: Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62
	2005
2		Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson: Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129
1		Ethan K. Jackson, Janos Sztipanovits: Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34

Coauthor Index

1	Sherif Abdelwahed	[2]
2	Daniel Balasubramanian	[10] [12] [14]
3	Nikolaj Bjørner	[9] [16]
4	Radu Calinescu	[17]
5	Kai Chen	[2]
6	Markus Dahlweid	[9] [13]
7	Eunsuk Kang	[11] [13]
8	Gabor Karsai	[12]
9	Tihamer Levendovszky	[14]
10	Thomas Santen	[9] [13]
11	Wolfram Schulte	[6] [7] [9] [11] [12] [15] [16]
12	Dirk Seifert	[9] [13]
13	Janos Sztipanovits	[1] [2] [3] [4] [5] [8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page