]
"A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems",
16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.
Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
"Constraint Animation Using an Object-Oriented Declarative Language",
Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.
Download: Gray_J_4_0_2000_Constraint.doc (101 KB)
"Constraint Guided Self-Adaptation",
Self-Adaptive Software: Applications, LNCS 2614,, pp. 39--51, 2003.
Download: Neema_S_0_0_2003_Constraint.pdf (139.34 KB)
"Constraint-Based Design-Space Exploration and Model Synthesis",
EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
"Constraint-Guided Dynamic Reconfiguration in Sensor Networks",
IPSN '04, Berkeley, California, USA, pp. 379--387, April, 2004.
Download: Kogekar_S_4_26_2004_Constraint.pdf (369.93 KB)
"Constructing a community of practice to improve coursework activity",
Computers & Education, vol. 50, issue 1, pp. 235 - 247, 01/2008.
"Constructive Non-Linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 01/2010.
Abstract
Download: fixed_wing_Nov_08_2010_03_45_PM.pdf (770.84 KB)
"Constructive Techniques for Meta- and Model-Level Reasoning",
Models'07, Nashville, TN, 10/2007.
Abstract
Download: jackson_MODELS07.pdf (256.29 KB)
"Continuous Migration Support for Domain-Specific Languages",
The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
"Control of multiple networked passive plants with delays and data dropouts",
2008 American Control Conference, Seattle, WA, USA, IEEE, pp. 3126-3132, 06/2008.
Abstract
"Control of passive plants with memoryless nonlinearities over wireless networks",
Electrical Engineering, vol. Doctor of, Notre Dame, IN, University of Notre Dame, pp. 196, 08/2007.
Abstract
Download: KottenstetteNE082007.pdf (1.96 MB)
"A Control-Based Framework for Self-Managing Distributed Computing Systems",
ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.
Download: Abdelwahed_S_10_0_2004_A_Control_.pdf (159.55 KB)
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
"Coordination of Planning and Scheduling Techniques for a Distributed, Multi-level, Multi-agent System",
The International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain, 01/2010.
Abstract
Download: Kinnebrew et al - 2010 - ICAART -- Coord Plan & Sched for Distrib Multi-level MAS.pdf (2.18 MB)
"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)
"Countersniper System for Urban Warfare",
ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
"CQML: A QoS Modeling and Modularization Framework for Component-based Systems",
Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.
Download: AQuSerM-2008.pdf (313.72 KB)
"CQML: Aspect-oriented Modeling for Modularizing and Weaving QoS Concerns in Component-based Systems",
16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2009), San Francisco, CA, USA., IEEE, 04/2009.
Download: ECBS-2009.pdf (395.03 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.
"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.
"Cut-Through Message Passing on the TI TMS320C40",
Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.
"A Cyber Physical Systems Perspective on the Real-time and Reliable Information Dissemination in Intelligent Transportation Systems",
International Journal of Network Protocols and Algorithms (IJNPA), Special Issue on Data Dissemination for Large-scale Complex Critical Infrastructures (DD4LCCI), vol. 2, no. 3, pp. 116–136, 2010.
Download: JNPA10-ITS.pdf (413.87 KB)
"Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems",
Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019.
Abstract
Download: MSCPES_paper__Finished_.pdf (941.1 KB)
"Cyber-Physical System Development Environment for Energy Applications",
ASME Power and Energy Conference 2017, Charlotte, USA, 06/2017.
Abstract
"Cyber-Physical Vulnerability Analysis",
ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.
Download: report.pdf (927.21 KB)
CyPhyML Language in the META Toolchain,
, no. ISIS-15-104, 2015.
Download: CyPhyML Language in the META Toolchain.pdf (2.65 MB)
DAnCE: A QoS-Enabled Component Deployment and Configuration Engine,
, vol. 3798, Berlin, Heidelberg, Springer, pp. 67 - 82, 2005.
"A Data Driven Health Monitoring Approach to Extending Small Sats Mission",
ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018.
Abstract
Download: data-driven-health.pdf (2.29 MB)
"Data Driven Methods for Energy Reduction in Large Buildings",
4th IEEE International Conference on Smart Computing(SMARTCOMP 20018), Taormina, Sicily, Italy, IEEE Xplore, 07/2018.
Abstract
Download: Data Driven Methods for Energy Reduction in Large Buildings.pdf (678.98 KB)
"Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks",
ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY , 2019.
Abstract
Download: PHM_traffic_cascades_paper.pdf (1.91 MB)
"Data-Driven Optimization of Public Transit Schedule",
Big Data Analytics (BDA 2019), Ahmedabad, Gujarat, India, Springer, Dec, 2019.
Abstract
Download: bda_2019_optimization.pdf (2.23 MB)
"DAUTI: Automated Universal Traffic Introspector",
International Lisp Conference with ACM SIGPLAN, Cambridge, England, May, 2007.
"Decentralized Control Of Structural Acoustic Radiation",
ASME IMECE, 2001.
Download: Frampton_K_0_0_2001_Decentrali.pdf (359.91 KB)
"Decentralized Vibration Control in a Launch Vehicle Payload Fairing",
International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.
Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)
"A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications",
The Eighth International Symposium on Autonomous Decentralized Systems (ISADS): Sedona, Arizona, pp. 461 -472, 03/2007.
Abstract
Download: Kinnebrew et al - 2007 - ISADS -- Decision-Theoretic Planner w Dynamic Component Reconfig for Distrib RT Apps.pdf (343.84 KB)
Declarative Programming Techniques for Engineering,
: Vanderbilt University, 1988.
"Declarative Techniques for Unparsing Complex Data Structures",
Master's Thesis: Vanderbilt University, April, 2004.
Download: Narayanan_A_4_1_2004_Declarativ.pdf (238.33 KB)
"Decoupling Abstractions of Non-linear Ordinary Differential Equations",
FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016.
Abstract
Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
"Delay Management in Wireless Networks",
Guide to Wireless Ad Hoc Networks: Springer Science, 2009.
"DelayRadar: A Multivariate Predictive Model for Transit Systems",
Big Data (Big Data), 2016 IEEE International Conference on, Dec, 2016.
Abstract
Download: delayradar-multivariate-predictive.pdf (556.02 KB)
"A Deliberative Reasoner for Model-Based Software Health Management",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Abstract
Download: Paper.pdf (369.11 KB)
"Deliberative Reasoning in Software Health Management",
ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.
Download: TechReport2013.pdf (1.29 MB)
"Deliberative, search-based mitigation strategies for model-based software health management",
Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.
Download: Paper.pdf (16.09 MB)
"Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing",
The First IEEE/ACM Symposium on Edge Computing, 2016.
Download: PID4355117.pdf (1.85 MB)
"Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing",
The First IEEE/ACM Symposium on Edge Computing, 2016.
Download: Emfinger et al. - Demo Abstract RIAPS - A Resilient Information Arc.pdf (1.85 MB)
"Deriving Bayesian Classifiers from Flight Data to Enhance Aircraft Diagnosis Models",
Annual Conference of the Prognostics and Health Management Society, Montreal, Canada, 10/2011.
Download: PHM2011CameraFinal.pdf (585 KB)
Design and Implementation of an Execution Environment for Knowledge-Based Systems,
: Vanderbilt University, 1988.
"The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems☆",
Journal of Systems and Software, vol. 80, issue 5, pp. 668 - 677, 05/2007.
"Design and Transformation of Domain-specific Language for Reconfigurable Conveyor Systems",
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments: IGI Global, 2012.
"Design Environment for Dynamically Reconfigurable Embedded Systems",
Proceedings of the High Performance Embedded Computing '99, MIT Lincoln Laboratory, MA, September, 1999.
Download: Bapty_T_9_0_1999_Design_Env.pdf (7.37 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering