Home

ISIS Publications

Export 867 results:
Sort by: Author Title Type [ Year (Desc)]
Submitted
Tantawy, A., X. Koutsoukos, and G. Biswas, "Aircraft Generators: Hybrid Modeling and Simulation for Fault Detection", IEEE Transactions on Aerospace and Electronic Systems, Submitted.
Kulkarni, C., J. Celaya, K. Goebel, and G. Biswas, "Model Based DC-DC converter system for Fault Diagnosis and Prognosis", IEEE Transactions on Industrial Electronics, Submitted.
Myers, M. R., A. B. Jorge, D. E. Yuhas, and G. D. Walker, "Using Ultrasound and the Extended Kalman Filter for Characterizing Aerothermodynamic Environments", AIAA Journal, Submitted.
2013
Nadas, A., L. Juracz, J. Sztipanovits, M. E. Frisse, and A. J. Olsen, "PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care", Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, California, USA, ACM and IEEE Digital Libraries, 05/2013. Abstract  Download: icsews13sehc-id14-p-16536-preprint.pdf (648 KB)
Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "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)
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", ECBS, Phoenix, AZ, IEEE, 04/2013.  Download: ECBS2013.pdf (416.4 KB)
Pradhan, S., W. R. Otte, A. Dubey, A. Gokhale, and G. Karsai, Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft, , APRES 2013, ACM SIGBED, 04/2013. Abstract  Download: apres13.pdf (162.07 KB)
Otte, W. R., A. Dubey, S. Pradhan, P. R. Patil, A. Gokhale, G. Karsai, and J. Willemsen, "F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments", 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.  Download: F6COM-ISORC2013.pdf (1.05 MB)
Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract  Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "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.
Antypas, W., K. Avery, E. Burke, J. Dusio, M. Eby, S. Frerking, J. Hegedus, P. Huyck, W. Kimmel, S. Mulholland, et al., "Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture", FACE Consortium, 2.0: The Open Group, 2013.
2012
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, particle filter, and least squares localization methods for a high heat flux concentrated source", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2219 - 2228, 4/2012.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "High heat flux point source sensitivity and localization analysis for an ultrasonic sensor array", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2472 - 2485, 4/2012.
Iacovella, C. R., G. Varga, J. Sallai, S. Mukherjee, A. Ledeczi, and P. T. Cummings, "A model-integrated computing approach to nanomaterials simulation", Theoretical Chemistry Accounts, vol. 132, no. 1, 12/2012.
An, K., S. Pradhan, F. Caglar, and A. Gokhale, "A Publish/Subscribe Middleware for Dependable and Real-time Resource Monitoring in the Cloud", SDMCMM '12 Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, Montreal, Quebec, Canada, 12/2012.  Download: SDMCMM2012.pdf (158.98 KB)
Pradhan, S., A. Gokhale, W. R. Otte, and G. Karsai, Real-time Fault Tolerant Deployment and Configuration Framework for Cyber Physical Systems, , RTSS-WiP, ACM SIGBED, 12/2012. Abstract  Download: main.pdf (79.96 KB)
An, K., "Resource Management and Fault Tolerance Principles for Supporting Distributed Real-time and Embedded Systems in the Cloud", MIDDLEWARE '12 Proceedings of the 9th Middleware Doctoral Symposium of the 13th ACM/IFIP/USENIX International Middleware Conference, Montreal, Quebec, Canada, 12/2012.  Download: MDS2012.pdf (133.49 KB)
Shi, J., R. Amgai, S. Abdelwahed, A. Dubey, J. Humphreys, M. Alattar, and R. Jia, "Generic Modeling and Analysis Environment Design for Shipboard Power System", Marinelive, 11/2012.  Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Accelerated Aging Experiments for Capacitor Health Monitoring and Prognostics", IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012.
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Bayesian Framework Approach for Prognostic Studies in Electrolytic Capacitor under Thermal Overstress Conditions", Annual Conference of the Prognostics and Health Management Society, Minneapolis, MN, PHM Society, 09/2012. Abstract
Kulkarni, C., J. Celaya, K. Goebel, and G. Biswas, "Prognostics of Power Electronics, methods and validation experiments", IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012. Abstract
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: Fault Isolation in Complex Systems.pdf (374.6 KB)
Sallai, J., "Collision forecasting: A low-power MAC with traffic and power shaping", Ad Hoc Networking Workshop (Med-Hoc-Net), 2012 The 11th Annual Mediterranean, Agia Napa, Cyprus, IEEE, pp. 39–46, 07/2012.
Carl, J. D., A. Tantawy, G. Biswas, and X. D. Koutsoukos, "Detection and Estimation of Multiple Fault Profiles Using Generalized Likelihood Ratio Tests: A Case Study", Sysid 2012, 16th IFAC Symposium on System Identification, Brussels, Belgium, pp. 386-391, 07/2012. Abstract  Download: Detection and Estimation of Multiple Fault Profiles.pdf (422.13 KB)
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Physics Based Electrolytic Capacitor Degradation Models for Prognostic Studies under Thermal Overstress", 1st European Conference of the Prognostics and Health Management Society, Dresden, Germany, 07/2012.
LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.  Download: HiCoNSISISTech.pdf (1005.39 KB)
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Prognostics Health Management and Physics based failure Models for Electrolytic Capacitors", AIAA Infotech@Aerospace Conference, Garden Grove, CA, American Institute of Aeronautics and Astronautics,, 06/2012.  Download: AIAA2012_Final_Kulkarni_Celaya_Biswas_Goebel1.pdf (385.28 KB)
Li, B., J. Sallai, P. Volgyesi, and A. Ledeczi, "Rapid Prototyping of Image Processing Workflows on Massively Parallel Architectures", Workshop on Intelligent Solutions in Embedded Systems, Klagenfurt, Austria, 06/2012. Abstract
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)
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, ultrasound time-of-flight measurement models for heating source localization", Inverse Problems in Science and Engineering, pp. 1 - 26, 04/2012.
Dubey, A., G. Karsai, and N. Mahadevan, "Formalization of a Component Model for Real-time Systems", ISIS Technical Report, 04/2012. Abstract  Download: ISIS-12-102-TechReport.pdf (1.3 MB)
Balasubramanian, D., C. S. Pasareanu, J. Biatek, T. Pressburger, G. Karsai, M. R. Lowry, and M. W. Whalen, "Integrating Statechart Components in Polyglot", NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012. Abstract
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)
Mehrotra, R., A. Dubey, S. Abdelwahed, and K. W. Rowland, "RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.  Download: RFDMON.pdf (752.16 KB)
Dubey, A., W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose, "A Software Platform for Fractionated Spacecraft", 2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012. Abstract  Download: aerospace12-1473.pdf (4.2 MB)
Juracz, L., and L. Howard, "Architectural Framework for Generic Modeling and Diagramming in the Cloud", International Journal of Digital Information and Wireless Communications, vol. Vol. 1, no. No. 2, 02/2012.
Dubey, A., N. Mahadevan, and G. Karsai, "The Inertial Measurement Unit Example: A Software Health Management Case Study", ISIS Technical Report, no. ISIS-12-101, 02/2012. Abstract  Download: TechReport_IMU.pdf (1.49 MB)
Bapty, T., J. Davis, M. Eby, and J. Scott, "Model Based Development in the FACE Ecosystem", FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Towards a Versatile Wireless Platform for Low-power Applications", International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
Celaya, J., C. Kulkarni, G. Biswas, and K. Goebel, "Accelerated Aging in Electrolytic Capacitors for Prognostics", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Celaya, J., S. Abhinav, C. Kulkarni, S. Sankalita, and G. Kai, "Prognostics Approach for Power MOSFET under Thermal-Stress Aging", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Ledeczi, A., and M. Maroti, "Wireless Sensor Node Localization", Philosophical Transactions of the Royal Society A, vol. 370, no. 1958, pp. 85-99, 01/2012. Abstract
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "An Adaptive Extended Kalman Filter for Localizing a High Heat Flux Point Source Using an Ultrasonic Sensor Array", Computer Modeling in Engineering and Sciences, vol. 83, no. 3, pp. 27, 2012.
An, K., A. Trewyn, A. Gokhale, and S. Sastry, "Design and Transformation of Domain-specific Language for Reconfigurable Conveyor Systems", Formal and Practical Aspects of Domain-Specific Languages: Recent Developments: IGI Global, 2012.
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, vol. SSMI 1, Berlin Heidelberg, Springer-Verlag, pp. 43–68, 2012.
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)
Monceaux, W. P., D. E. Evans, K. N. Rappold, C. D. Butler, S. Abdelwahed, R. Mehrotra, and A. Dubey, "Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services", DoD High Performance Computing Modernization Program Users Group Conference: DTIC Document, pp. 422, 2012.
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.