Ethan K. Jackson
Microsoft (United States)(US)Immersion (United States)(US)
Publications by Year
Research Areas
Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies, Formal Methods in Verification, Logic, programming, and type systems, Mosquito-borne diseases and control
Most-Cited Works
- → An Approach for Effective Design Space Exploration(2011)130 cited
- → P(2013)122 cited
- → Semantic Anchoring with Model Transformations(2005)107 cited
- → Formalizing the structural semantics of domain-specific modeling languages(2008)67 cited
- → OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems(2014)66 cited
- → Components, platforms and possibilities(2010)61 cited
- → Reasoning about metamodeling with formal specifications and automatic proofs(2011)48 cited