Ethan K. Jackson

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 1

Top Topics

Specification Languages

Formal Specification

Top Venues

Publications

Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson
Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE 106 (9) (2018)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Automatically reasoning about metamodeling. Softw. Syst. Model. 14 (1) (2015)
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson
Design tool chain for cyber-physical systems: lessons learned. DAC (2015)
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS (2014)
András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits
A model-integrated authoring environment for privacy policies. Sci. Comput. Program. 89 (2014)
Gabor Simko, Ethan K. Jackson
A bounded model checking tool for periodic sample-hold systems. HSCC (2014)
Ethan K. Jackson
A Module System for Domain-Specific Languages. Theory Pract. Log. Program. 14 (4-5) (2014)
Ethan K. Jackson
A Module System for Domain-Specific Languages. CoRR (2014)
Ethan K. Jackson, Gabor Simko, Janos Sztipanovits
Diversely enumerating system-level architectures. EMSOFT (2013)
Ethan K. Jackson, Wolfram Schulte
FORMULA 2.0: A Language for Formal Specifications. ICTAC Training School on Software Engineering (2013)
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
P: safe asynchronous event-driven programming. PLDI (2013)
Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS (2013)
Ethan K. Jackson
Engineering domain-specific languages with formula 2.0. HILT (2013)
Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte
Cancer treatment planning: formal methods to the rescue. SEHC@ICSE (2012)
Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner
Detecting Specification Errors in Declarative Languages with Constraints. MoDELS (2012)
Ethan K. Jackson, Wolfram Schulte
Understanding Specification Languages through Their Model Theory. Monterey Workshop (2012)
Wolfram Schulte, Ethan K. Jackson
Finding Models in Model-Based Development - (Abstract). MoDELS (2011)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS (2011)
Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte
Canonical Regular Types. ICLP (Technical Communications) (2011)
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT (2010)
Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte
An Approach for Effective Design Space Exploration. Monterey Workshop (2010)
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Reusing Model Transformations While Preserving Properties. FASE (2010)
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS (2009)
Daniel Balasubramanian, Ethan K. Jackson
Lost in Translation: Forgetful Semantic Anchoring. ASE (2009)
Ethan K. Jackson, Janos Sztipanovits
Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. 8 (4) (2009)
Ethan K. Jackson, Wolfram Schulte
Model Generation for Horn Logic with Stratified Negation. FORTE (2008)
Ethan K. Jackson, Wolfram Schulte
Compositional Modeling for Data-Centric Business Applications. SC@ETAPS (2008)
Ethan K. Jackson, Janos Sztipanovits
Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS (2007)
Ethan K. Jackson, Janos Sztipanovits
Towards a formal foundation for domain specific modeling languages. EMSOFT (2006)
Ethan K. Jackson, Janos Sztipanovits
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS (2006)
Ethan K. Jackson, Janos Sztipanovits
Using separation of concerns for embedded systems design. EMSOFT (2005)
Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson
Semantic Anchoring with Model Transformations. ECMDA-FA (2005)