] Filters: First Letter Of Last Name is M [Clear All Filters]
"Fault-Adaptivity in Hard Real-Time Component-Based Software Systems",
Software Engineering for Self-Adaptive Systems, vol. 2, 2012.
Download: BookChapter.pdf (1.83 MB)
"Interferometry in Wireless Sensor Networks",
Interferometry - Research and Applications in Science and Technology: InTech, 2012.
"Model-based Tools and Techniques for Real-Time System and Software Health Management",
Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
"A Power-aware Modeling and Autonomic Management Framework for Distributed Computing Systems",
Handbook of Energy-Aware and Green Computing: CRC Press, 2012.
Download: paper.pdf (5.34 MB)
"Abstractions for Modeling Complex Systems",
ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016.
Abstract
Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)
"Accurate Real-Time Relative Localization Using Single-Frequency GPS",
The ACM Conference on Embedded Networked Sensor Systems (SenSys '14), Memphis, TN, USA, ACM, 11/2014.
Abstract
Download: Accurate Real-Time Relative Localization Using Single-Frequency GPS.pdf (3.35 MB)
"Acoustic Ranging in Resource-Constrained Sensor Networks",
ICWN '04, Las Vegas, Nevada, USA, June, 2004.
Download: Sallai_J_6_21_2004_Acoustic_R.doc (224 KB)
"An Adaptable, Cost Effective Image Processing System",
The 10th JANNAF Non-destructive Evaluation Sub Committee, Salt Lake City, UT, pp. 1--5, March, 1998.
Download: Nichols_JA_3_0_1998_An_Adaptab.pdf (120.75 KB)
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)
"Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model",
The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012.
Abstract
Download: Paper.pdf (336.83 KB)
"Automated, Real-Time Validation of Turbine Engine Test Data Using Explicit Parallelization on an Eight-Processor Pentium Platform",
13th ISABE International Symposium on Airbreathing Engines, paper# ISABE 97-7144, Chattanooga, TN, September, 1997.
Download: Biegl_C_9_0_1997_Automated_.pdf (178.81 KB)
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
"A Case Study in Applying QoS Adaptation and Model-Based Design to the Design-Time Optimization of Signal Analyzer Applications",
the Military Communications Conference MILCOM, Monterey, CA, August, 2004.
"A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems",
4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Budapest, Hungary, pp. 1074--1079, June, 2000.
Download: Manders_EJ_6_0_2000_A_Combined.pdf (307.63 KB)
"A component-based approach for modeling failure propagations in power systems",
Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015.
Abstract
"Computation of things for human protection and fulfillment",
Technologies for Homeland Security (HST), 2010 IEEE International Conference on, Waltham, MA, pp. 153 -159, 11/2010.
Abstract
Download: Zander et al - 2010 -- Computation of Things for Human Protection & Fulfillment.pdf (1.28 MB)
"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)
"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)
"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.
"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)
"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 Space Exploration and Manipulation for Cyber Physical Systems",
IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014.
Abstract
Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
"Development of a Near-Real-Time Turbine Engine Testing Diagnostic System Using Feature Extraction Algorithms",
13th ISABE International Symposium on Airbreathing Engines, paper #ISABE 97-7143, Chattanooga, TN, September, 1997.
Download: Malloy_D_9_0_1997_Developmen.pdf (332.61 KB)
"Diagnosability of Dynamical Systems",
Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.
Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
"Diagnosis of a Continuous Dynamic System from Distributed Measurements",
17th IEEE Instrumentation and Measurement Technology Conference - IMTC'2000, Baltimore, MD, pp. 546--551, May, 2000.
Download: Manders_EJ_5_0_2000_Diagnosis_.pdf (432.04 KB)
"Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams",
Seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, October, 1996.
Download: Sztipanovi_J_10_0_1996_Diagnosis_.pdf (71.52 KB)
"Diagnostics and Integration in Electric Utilities",
IEEE Rural Electric Power Conference, Louisville, KY, pp. C2-1 throu, May, 2000.
Download: Moore_MS_5_0_2000_Diagnostic.pdf (491.92 KB)
"Directed Flood-Routing Framework for Wireless Sensor Networks",
Middleware 2004, Toronto, Canada, October, 2004.
Download: Maroti_M_10_0_2004_Directed_F.pdf (357.94 KB)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"Distributed Middleware Services Composition and Synthesis Technology",
IEEE Aerospace, Big Sky, MT, March, 2003.
Download: Maroti_M_3_8_2003_Distribute.pdf (251.28 KB)
"Domain Independent Generative Modeling",
ECBS '04, Brno, Czech Republic, May, 2004.
Download: Kusy_B_5_24_2004_Domain_Ind.pdf (51.97 KB)
"A DSP-Based Real-Time Image Processing System",
The 6th International Conference on Signal Processing Applications and Technology (ICSPAT95), Boston, MA, pp. 1042--1046, August, 1995.
Download: Moore_MS_8_0_1995_A_DSP_Base.pdf (131.96 KB)
"Enabling Cross-Domain Collaboration in Molecular Dynamics Workflows",
The Fourth International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2014), Seville, Spain, IARIA, 06/2014.
Abstract
Download: colla_2014_2_40_60052.pdf (1009.97 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)
"Evolutionary Design for Manufacturing Execution Systems",
World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 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 Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"Fault adaptive control: towards robust operation of autonomous systems",
Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.
Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
"Fault Detection and Isolation for Spacecraft Systems: An Application to a Power Distribution Testbed",
SAFEPROCESS 2012, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 168-173, 08/2012.
Abstract
Download: SAFEPROCESS.pdf (389.84 KB)
"FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation",
5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 347--352, June, 2003.
Download: Manders_EJ_6_0_2003_FDI_of_abr.pdf (110.05 KB)
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Fusion-based localization for a Heterogeneous camera network",
ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.
"A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties",
IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.
Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
"The Generic Modeling Environment",
Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.
Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
"Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems",
35th SAE International Conference on Environmental Studies (ICES '05), Rome, Italy, July, 2005.
Download: Abdelwahed_S_7_0_2005_Hierarchic.pdf (358.43 KB)
"High-Accuracy Differential Tracking of Low-Cost GPS Receivers",
ACM 11th International Conference on Mobile Systems, Applications, and Services (MobiSys '13), Taipei, Taiwan, ACM, 06/2013.
Abstract
Download: mobisys229-hedgecock.pdf (3.74 MB)
"Implementing a Model-Based Design Environment for Clinical Information Systems",
Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS 2007), Nashville, TN, 09/2007.
Abstract
Download: Mathe.et_.al-MOTHIS.2007.Paper-Implementing_MICIS.pdf (675.25 KB)
"Integrated Analysis Environment for High Impact Systems",
Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.
Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering