E. Jackson

Most-cited papers

P: safe asynchronous event-driven programming
Ankush Desai, V. Gupta, E. Jackson, S. Qadeer +2 more
2013ACM-SIGPLAN Symposium on Programming Language Design and Implementation194 citations
Semantic Scholar
An Approach for Effective Design Space Exploration
Eunsuk Kang, E. Jackson, W. Schulte
2010Monterey Workshop169 citations
Semantic Scholar
Semantic Anchoring with Model Transformations
Kai Chen, J. Sztipanovits, Sherif Abdelwalhed, E. Jackson
2005ECMDA-FA140 citations
Semantic Scholar
Formalizing the structural semantics of domain-specific modeling languages
E. Jackson, J. Sztipanovits
2009Journal of Software and Systems Modeling86 citations Open access
Semantic Scholar
Reasoning about metamodeling with formal specifications and automatic proofs
E. Jackson, Tihamer Levendovszky, D. Balasubramanian
2011ACM/IEEE International Conference on Model Driven Engineering Languages and Systems75 citations
Semantic Scholar
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
J. Sztipanovits, T. Bapty, S. Neema, Larry Howard +1 more
2014FPS@ETAPS72 citations Open access
Semantic Scholar
Components, platforms and possibilities: towards generic automation for MDA
E. Jackson, Eunsuk Kang, M. Dahlweid, D. Seifert +1 more
2010International Conference on Embedded Software72 citations
Semantic Scholar
Towards a formal foundation for domain specific modeling languages
E. Jackson, J. Sztipanovits
2006International Conference on Embedded Software51 citations
Semantic Scholar
Foundation for Model Integration: Semantic Backplane
Gabor Simko, Tihamer Levendovszky, S. Neema, E. Jackson +3 more
201242 citations
Semantic Scholar
Model and Tool Integration Platforms for Cyber–Physical System Design
J. Sztipanovits, T. Bapty, X. Koutsoukos, Zsolt Lattmann +2 more
2018Proceedings of the IEEE37 citations Open access
Semantic Scholar
Specifying and Composing Non-functional Requirements in Model-Based Development
E. Jackson, D. Seifert, M. Dahlweid, T. Santen +2 more
2009International Conference on Software Composition32 citations
Semantic Scholar
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
R. Calinescu, E. Jackson
2010Lecture Notes in Computer Science29 citations
Semantic Scholar
Design tool chain for cyber-physical systems: Lessons learned
J. Sztipanovits, T. Bapty, S. Neema, X. Koutsoukos +1 more
2015Design Automation Conference26 citations Open access
Semantic Scholar
Diversely enumerating system-level architectures
E. Jackson, Gabor Simko, J. Sztipanovits
2013International Conference on Embedded Software21 citations
Semantic Scholar
Constructive techniques for meta- and model-level reasoning
E. Jackson, J. Sztipanovits
2007ACM/IEEE International Conference on Model Driven Engineering Languages and Systems21 citations
Semantic Scholar
Semantics of Domain-Specific Modeling Languages
E. Jackson, R. Thibodeaux, Joseph Porter, J. Sztipanovits
200919 citations
Semantic Scholar
Model Generation for Horn Logic with Stratified Negation
E. Jackson, W. Schulte
2008Formal Techniques for (Networked and) Distributed Systems19 citations Open access
Semantic Scholar
Automatically reasoning about metamodeling
E. Jackson, Tihamer Levendovszky, D. Balasubramanian
2015Journal of Software and Systems Modeling17 citations
Semantic Scholar
Canonical Regular Types
E. Jackson, Nikolaj S. Bjørner, W. Schulte
2011International Conference on Logic Programming17 citations
Semantic Scholar
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Gabor Simko, David Lindecker, Tihamer Levendovszky, E. Jackson +2 more
2013European Conference on the Engineering of Computer-Based Systems16 citations
Semantic Scholar
Detecting specification errors in declarative languages with constraints
E. Jackson, W. Schulte, Nikolaj S. Bjørner
2012ACM/IEEE International Conference on Model Driven Engineering Languages and Systems16 citations
Semantic Scholar
Using separation of concerns for embedded systems design
E. Jackson, J. Sztipanovits
2005International Conference on Embedded Software16 citations
Semantic Scholar
The Power of Rich Syntax for Model-based Development
E. Jackson, W. Schulte
200812 citations
Semantic Scholar
Correct-ed through construction: a model-based approach to embedded systems reality
E. Jackson, J. Sztipanovits
2006European Conference on the Engineering of Computer-Based Systems12 citations
Semantic Scholar
A bounded model checking tool for periodic sample-hold systems
Gabor Simko, E. Jackson
2014International Conference on Hybrid Systems: Computation and Control11 citations
Semantic Scholar
Open-World Logic Programs: A New Foundation for Formal Specifications
E. Jackson, W. Schulte, Nikolaj S. Bjørner
201310 citations
Semantic Scholar
FORMULA 2.0: A Language for Formal Specifications
E. Jackson, W. Schulte
2013ICTAC Training School on Software Engineering9 citations
Semantic Scholar
A model-integrated authoring environment for privacy policies
András Nádas, Tihamer Levendovszky, E. Jackson, I. Madari +1 more
2014Science of Computer Programming8 citations Open access
Semantic Scholar
A Module System for Domain-Specific Languages
E. Jackson
2014Theory and Practice of Logic Programming7 citations Open access
Semantic Scholar
Lost in Translation: Forgetful Semantic Anchoring
D. Balasubramanian, E. Jackson
20092009 IEEE/ACM International Conference on Automated Software Engineering7 citations
Semantic Scholar
Cancer treatment planning: Formal methods to the rescue
Janos L. Mathe, J. Sztipanovits, M. Levy, E. Jackson +1 more
2012Software Engineering in Health Care6 citations
Semantic Scholar
Reusing Model Transformations While Preserving Properties
E. Jackson, W. Schulte, D. Balasubramanian, G. Karsai
2010Fundamental Approaches to Software Engineering6 citations Open access
Semantic Scholar
Building Reliable Distributed Systems With P
Ankush Desai, E. Jackson, Amar Phanishayee, S. Qadeer +1 more
20154 citations
Semantic Scholar
Understanding Specification Languages through Their Model Theory
E. Jackson, W. Schulte
2012Monterey Workshop4 citations
Semantic Scholar
Compositional Modeling for Data-Centric Business Applications
E. Jackson, W. Schulte
2008International Conference on Software Composition4 citations
Semantic Scholar
The Software Engineering of Domain-Specific Modeling Languages : A Survey Through Examples
E. Jackson
20074 citations
Semantic Scholar
Playing with Fire : Harnessing the Hottest Technologies for Ultra-Large-Scale Systems
D. Lucrédio, E. Jackson, W. Schulte
20083 citations
Semantic Scholar
Synthesis of Cloud Applications using Logic Programming: BAM!
E. Jackson, W. Schulte, Daniel Lucrdio
20083 citations
Semantic Scholar
A semantic anchoring infrastructure for model-integrated computing
Kai Chen, J. Sztipanovits, Stephen R. Schach, G. Karsai +10 more
20063 citations
Semantic Scholar
Engineering domain-specific languages with formula 2.0
E. Jackson
2013HILT '132 citations
Semantic Scholar
Unifying Product and Software Configuration (Dagstuhl Seminar 14172)
K. Czarnecki, A. Hubaux, E. Jackson, D. Jannach +1 more
2014Dagstuhl Reports1 citations
Semantic Scholar
Proceedings of the 10th international conference on Software composition
Sven Apel, E. Jackson
20111 citations
Semantic Scholar
The Structural Semantics of Model-based Design: Theory and Applications
E. Jackson
20071 citations
Semantic Scholar
Automatically reasoning about metamodeling
E. Jackson, Tihamer Levendovszky, D. Balasubramanian
2013Journal of Software and Systems Modeling0 citations
Semantic Scholar
Detc2012-70534 Foundation for Model Integration: Semantic Backplane
Gabor Simko, Tihamer Levendovszky, S. Neema, E. Jackson +3 more
20120 citations
Semantic Scholar
Finding models in model-based development
W. Schulte, E. Jackson
2011ACM/IEEE International Conference on Model Driven Engineering Languages and Systems0 citations Open access
Semantic Scholar
Software composition: 10th international conference, sc 2011, zurich, switzerland, june 30 july 1, 2
Sven Apel, E. Jackson
20110 citations
Semantic Scholar
The Structural Semantics of Model-based Design: Theory and Applications
E. Jackson
20070 citations
Semantic Scholar
The Model Integrated Computing Approach to Software Architecture
E. Jackson
20070 citations
Semantic Scholar
Under Consideration for Publication in Theory and Practice of Logic Programming a Module System for Domain-specific Languages
E. Jackson
0 citations
Semantic Scholar