] Filters: First Letter Of Last Name is J [Clear All Filters]
"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs",
Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011.
Abstract
"Constructive Techniques for Meta- and Model-Level Reasoning",
Models'07, Nashville, TN, 10/2007.
Abstract
Download: jackson_MODELS07.pdf (256.29 KB)
"Using Separation of Concerns for Embedded Systems Design",
EMSOFT '05, Jersey City, New Jersey, September, 2005.
Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
"Formalizing the Structural Semantics of Domain-Specific Modeling Languages",
Journal of Software and Systems Modeling (SoSym), vol. In Press, 2009.
Download: jackson_sztipanovits_sysym_2009.pdf (1.53 MB)
The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples,
: Institute for Software Integrated Systems, March 2007.
Download: Jackson_EK_3_0_2007_The_Softwa.pdf (979.48 KB)
"Reusing Model Transformations While Preserving Properties",
Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
"Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality",
13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.
Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
"Integration of Clinical Workflows with Privacy Policies on a Common Semantic Platform",
2nd International Workshop on Model-Based Design of Trustworthy Health Information Systems (MOTHIS 2008), Toulouse, France, 09/2008.
"Using hidden markov models to characterize student behaviors in learning-by-teaching environments",
In Intelligent Tutoring Systems: Vol. 5091. Lecture Notes in Computer Science, Montreal, Canada: Springer., pp. 614-625, 2008.
"Mining student behavior models in learning-by-teaching environments",
The First International Conference on Educational Data Mining, Montreal, Canada, pp. 127-136, 2008.
"Hybrid Fault Adaptive Control of a Wheeled Mobile Robot",
IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
"Hybrid Fault Adaptive Control of a Mobile Robot",
ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
"Optimal Wireless Network Restoration Under Jamming Attack",
18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
"Minimum Disruption Service Composition and Recovery in Mobile Ad Hoc Networks",
Computer Networks, Special Issue on Autonomic and Self-Organizing Systems, vol. 53, no. 10, pp. 1665, 07/2009.
"Robust Medical Data Delivery for Wireless Pervasive Healthcare",
IEEE International Conference on Dependable, Autonomic and Secure Computing (International Workshop on Smart Homes for Tele-Health (SmarTel) co-located with), Chengdu, China, 12/2009.
"Quantitative Measurement of Routing Restoration Strategies for Multi-hop Wireless Networks",
Proc. of Wimesh 2009, Rome, Italy, June, 2009.
"Providing Survivability against Jamming Attack via Joint Dynamic Routing and Channel Assignment",
Proceedings of the 7th International Workshop on the Design of Reliable Communication Networks (DRCN), Washington, DC, 10/2009.
"Providing Survivability against Jamming Attack for Multi- Radio Multi-Channel Wireless Mesh Networks",
Journal of Network and Computer Applications, Special Issue on Efficient and Robust Security of Wireless Mesh Networks, vol. 34, no. 2, pp. 454, 2011.
"Analysis of productive learning behaviors in a structured inquiry cycle using hidden Markov models",
Proceedings of the 3rd International Conference of Educational Data Mining, Pittsburgh, PA, pp. 81-90, June 2010.
"A Model-based Prognostics Methodology for Electrolytic Capacitors Based on Electrical Overstress Accelerated Aging",
Annual Conference of the Prognostics and Health Management Society (PHM 2011), Montreal, Canada, Prognostics and Health Management Society, 10/2011.
"Towards Prognostics of Electrolytic Capacitors",
Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
"Prognostic Studies and Physics of failure mod- eling under High Electrical Stress for Electrolytic Capacitors",
International Journal of Prognostics and Health Management, vol. 4, no. 2013, 2013.
"HoloRena: a framework for developing flow-driven web-based educational games",
IEEE Learning Technology, Special Issue on Game Based Learning, vol. 12, no. 1, 01/2010.
"Developing courses with HoloRena, a framework for scenario- and game based e-learning environments",
International Journal of Software Engineering & Applications (IJSEA), vol. 1, no. 4, pp. 1-17, 10/2010.
"Architectural Framework for Generic Modeling and Diagramming in the Cloud",
International Journal of Digital Information and Wireless Communications, vol. Vol. 1, no. No. 2, 02/2012.
"Towards a Generic Cloud-based Modeling Environment",
International Conference on Digital Information Processing and Communications, Ostrava, Czech Republic, 07/2011.
Abstract
"VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design",
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014.
Abstract
Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering