default search action
Ethan K. Jackson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j5]Janos Sztipanovits
, Ted Bapty, Xenofon D. Koutsoukos
Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE 106(9): 1501-1526 (2018) - 2015
- [j4]Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Automatically reasoning about metamodeling. Softw. Syst. Model. 14(1): 271-285 (2015) - [c26]Janos Sztipanovits, Ted Bapty, Sandeep Neema
Design tool chain for cyber-physical systems: lessons learned. DAC 2015: 81:1-81:6 - 2014
- [j3]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: 105-125 (2014) - [j2]Ethan K. Jackson:
A Module System for Domain-Specific Languages. Theory Pract. Log. Program. 14(4-5): 771-785 (2014) - [c25]Janos Sztipanovits, Ted Bapty, Sandeep Neema
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS 2014: 235-248 - [c24]Gabor Simko, Ethan K. Jackson:
A bounded model checking tool for periodic sample-hold systems. HSCC 2014: 157-162 - [e3]Yan Liu, Steffen Zschaler, Benoit Baudry, Sudipto Ghosh, Davide Di Ruscio, Ethan K. Jackson, Manuel Wimmer:
Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 4, 2013. CEUR Workshop Proceedings 1115, CEUR-WS.org 2014 [contents] - [i1]Ethan K. Jackson:
A Module System for Domain-Specific Languages. CoRR abs/1405.4041 (2014) - 2013
- [c23]Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS 2013: 30-39 - [c22]Ethan K. Jackson, Gabor Simko, Janos Sztipanovits:
Diversely enumerating system-level architectures. EMSOFT 2013: 11:1-11:10 - [c21]Ethan K. Jackson, Wolfram Schulte:
FORMULA 2.0: A Language for Formal Specifications. ICTAC Training School on Software Engineering 2013: 156-206 - [c20]Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey:
P: safe asynchronous event-driven programming. PLDI 2013: 321-332 - [c19]Ethan K. Jackson:
Engineering domain-specific languages with formula 2.0. HILT 2013: 3-4 - 2012
- [c18]Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte:
Cancer treatment planning: formal methods to the rescue. SEHC@ICSE 2012: 19-25 - [c17]Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner:
Detecting Specification Errors in Declarative Languages with Constraints. MoDELS 2012: 399-414 - [c16]Ethan K. Jackson, Wolfram Schulte:
Understanding Specification Languages through Their Model Theory. Monterey Workshop 2012: 396-415 - 2011
- [c15]Ethan K. Jackson, Nikolaj S. Bjørner, Wolfram Schulte:
Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83 - [c14]Wolfram Schulte, Ethan K. Jackson:
Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591 - [c13]Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667 - [e2]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. Lecture Notes in Computer Science 6662, Springer 2011, ISBN 978-3-642-21291-8 [contents] - [e1]Sven Apel
Software Composition - 10th International Conference, SC@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6708, Springer 2011, ISBN 978-3-642-22044-9 [contents] - 2010
- [c12]Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen:
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48 - [c11]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58 - [c10]Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte:
An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54
2000 – 2009
- 2009
- [j1]Ethan K. Jackson, Janos Sztipanovits:
Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. 8(4): 451-478 (2009) - [c9]Daniel Balasubramanian, Ethan K. Jackson:
Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649 - [c8]Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte:
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS 2009: 72-89 - 2008
- [c7]Ethan K. Jackson, Wolfram Schulte:
Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20 - [c6]Ethan K. Jackson, Wolfram Schulte:
Compositional Modeling for Data-Centric Business Applications. SC@ETAPS 2008: 190-205 - 2007
- [c5]Ethan K. Jackson, Janos Sztipanovits:
Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419 - 2006
- [c4]Ethan K. Jackson, Janos Sztipanovits:
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176 - [c3]Ethan K. Jackson, Janos Sztipanovits:
Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62 - 2005
- [c2]Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson:
Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129 - [c1]Ethan K. Jackson, Janos Sztipanovits:
Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: