ISIS Publications

Export 82 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Title is A  [Clear All Filters]
Book Chapter
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)
Chhokra, K., "Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms", International Symposium on Advanced Radio Technologies, March 2-4, 2004, Boulder, CO, pp. 1--6, March, 2004.  Download: Chhokra_K_3_1_2004_Accuracy_E.pdf (260.38 KB)
Sallai, J., A. Ledeczi, and P. Volgyesi, "Acoustic Shooter Localization with a Minimal Number of Single-Channel Wireless Sensor Nodes", 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011), Seattle, WA, ACM, 11/2011. Abstract  Download: 49.pdf (1.14 MB)
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, and T. Bapty, "The Action Language: Refining a Behavioral Modeling Language", 12th IEEE International Conference on Engineering of Computer Based Systems, Greenbelt, MD, pp. 315--320, April, 2005.
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
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)
Hoffert, J., D. Schmidt, and A. Gokhale, "Adapting Distributed Real-time and Embedded Publish/Subscribe Middleware for Cloud-Computing Environments", ACM/IFIP/USENIX 11th International Middleware Conference (Middleware 2010), Bangalore, India, pp. 21–41, 12/2010.
Howard, L., Z. Remenyi, and G. Pap, "Adaptive blended learning environments", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
Neema, S., T. Bapty, and J. Scott, "Adaptive Computing and Run-time Reconfiguration", Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.  Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "Adaptive Control of a Dual-Arm Robot Manipulator Using On-Line Graphical Simulation", 4th Annual Workshop on Robotics and Expert Systems, Palo Alto, CA, pp. 253--263, 1989.
Yamaura, M., N. Arechiga, S. Shiraishi, S. Eisele, J. Hite, S. Neema, J. Scott, and T. Bapty, "ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA", Japanese Modelica Conference 2016, Tokyo, Japan, Linköping University Press, 2016. Abstract  Download: yamaura.pdf (1.36 MB)
Eisele, S., M. Yamaura, N. Arechiga, S. Shiraishi, J. Hite, J. Scott, S. Neema, and T. Bapty, "ADAS Virtual Prototyping with the OpenMETA Toolchain", SAE 2016 World Congress & Exhibition, Detroit, Michigan, USA, SAE International, 04/2016. Abstract
Howard, L., J. Johnson, G. Pap, K. Pence, and L. Juracz, "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.
Tantawy, A., X. Koutsoukos, and G. Biswas, "Aircraft AC Generators: Hybrid system modeling and simulation", International Conference on Prognostics and Health Management, PHM08, Denver, Colorado, 10/2008.
Howard, L., "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)
Joeng, H., G. Biswas, J. Johnson, and L. Howard, "Analysis of productive learning behaviors in a structured inquiry cycle using hidden Markov models", Proceedings of the 3rd International Conference of Educational Data Mining, Pittsburgh, PA, pp. 81-90, June 2010.
Qiu, F., and Y. Cui, "An analysis of user behavior in online video streaming", Proceedings of the international workshop on Very-large-scale multimedia corpus, mining and retrieval (VLS-MCMR '10), 2010.
Nordstrom, S., S. Shetty, K. Chhokra, J. Sprinkle, B. Eames, and A. Ledeczi, "ANEMIC: Automatic Interface Enabler for Model Integrated Computing", Generative Programming and Component Engineering (GPCE '03), Erfurt, Germany, September, 2003.  Download: Nordstrom_SG_9_22_2003_ANEMIC__Au.pdf (130 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)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007. Abstract  Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
Carl, J. D., G. Biswas, S. Neema, and T. Bapty, "An Approach to Parallelizing the Simulation of Complicated Modelica Models", SCS 2014 Summer Simulation Multi-Conference, Monterey, CA, SCS, 07/2014. Abstract  Download: SCSC_027.pdf (544.53 KB)
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)
Sztipanovits, J., and J. Bourne, "Architecture of Intelligent Medical Instruments", 7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1132--1136, 1985.
Gray, J., T. Bapty, and S. Neema, "Aspectifying Constraints in Model-Integrated Computing", OOPSLA 2000: Workshop on Advanced Separation of Concerns, Minneapolis, MN, October, 2000.  Download: Gray_J_10_0_2000_Aspectifyi.PDF (274.93 KB)
Roselli, R. J., L. Howard, and G. Pap, "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.
Sztipanovits, J., G. Karsai, and C. Biegl, "Automated Testing and Integration of Heterogeneous Systems", Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
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)
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Automatic Domain Model Migration to Manage Metamodel Evolution", 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
Ledeczi, A., C. Biegl, B. Abbott, T. Bapty, and J. Sztipanovits, "Automatic Parallel Program Generation for Aerospace Testing", 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
van Rheeden, D., B. Brown, J. Price, B. Abbott, G. Willden, K. Chhokra, J. Scott, and T. Bapty, "AUTOMATIC POSITIONING OF UAVS TO OPTIMIZE TDOA GEOLOCATION PERFORMANCE", 23rd Digital Avionics Systems Conference (DASC), DASC 2004, Salt Lake City, Utah, October, 2004.
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)
Karsai, G., G. Bloor, and J. Doyle, "Automating Human Based Negotiation Processes for Autonomic Logistics", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)
Chaudhry, J. A., Y. Lee, K. R. Pence, and J. Sztipanovits, "Autonomic Self-Healing for MANETs", 2009 International Conference on Artificial, Las Vegas Nevada, CSREA Press, 06/2009. Abstract  Download: MANET.pdf (205.89 KB)
Conference Proceedings
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.
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.  Download: ipsn07-sallai.pdf (2.56 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)