Home

ISIS Publications

Export 81 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is C  [Clear All Filters]
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   [Show ALL]
C
Neema, H., J. Sztipanovits, M. Burns, and E. Griffor, "C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids", 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Vienna, Austria, 04/2016. Abstract
Zhang, Z., and X. Kousoukos, "Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches", International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, 10/2016.  Download: PID4361635.pdf (341.45 KB)
Tibbals, T., T. Bapty, and B. Abbott, "CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis", International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
Roy, N., A. Dubey, A. Gokhale, and L. Dowdy, "A Capacity Planning Process for Performance Assurance of Component-Based Distributed Systems", International Conference on Performance Engineering (ICPE) 2011 - A Joint Meeting of WOSP/SIPEW, Karlsruhe, Germany, ACM, pp. 259-270, March 2011. Abstract  Download: Modeling_SOA.pdf (744.12 KB)
Howard, L., "CAPE: A Visual Language for Courseware Authoring", 2nd Workshop on Domain-Specific Visual Languages, Seattle, WA, pp. 45--53, November, 2002.  Download: Howard_LP_11_11_2002_CAPE__A_Vi.pdf (577.45 KB)
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Biswas, G., K. Leelawong, K. Belynne, and B. Adebiyi, "Case studies in learning by teaching behavioral differences in directed versus guided learning", The 27th Annual Conference of the Cognitive Science Society, Stresa, Italy, pp. 828-833, 2005.
Loyall, J., R. Shapiro, S. Neema, S. Abdelwahed, and N. Mahadevan, "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.
Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract  Download: ADIRUTechReport.pdf (1.53 MB)
Otte, W. R., A. Dubey, and M. Lehofer, "Challenges for Application Platforms for integrated Cyber Physical Systems", Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, 04/2015.  Download: abstract.pdf (189.64 KB)
Pradhan, S., A. Dubey, S. Khare, S. Nannapaneni, A. Gokhale, S. Mahadevan, D. C. Schmidt, and M. Lehofer, "CHARIOT: A Holistic, Goal Driven Orchestration Solution for Resilient IoT Applications", ACM Transactions on Cyber-Physical Systems, 2017. Abstract  Download: CHARIOT.pdf (8.46 MB)
Barve, Y. D., P. P. Patil, and A. Gokhale, "A Cloud-based Immersive Learning Environment for Distributed Systems Algorithms", COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications, Atlanta, Georgia, USA, 06/2016. Abstract
Bhattacharjee, A., Y. D. Barve, T. Kuroda, and A. Gokhale, CloudCAMP: A Model-driven Generative Approach for Automating Cloud Application Deployment and Management, , Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017. Abstract  Download: CloudCAMP.pdf (1.06 MB)
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.  Download: TR-13-104.pdf (3.02 MB)
Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems", ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013. Abstract  Download: iccps'13.pdf (1.29 MB)
Shekhar, S., F. Caglar, A. Dukeman, L. Hou, and A. Gokhale, "A Collaborative K-12 STEM Education Framework Using Traffic Flow as a Real-world Challenge Problem", 2014 ASEE Annual Conference: ASEE Conferences, pp. 24–28, 2014.
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.
Kumar, P. S., A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, , pp. 79–88, 2014.  Download: MoDeVVa_2014_CPN.pdf (557.04 KB)
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)
Kottenstette, N., and P. J. Antsaklis, "Communication in Automation, including networking and wireless,", Springer Handbook of Automation: Springer, 2009. Abstract
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, "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.
Frampton, K., "A Comparison of Hierarchies for Decentralized Vibration Control", Journal of Vibrations and Acoustics, August, 2001.  Download: Frampton_K_8_0_2001__A_Compari.pdf (218.93 KB)
Dubey, A., G. Karsai, and S. Abdelwahed, "Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems", ISORC, Tokyo, Japan, 2009. Abstract  Download: Isorc.pdf (487.35 KB)
Roy, N., Y. Xue, A. Gokhale, L. Dowdy, and D. C. Schmidt, "A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals", 11th International Symposium on Distributed Objects, Middleware,and Applications (DOA), 11/2009.
Beccani, M., G. Aiello, N. Gkotsis, H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, E. De Momi, and P. Valdastri, "Component based design of a drug delivery capsule robot", Sensors and Actuators A: Physical, vol. 245: Elsevier, pp. 180–188, 2016.
Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Balasubramanian, D., and G. Karsai, Component Models for Vehicle Software Platforms: Two Case Studies, , no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015. Abstract  Download: ISIS-15-101.pdf (2.52 MB)
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
Volgyesi, P., and A. Ledeczi, "Component-Based Development of Networked Embedded Applications", 28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.  Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Ledeczi, A., A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments", IEEE Computer, pp. 44--51, November, 2001.
Karsai, G., M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and Cloning in Modeling and Meta-Modeling", IEEE Transactions on Control System Technology, December, 2003.
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Chen, K., J. Porter, J. Sztipanovits, and S. Neema, "Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages", International Journal of Semantic Computing, vol. 3, no. 1, pp. 31-56, 03/2009.
Daigle, M., I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll, "A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems", Technical Report, 2008. Abstract  Download: adapt-diagnosis.pdf (895.46 KB)
Daigle, M., I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll, "A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems", IEEE Transactions on System, Man, and Cybernetics, Part A, vol. 40, no. 5, pp. 917-931, 2010.
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Martins, G., A. Moondra, A. Dubey, A. Bhattacharjee, and X. D. Koutsoukos, "Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems", Sensors, vol. 16, no. 8, pp. 1166, 2016. 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)
Dubey, A., W. Xianbin, S. Hang, and J. T. Koo, "Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach", Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.  Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
Tan, J., C. Beers, R. Gupta, and G. Biswas, "Computer games as intelligent learning environments: A river ecosystem adventure", Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Amsterdam, IOS Press, pp. 646-653, 2005.
van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.  Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
Mosterman, P., J. Sztipanovits, and S. Engell, "Computer-Automated Multi-Paradigm Modeling in Control Systems technology", IEEE Transactions on Automatic Control, 2003.
Roselli, R. J., L. Howard, and S. Brophy, "A computer-based free body diagram assistant", Computer Applications in Engineering Education, vol. 14, no. 4, pp. 281-290, 2006.
Su, R., S. Abdelwahed, and S. Neema, "Computing Finitely Reachable Containable Region for Switching System", IEEE Proceedings on Control Theory and Applications, 2004.
Sztipanovits, J., "A Computing Model for Semantic Control", Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.