Home

ISIS Publications

Export 1098 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
Potteiger, B., W. A. Emfinger, H. Neema, X. Kousoukos, C. Y. Tang, and K. Stouffer, "Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed", Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017. Abstract
Franke, H., and C. Biegl, "Evaluation of a Graph Computational Model on an IBM SP2 Scalable Workstation Cluster", Proceedings of the 1998 IEEE Conference on Engineering of Computer-Based Systems, Jerusalem, FC, pp. 166--173, March, 1998.
Daigle, M., X. Koutsoukos, and G. Biswas, "An Event-based Approach to Integrated Parametric and Discrete Fault Diagnosis in Hybrid Systems", Transactions of the Institute of Measurement and Control, Special Issue on Hybrid and Switched Systems, vol. 32, no. 5, pp. 487-510, 2010.
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)
Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", Computer, vol. 43, no. May, pp. 34-40, 05/2010.
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 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.
Gray, J., and G. Karsai, "An Examination of DSLs for Concisely Representing Model Traversals and Transformations", HICSS-36, Big Island, Hawaii, January, 2003.  Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)
Howard, L., J. Johnson, and C. Neitzel, "Examining learner control in a structured inquiry cycle using process mining", 3rd International Conference on Educational Data Mining, Pittsburgh, PA, pp. 71-80, June 2010.
Gray, J., T. Bapty, and S. Neema, "An Example of Constraint Weaving in Domain-Specific Modeling", OOPSLA 2001 Workshop on Domain-Specific Visual Languages, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_An_Example.pdf (410.7 KB)
Sztipanovits, J., "Execution Environment for Intelligent Real-time Control Systems", NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Execution Environment for Intelligent Real-Time Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
Nordstrom, S., Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems, , OMG First Annual Model-Integrated Computing (MIC) Workshop, Arlington, VA, USA, Institute for Software Integrated Systems, October, 2004.  Download: Nordstrom_SG_10_0_2004_Experience.ps (23.25 KB)
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Experiment Design Language for Intelligent MRI Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
Porter, J., P. Volgyesi, N. Kottenstette, H. Nine, G. Karsai, and J. Sztipanovits, "An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software", 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009. Abstract
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.
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. J. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, Berlin Heidelberg, Springer-Verlag, 2012.
Kulkarni, C., G. Biswas, X. Koutsoukos, K. Goebel, and J. Celaya, "Experimental studies of ageing in electrolytic capacitors", Annual Conference of the Prognostics and Health Management Society 2010, Porltand, OR, Prognostics and Health Management Society, 10/2010. Abstract
Szilvasi, S., and P. Volgyesi, "An Experimental Wireless platform for Acoustic Source Localization", Networked Digital Technologies Proceedings, Part II, Prague, Czech Republic, Springer, pp. 289–295, 07/2010.
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
Pasternak, T., Extended Relational Models for Diagnosis, : Vanderbilt University, August, 2000.
Biswas, G., T. Katzlberger, J. Bransford, and D. Schwartz, "Extending intelligent learning environments with teachable agents to enhance learning", Artificial Intelligence in Education, Amsterdam, IOS Press, 2001.
Volgyesi, P., S. Szilvasi, J. Sallai, and A. Ledeczi, "External smart microphone for mobile phones", Sensing Technology (ICST), 2011 Fifth International Conference on, Palmerston North, pp. 171-176, 12/2011.
F
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)
Roselli, R. J., and L. Howard, "Facilitating the design of diagnostic learning modules with CAPE", Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
Wu, T., Y. Cui, B. Kusy, A. Ledeczi, J. Sallai, N. Skirvin, J. Werner, and Y. Xue, "A Fast and Efficient Source Authentication Solution for Broadcasting in Wireless Sensor Networks", New Technologies, Mobility and Security, Paris, France, 05/2007.
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)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.  Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy, "Fault-Adaptive Control: A CBS Application", ECBS-2001, Washington, DC, February, 2001.  Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 KB)
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)
Tambe, S., A. Dabholkar, and A. Gokhale, "Fault-tolerance for Component-based Systems – An Automated Middleware Specialization Approach", The 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2009), Tokyo, Japan, IEEE, 03/2009.  Download: ISORC-2009.pdf (503.97 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)
Bapty, T., J. Gray, and S. Neema, February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, , San Diego, CA, Institute for Software Integrated Systems, February, 2001.  Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)
Barve, Y., S. Shekhar, A. Chhokra, S. Khare, Z. Kang, A. Bhattacharjee, H. Sun, and A. Gokhale, "FECBench: A Holistic Interference-aware Approach for Application Performance Modeling", IEEE International Conference on Cloud Engineering (IC2E) , Prague, Czech Republic, June/2019. Abstract
Tan, J., G. Biswas, and D. Schwartz, "Feedback for metacognitive support in learning by teaching environments", The 28th Annual Meeting of the Cognitive Science Society, Vancouver, Canada, pp. 828-833, 2006.
Fu, Y., N. Kottenstette, Y. Chen, C. Lu, X. Koutsoukos, and H. Wang, Feedback Thermal Control for Real-time Systems, , St. Louis, MO, Washington University in St. Louis, pp. 1-13, 06/2009. Abstract
Fu, Y., N. Kottenstette, C. Lu, and X. Koutsoukos, Feedback Thermal Control of Real-time Systems on Multicore Processors, : Washington University in St. Louis, 01/2011. Abstract
Kottenstette, N., Filters for Audio Equalizing and Artificial Reverberation, , Notre Dame, IN, University of Notre Dame, 9/2004.  Download: 2004-kott-fil_for_audio-tr.zip (11.93 MB)
Sztipanovits, J., R. Carnes, and A. Misra, "Finite-State temporal Automata Modeling for Fault Diagnosis", Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
Otte, W. R., J. S. Kinnebrew, D. C. Schmidt, and G. Biswas, "A Flexible Infrastructure for Distributed Deployment in Adaptive Sensor Webs", The 2009 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -12, 03/2009. Abstract  Download: Otte et al - 2009 - IEEE Aerospace -- Flex Infrastructure Distrib Deploy in Adapt Sensor Webs.pdf (351.31 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, "The Flooding Time Synchronization Protocol", In Proc. of ACM SenSys, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, pp. 39--49, November, 2004.  Download: Maroti_M_11_3_2004_The_Floodi.pdf (145.19 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, The Flooding Time Synchronization Protocol, : Institute for Software Integrated Systems, February, 2004.  Download: Maroti_M_2_12_2004_The_Floodi.pdf (353.24 KB)
Agrawal, A., "A Formal Graph-Transformation Based Language for Model-to-Model Transformations", PhD Dissertation: Vanderbilt University, August, 2004.  Download: Agrawal_A_8_0_2004_A_Formal_G.pdf (3.32 MB)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
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)
Nordstrom, G., "Formalizing the Specification of Graphical Modeling Languages", Proceedings of the IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000.  Download: Nordstrom_GG_3_0_2000_Formalizin.pdf (276.47 KB)