Ethan K. Jackson

35 papers A* 3A 7B 1C 1Misc 4Journal 6Unranked 11

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