Home

ISIS Publications

Export 82 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is C  [Clear All Filters]
2019
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)
2017
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
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)
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)
Bhattacharjee, A., Y. 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)
2016
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)
Barve, Y., 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
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
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.
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
2015
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)
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)
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.
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
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)
2014
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.
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.
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)
2013
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. 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)
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.
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)
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.
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)
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.
2011
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)
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)
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)
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)
2010
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)
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)
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)
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)
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.
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)
2009
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.
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.
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)
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.
Kottenstette, N., and P. J. Antsaklis, "Communication in Automation, including networking and wireless,", Springer Handbook of Automation: Springer, 2009. Abstract
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)
2008
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)
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
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.
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)
2007
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., "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)
2006
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)
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)