Ethan K. Jackson

According to our database, Ethan K. Jackson authored at least 31 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Model and Tool Integration Platforms for Cyber-Physical System Design.

Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson

Proc. IEEE, 2018

2015

Automatically reasoning about metamodeling.

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian

Softw. Syst. Model., 2015

Design tool chain for cyber-physical systems: lessons learned.

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

A Module System for Domain-Specific Languages.

Ethan K. Jackson

Theory Pract. Log. Program., 2014

A model-integrated authoring environment for privacy policies.

András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits

Sci. Comput. Program., 2014

A bounded model checking tool for periodic sample-hold systems.

Gabor Simko, Ethan K. Jackson

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Engineering domain-specific languages with formula 2.0.

Ethan K. Jackson

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

P: safe asynchronous event-driven programming.

Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

FORMULA 2.0: A Language for Formal Specifications.

Ethan K. Jackson, Wolfram Schulte

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Diversely enumerating system-level architectures.

Ethan K. Jackson, Gabor Simko, Janos Sztipanovits

Proceedings of the International Conference on Embedded Software, 2013

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.

Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

Understanding Specification Languages through Their Model Theory.

Ethan K. Jackson, Wolfram Schulte

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Detecting Specification Errors in Declarative Languages with Constraints.

Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Cancer treatment planning: formal methods to the rescue.

Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

2011

Finding Models in Model-Based Development - (Abstract).

Wolfram Schulte, Ethan K. Jackson

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Canonical Regular Types.

Ethan K. Jackson, Nikolaj S. Bjørner, Wolfram Schulte

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

An Approach for Effective Design Space Exploration.

Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Reusing Model Transformations While Preserving Properties.

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Components, platforms and possibilities: towards generic automation for MDA.

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen

Proceedings of the 10th International conference on Embedded software, 2010

2009

Formalizing the structural semantics of domain-specific modeling languages.

Ethan K. Jackson, Janos Sztipanovits

Softw. Syst. Model., 2009

Specifying and Composing Non-functional Requirements in Model-Based Development.

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte

Proceedings of the Software Composition - 8th International Conference, 2009

Lost in Translation: Forgetful Semantic Anchoring.

Daniel Balasubramanian, Ethan K. Jackson

Proceedings of the ASE 2009, 2009

2008

Compositional Modeling for Data-Centric Business Applications.

Ethan K. Jackson, Wolfram Schulte

Proceedings of the Software Composition - 7th International Symposium, 2008

Model Generation for Horn Logic with Stratified Negation.

Ethan K. Jackson, Wolfram Schulte

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Constructive Techniques for Meta- and Model-Level Reasoning.

Ethan K. Jackson, Janos Sztipanovits

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

Towards a formal foundation for domain specific modeling languages.

Ethan K. Jackson, Janos Sztipanovits

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality.

Ethan K. Jackson, Janos Sztipanovits

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

Using separation of concerns for embedded systems design.

Ethan K. Jackson, Janos Sztipanovits

Proceedings of the EMSOFT 2005, 2005

Semantic Anchoring with Model Transformations.

Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson

Proceedings of the Model Driven Architecture, 2005