Ethan's Publications
 |
Here you will find a list of publications and presentations. As per copyright requirements, the versions of papers available
here are the latest versions and may differ from the original published versions.
|
Model-based Design for Cloud Computing
|
 |
|
1. Jackson E.K., Lucredio D., Schulte W.: Synthesis of Cloud Applications using Logic Programming: BAM!, Under review, Submitted September 2008.
|
|---|
 |
 |
|
2. Lucredio D., Jackson E.K., Schulte W.: Playing with Fire: Harnessing the Hottest
Technologies for Ultra-Large-Scale Systems, Monterey Workshop, September 2008.
|
|---|
|
|
|
3. Jackson E.K., Schulte, W.: Compositional Modeling for Data-Centric
Business Applications, Proceedings of the 7th International Symposium Software Composition (at ETAPS), March 2008.
|
|---|
Structural Semantics of Domain Specific Languages
|
 | |
4. Jackson E.K., Schulte W., Sztipanovits J.: The Power of Rich Syntax for Model-based Development,
Under review, 2008. (Available as MSR technical report.) |
|---|
|
| |
5. Jackson E.K., Schulte W.: Model Generation for Horn Logic with Stratified Negation,
Proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems, June 2008. (Invited Paper.) |
|---|
|
| |
6. Jackson E.K., Sztipanovits J.: Formalizing
The Structural Semantics of Domain-Specific Modeling Languages, Special Issue on Metamodeling,
Journal of Software and Systems Modeling, 2008.
|
|---|
|
|
|
7. Jackson E.K., Sztipanovits J.: Constructive Techniques for Meta- and Model-level Reasoning,
Proceedings of the 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'07),
Nashville, TN, October 2007.
|
|---|
| | |
|
8. Jackson E.K., Sztipanovits J.: Towards a Formal Foundation for Domain Specific Modeling Languages,
Proceedings of the 6th ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, October 2006.
|
|---|
|
|
|
9. Jackson E.K.: Models as Structures: The Structural Semantics of Model-based Design,
Presentation at Microsoft Research, Redmond, Washington, January 2007.
|
|---|
Separation of Concerns in Model-based Design
|
|
|
10. Jackson E.K., Sztipanovits J.: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality,
Proceedings of the 13th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS’06),
Potsdam, Germany, March 2006.
|
|---|
|
|
|
11. Jackson E.K., Sztipanovits J.: Using Separation of Concerns for Embedded Systems Design,
Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT’05), Jersey City, New Jersey, September 2005.
|
|---|
|
|
|
12. Jackson E.K.: From Models to Systems: Applications of Model-based Design,
Presentation at Microsoft Research, Redmond, Washington, December 2006.
|
Semantic Anchoring of Domain Specific Languages
|
|
|
13. Chen K., Sztipanovits J., Abdelwahed S., Jackson E.K.: Semantic Anchoring with Model Transformations,
Proceedings of the European Conference on Model-driven Architecture– Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November 2005.
|
Mixed Signal Simulation
|
|
|
16. Kahrs M., Levitan S.P., Chiarulli D.M., Kurzweg T.P., Martinez J.A., Boles J., Davare A.J., Jackson E.K., Windish C., Kiamilev F, Bhaduri A.,
Taufik M., Xingle W., Morris A.S., Repke J., Kruchowski J, Gilbert B.K.: Signal Integrity Evaluation of a 10 Gbits/sec
Optoelectronic Interconnect,
Microwave Symposium Digest, 2003 IEEE MTT-S International, Volume: 2, 8-13 June 2003 Page(s): 1211-1214 vol. 2.
|
|
|
|
17. Kahrs M., Levitan S.P., Chiarulli D.M., Kurzweg T.P., Martinez J.A., Boles J., Davare A.J., Jackson E.K., Windish C., Kiamilev F., Bhaduri A,
Taufik M., Xingle W., Morris A.S., Kruchowski J., Gilbert B.K.:
System-level Modeling and Simulation of the 10G Optoelectronic Interconnect, IEEE Journal of Lightwave Technology, 2003.
|
