Concepedia

Ethan K. Jackson

EK

21

Publications

647

Citations

14

H-Index

2005

Active since

Affiliations

Microsoft (United States)(Current)

Vanderbilt University

Institute of Science and Technology Austria

Integrated Software (United States)

Microsoft Research (United Kingdom)

Ethan K. Jackson is an author at Microsoft (United States) specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringFormal VerificationSoftware EngineeringSoftware DesignAutomated ReasoningSystem SoftwareComputer Engineering

Publications per year

2005–2023

21

Publications

21

P

Ankush Desai, Vivek Gupta, Ethan K. Jackson et al. · 2013 · 122 citations

P Program, Formal Specification, Engineering +15

Formalizing the structural semantics of domain-specific modeling languages

Ethan K. Jackson, János Sztipanovits · Software & Systems Modeling · 2008 · 67 citations

Engineering, Automated Reasoning, Formal Methods +6

Components, platforms and possibilities

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid et al. · 2010 · 61 citations

Engineering, Software Systems, Computer Architecture +28

Reasoning about metamodeling with formal specifications and automatic proofs

Ethan K. Jackson, Tihamér Levendovszky, Daniel Balasubramanian · Model Driven Engineering Languages and Systems · 2011 · 48 citations

Formal Specification, Engineering, Formal Modeling +7

Ankush Desai, Vivek Gupta, Ethan K. Jackson et al. · ACM SIGPLAN Notices · 2013 · 42 citations

P Program, Formal Specification, Engineering +15

Rows per page

1–5 of 21