]
"Using Software Component Generators to Construct a Meta-Weaver Framework",
23rd International Conference on Software Engineering (ICSE 2001), Doctoral Symposium, Toronto, Ontario, Canada, May, 2001.
Download: Gray_J_5_0_2001_Using_Soft.pdf (18.95 KB)
"An Examination of DSLs for Concisely Representing Model Traversals and Transformations",
HICSS-36, Big Island, Hawaii, January, 2003.
Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)
"Handling Crosscutting Constraints in Domain-Specific Modeling",
OOPSLA 2001, Tampa, FL, October, 2001.
Download: Gray_J_10_0_2001_Handling_C.zip (357.1 KB)
"An improved algorithm for hybrid diagnosis of complex systems",
DX-2004, 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.
Download: Gupta_S_6_0_2004_An_improve.doc (612.5 KB)
"Teaching about dynamic processes: A teachable agents approach",
Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Amsterdam, The Netherlands, IOS Press, pp. 241-248, 2005.
"Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming",
Acta Cybernetica, January, 2007.
Download: Hanak_D_1_1_2007_Synthesisi.pdf (320.9 KB)
"Design of a Repository for Bioengineering Educational Materials",
Proceedings of the Biomedical Engineering Society (BMES) Annual Conference, Chicago, Illinios, October, 2006.
"Delay Management in Wireless Networks",
Guide to Wireless Ad Hoc Networks: Springer Science, 2009.
"Mobile Air Pollution Monitoring Network",
ACM 25th Symposium on Applied Computing (SAC), Sierre, Switzerland, ACM, 03/2010.
Abstract
"Dissemination and Presentation of High Resolution Air Pollution Data from Mobile Sensor Nodes",
ACM Southeast Conference, Oxford, MS, 04/2010.
Abstract
"Mobile Air Quality Monitoring and Web-Based Visualization",
Electrical Engineering, vol. Master of Science, Nashville, Vanderbilt University, pp. 49, 12/2009.
"Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis",
Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010.
Abstract
Download: RSP10.pdf (349.64 KB)
"Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach",
SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011.
Abstract
Download: 0037549711401950.full_.pdf (815.53 KB)
"MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems",
International Service Availability Symposium (ISAS), Durham, New Hampshire, USA, 02/2007.
Abstract
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
"Model-driven Engineering for Development-time QoS Validation of Component-based Software Systems",
Engineering of Computer Based Systems Conference, 2007.
"Adapting Distributed Real-time and Embedded Publish/Subscribe Middleware for Cloud-Computing Environments",
ACM/IFIP/USENIX 11th International Middleware Conference (Middleware 2010), Bangalore, India, pp. 21–41, 12/2010.
"Model-Based Engineering of Embedded Real-Time Systems",
Lecture Notes in Computer Science, vol. 6100: Springer, 2011.
"On the Optimality of Layered Video Streaming Rate in a P2P Mesh Network",
IEEE 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
"Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web",
Proceedings of the International Conference on Engineering Education, Pecs-Budapest, Hungary, July, 2008.
"CAPE: A Visual Language for Courseware Authoring",
2nd Workshop on Domain-Specific Visual Languages, Seattle, WA, pp. 45--53, November, 2002.
Download: Howard_LP_11_11_2002_CAPE__A_Vi.pdf (577.45 KB)
"Adaptive Learning Technologies for Bioengineering Education",
IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
"Adaptive blended learning environments",
Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
"Examining learner control in a structured inquiry cycle using process mining",
3rd International Conference on Educational Data Mining, Pittsburgh, PA, pp. 71-80, June 2010.
"An Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications",
AUTOTESTCON 2001, Valley Forge, Pennsylvania, pp. 978--987, August, 2001.
Download: Howard_LP_8_20_2001_An_Algorit.pdf (98.69 KB)
"Reflecting on online learning designs using observed behavior",
Fifteenth Annual Conference on Innovation and Technology in Computer Science Education, Ankara, Turkey, ACM, pp. 179-183, June 2010.
"Development of a reading material recommendation system based on a knowledge engineering approach",
Computers & Education, vol. 55, issue 1, pp. 76 - 83, 08/2010.
"A model-integrated computing approach to nanomaterials simulation",
Theoretical Chemistry Accounts, vol. 132, no. 1, 12/2012.
"Online Information Security Education through Anchored Instruction",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
"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
"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)
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
"Constructive Techniques for Meta- and Model-Level Reasoning",
Models'07, Nashville, TN, 10/2007.
Abstract
Download: jackson_MODELS07.pdf (256.29 KB)
"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.
"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)
"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.
"Mining student behavior models in learning-by-teaching environments",
The First International Conference on Educational Data Mining, Montreal, Canada, pp. 127-136, 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.
"Hybrid Fault Adaptive Control of a Mobile Robot",
ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
"Hybrid Fault Adaptive Control of a Wheeled Mobile Robot",
IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
"Quantitative Measurement of Routing Restoration Strategies for Multi-hop Wireless Networks",
Proc. of Wimesh 2009, Rome, Italy, June, 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.
"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.
"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.
"Optimal Wireless Network Restoration Under Jamming Attack",
18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/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.
"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.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering