ISIS Publications

Export 241 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Book Chapter
Dubey, A., G. Karsai, and N. Mahadevan, "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)
Szilvasi, S., P. Volgyesi, J. Sallai, A. Ledeczi, and M. Maroti, "Interferometry in Wireless Sensor Networks", Interferometry - Research and Applications in Science and Technology: InTech, 2012.
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "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.
Conference Paper
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "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)
Nichols, J., and M. Moore, "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)
Mahadevan, N., A. Dubey, and G. Karsai, "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)
Mahadevan, N., A. Dubey, and G. Karsai, "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)
Biegl, C., D. Malloy, and M. Chappell, "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)
Madl, G., S. Abdelwahed, and G. Karsai, "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)
Manders, E. J., S. Narasimhan, G. Biswas, and P. Mosterman, "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)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "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
Zander, J., P. J. Mosterman, J. S. Kinnebrew, and G. Biswas, "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)
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "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.
Dubey, A., N. Mahadevan, and G. Karsai, "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)
Mack, D. L. C., G. Biswas, X. Koutsoukos, D. Mylaraswamy, and G. Hadden, "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)
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "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)
Malloy, D., C. Biegl, J. Zakrajsek, and C. Fulton, "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)
Misra, A., J. Sztipanovits, A. Underbrink, R. Carnes, and B. Purves, "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)
Manders, E. J., and L. Barford, "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)
Sztipanovits, J., and A. Misra, "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)
Moore, M., S. Monemi, J. Wang, J. Marble, and S. Jones, "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)
Moore, M., "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)
Varga, G., J. Sallai, A. Ledeczi, C. R. Iacovella, C. McCabe, and P. T. Cummings, "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)
Misra, A., E. Long, and J. Sztipanovits, "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)
Atlas, L., G. Bloor, T. Brotherton, L. Howard, L. Jaw, G. Kacprzynski, G. Karsai, R. Mackey, J. Mesick, R. Reuter, et al., "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)
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "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)
Carl, J. D., D. L. C. Mack, A. Tantawy, G. Biswas, and X. D. Koutsoukos, "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)
Manders, E. J., and G. Biswas, "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)
Sztipanovits, J., R. Carnes, and A. Misra, "Finite-State temporal Automata Modeling for Fault Diagnosis", Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
Ledeczi, A., S. Sastry, M. Meingast, M. Kushwaha, S. Oh, and X. Koutsoukos, "Fusion-based localization for a Heterogeneous camera network", ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "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)
Ledeczi, A., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "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)
Abdelwahed, S., J. Wu, G. Biswas, and E. J. Manders, "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)
Hedgecock, W., M. Maroti, J. Sallai, P. Volgyesi, and A. Ledeczi, "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)
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "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)