] Filters: First Letter Of Last Name is H [Clear All Filters]
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis,
, Nashville, TN, Vanderbilt University, 09/2010.
Download: ESMoL_TR.pdf (3.99 MB)
"Development of a reading material recommendation system based on a knowledge engineering approach",
Computers & Education, vol. 55, issue 1, pp. 76 - 83, 08/2010.
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
"Dissemination and Presentation of High Resolution Air Pollution Data from Mobile Sensor Nodes",
ACM Southeast Conference, Oxford, MS, 04/2010.
Abstract
"Mobile Air Pollution Monitoring Network",
ACM 25th Symposium on Applied Computing (SAC), Sierre, Switzerland, ACM, 03/2010.
Abstract
"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.
Recent Advances in Multi-paradigm Modeling,
, Berlin, Heidelberg, Springer, pp. 220-224, 2010.
Abstract
"Mobile Air Quality Monitoring and Web-Based Visualization",
Electrical Engineering, vol. Master of Science, Nashville, Vanderbilt University, pp. 49, 12/2009.
"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.
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems,
, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 05/2009.
Abstract
Download: models_paper_tr_aces_update.pdf (528.51 KB); ModelsPaper.pdf (523.78 KB)
"Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2",
Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009.
Abstract
Download: C4I-09-07.pdf (717.63 KB)
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
"Digital Control of Multiple Discrete Passive Plants Over Networks",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-16, 03/2009.
Abstract
Download: tr_power_junction_revised_8_2009.pdf (1.12 MB)
"Delay Management in Wireless Networks",
Guide to Wireless Ad Hoc Networks: Springer Science, 2009.
"Wireless Acoustic Emission Sensor Network for Structural Monitoring",
IEEE Sensors Journal, 2009.
Abstract
"Online Information Security Education through Anchored Instruction",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
"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.
"Integration of an Intelligent Tutoring System with a Web-based Authoring System to Develop Online Homework Assignments with Formative Feedback",
Proceedings of the American Society for Engineering Education Annual Conference, Pittsburgh, PA, USA, July, 2008.
"Passivity-Based Design of Wireless Networked Control Systems for Robustness To Time-Varying Delays",
29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, IEEE, pp. 15-24, 12/2008.
Abstract
"Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-17, 08/2008.
Download: passivity_isis_tr_08-904_revised_2_15_11.pdf (648.14 KB); Passivity_isis_tr_08_904_original.pdf (462.44 KB)
"Passivity-Based Control Design for Cyber-Physical Systems",
International Workshop on Cyber-Physical Systems - Challenges and Applications (CPS-CA’08), Santorini Island, Greece, 06/2008.
Abstract
"Assessment of Diagnostics and Feedback for Online Homework Assignments",
Proceeding of the Annual Biomedical Engineering Society (BMES) Annual Conference, Los Angeles, CA, USA, September, 2007.
"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)
"Model-driven Engineering for Development-time QoS Validation of Component-based Software Systems",
Engineering of Computer Based Systems Conference, 2007.
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
"A Multi-Agent Architecture Provides Smart Sensing for the NASA Sensor Web",
The 2007 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -9, 03/2007.
Abstract
Download: Suri et al - 2007 - IEEE Aerospace -- Multi-Agent Architecture for Smart Sensing in NASA Sensor Web.pdf (10.59 MB)
"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
"Design of a Repository for Bioengineering Educational Materials",
Proceedings of the Biomedical Engineering Society (BMES) Annual Conference, Chicago, Illinios, October, 2006.
"Facilitating the design of diagnostic learning modules with CAPE",
Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
"Adaptive blended learning environments",
Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
"Introducing security in a chemical engineering design course using adaptive online learning",
Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
"A computer-based free body diagram assistant",
Computer Applications in Engineering Education, vol. 14, no. 4, pp. 281-290, 2006.
"Integration of formative assessment into online engineering assignments",
Computers in Education, vol. 16, no. 4, pp. 8-17, 2006.
"Onboard Processing using the Adaptive Network Architecture",
The Sixth Annual NASA Earth Science Technology Conference, College Park, Maryland, 06/2006.
Abstract
Download: Suri et al - 2006 - NASA ESTC -- Onboard Processing using the Adaptive Network Architecture.pdf (302.24 KB)
"CSC: Criticality-Sensitive Coordination",
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach",
Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.
Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
"Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems",
Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April, 2005.
Download: ISIS_4_6_2005_Prototype_.pdf (897.19 KB)
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
"Synthesis of Robust Task Schedules for Minimum Disruption Repair",
IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004.
Abstract
Download: RobustTaskSchedules.pdf (370.75 KB)
"Creation of an online vector addition tutorial: Exploring the advantages of providing diagnostic, multilevel feedback in basic skills remediation",
Proceedings of the American Society of Engineering Education Annual Conference, Nashville, TN, June, 2003.
"Adaptive Learning Technologies for Bioengineering Education",
IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
"Development of online homework problems that provide instant feedback and remediation to students",
Annual BMES Conference, Nashville, TN, 2003.
"Integration of an Interactive Free Body Diagram Assistant with a Courseware Authoring Package and an Experimental Learning Management System",
Proceedings of the American Society for Engineering Education Annual Conference, Nashville, TN, 2003.
"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)
"An Evolvable Tri-Reasoner IVHM System",
2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.
Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
"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)
"Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing",
4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.
Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
"An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems",
Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 163--170, June, 2000.
"Parallel Asynchronous Algorithms for Optimal Control of Large-scale Dynamic Systems",
Optimal Control Applications and Methods, vol. 18, July, 1997.
Download: Abdelwahed_S_7_0_1997_Parallel_A.pdf (178.49 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering