Home

ISIS Publications

Export 82 results:
Sort by: Author [ Title (Desc)] 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, S., J. Scott, and T. Bapty, CyPhyML Language in the META Toolchain, , no. ISIS-15-104, 2015.  Download: CyPhyML Language in the META Toolchain.pdf (2.65 MB)
Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, "Cyber-Physical Vulnerability Analysis", ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.  Download: report.pdf (927.21 KB)
Roth, T., E. Song, M. Burns, H. Neema, W. Emfinger, and J. Szipanovits, "Cyber-Physical System Development Environment for Energy Applications", ASME Power and Energy Conference 2017, Charlotte, USA, 06/2017. Abstract
Zhang, Y., S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava, "Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems", Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019. Abstract  Download: MSCPES_paper__Finished_.pdf (941.1 KB)
Gokhale, A., M. McDonald, S. Drager, and W. McKeever, "A Cyber Physical Systems Perspective on the Real-time and Reliable Information Dissemination in Intelligent Transportation Systems", International Journal of Network Protocols and Algorithms (IJNPA), Special Issue on Data Dissemination for Large-scale Complex Critical Infrastructures (DD4LCCI), vol. 2, no. 3, pp. 116–136, 2010.  Download: JNPA10-ITS.pdf (413.87 KB)
Davis, J., and B. Abbott, "Cut-Through Message Passing on the TI TMS320C40", Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.
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.
Rothney, M. P., R. J. Roselli, and L. Howard, "Creation of an online vector addition tutorial: Exploring the advantages of providing diagnostic, multilevel feedback in basic skills remediation", Proceedings of the American Society of Engineering Education Annual Conference, Nashville, TN, June, 2003.
Tambe, S., A. Dabholkar, and A. Gokhale, "CQML: Aspect-oriented Modeling for Modularizing and Weaving QoS Concerns in Component-based Systems", 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2009), San Francisco, CA, USA., IEEE, 04/2009.  Download: ECBS-2009.pdf (395.03 KB)
Tambe, S., A. Dabholkar, A. Gokhale, and A. Kavimandan, "CQML: A QoS Modeling and Modularization Framework for Component-based Systems", Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.  Download: AQuSerM-2008.pdf (313.72 KB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Jackson, E., and J. Sztipanovits, "Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality", 13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.  Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
Kinnebrew, J. S., D. L. C. Mack, G. Biswas, and D. C. Schmidt, "Coordination of Planning and Scheduling Techniques for a Distributed, Multi-level, Multi-agent System", The International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain, 01/2010. Abstract  Download: Kinnebrew et al - 2010 - ICAART -- Coord Plan & Sched for Distrib Multi-level MAS.pdf (2.18 MB)
Sztipanovits, J., G. Karsai, and C. Biegl, "Cooperative Systems for Real-Time Process Monitoring and Diagnostics", Proceeding of the AI-Japan, Osaka, Japan, 1987.
Abdelwahed, S., N. Kandasamy, and S. Neema, "A Control-Based Framework for Self-Managing Distributed Computing Systems", ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.  Download: Abdelwahed_S_10_0_2004_A_Control_.pdf (159.55 KB)
Kottenstette, N., "Control of passive plants with memoryless nonlinearities over wireless networks", Electrical Engineering, vol. Doctor of, Notre Dame, IN, University of Notre Dame, pp. 196, 08/2007. Abstract  Download: KottenstetteNE082007.pdf (1.96 MB)
Kottenstette, N., and P. J. Antsaklis, "Control of multiple networked passive plants with delays and data dropouts", 2008 American Control Conference, Seattle, WA, USA, IEEE, pp. 3126-3132, 06/2008. Abstract
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Continuous Migration Support for Domain-Specific Languages", The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
Jackson, E., and J. Sztipanovits, "Constructive Techniques for Meta- and Model-Level Reasoning", Models'07, Nashville, TN, 10/2007. Abstract  Download: jackson_MODELS07.pdf (256.29 KB)
Kottenstette, N., "Constructive Non-Linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 01/2010. Abstract  Download: fixed_wing_Nov_08_2010_03_45_PM.pdf (770.84 KB)
CHANG, C. K., G. D. CHEN, and L. Y. LI, "Constructing a community of practice to improve coursework activity", Computers & Education, vol. 50, issue 1, pp. 235 - 247, 01/2008.
Kogekar, S., S. Neema, B. Eames, X. Koutsoukos, A. Ledeczi, and M. Maroti, "Constraint-Guided Dynamic Reconfiguration in Sensor Networks", IPSN '04, Berkeley, California, USA, pp. 379--387, April, 2004.  Download: Kogekar_S_4_26_2004_Constraint.pdf (369.93 KB)
Neema, S., J. Sztipanovits, G. Karsai, and K. Butts, "Constraint-Based Design-Space Exploration and Model Synthesis", EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.  Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
Neema, S., and A. Ledeczi, "Constraint Guided Self-Adaptation", Self-Adaptive Software: Applications, LNCS 2614,, pp. 39--51, 2003.  Download: Neema_S_0_0_2003_Constraint.pdf (139.34 KB)
Gray, J., and S. Schach, "Constraint Animation Using an Object-Oriented Declarative Language", Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.  Download: Gray_J_4_0_2000_Constraint.doc (101 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems", 16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.  Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
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)
LeBlanc, H., and X. Koutsoukos, "Consensus in Networked Multi-Agent Systems with Adversaries", Hybrid Systems: Computation and Control, 04/2011. Abstract  Download: hscc21c-leblanc.pdf (299.24 KB)
Karsai, G., "A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming", IEEE Computer, vol. 28, pp. 36--44, March, 1995.
Szilvasi, S., J. Sallai, I. Amundson, P. Volgyesi, and A. Ledeczi, "Configurable Hardware-based Radio Interferometric Node Localization", 2010 IEEE Aerospace Conference, Big Sky, Montana, USA, IEEE, 03/2010.  Download: aeroconf10_szilvasi.pdf (1006.26 KB)
Sallai, J., M. Maroti, and A. Ledeczi, "A Concurrency Abstraction for Reliable Sensor Network Applications", Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005, vol. LNCS 4322, pp. 143–160, 2005.  Download: monterey.pdf (350.85 KB)
Biegl, C., J. Sztipanovits, and C. Harrison, "Concepteur Cognitif D'Experimentation Pour L'Instrumentation", Innovation et Technologie en Biologie et Medicine, vol. 10, pp. 203--210, 1989.
Sztipanovits, J., "A Computing Model for Semantic Control", Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.
Su, R., S. Abdelwahed, and S. Neema, "Computing Finitely Reachable Containable Region for Switching System", IEEE Proceedings on Control Theory and Applications, 2004.
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.
Mosterman, P., J. Sztipanovits, and S. Engell, "Computer-Automated Multi-Paradigm Modeling in Control Systems technology", IEEE Transactions on Automatic Control, 2003.
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)
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.
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)
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)
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
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)
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.
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.
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)
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.
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.
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)
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)