ISIS Publications

Export 1097 results:
Sort by: [ Author  (Asc)] Title 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 
C
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
Chhokra, A., A. Kulkarni, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, "A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems", 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems", 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016. Abstract
D
Dabholkar, A., and A. Gokhale, " Safe Specialization of the LwCCM Container for Simultaneous Provisioning of Multiple QoS", Proceedings of OMG’s Workshop on Real-time, Embedded and Enterprise-Scale Time-Critical Systems (OMG RTWS 2011), Washington DC, USA, OMG, 03/2011.  Download: OMG-RTWS-2011.pdf (50.32 KB)
Dabholkar, A., and A. Gokhale, "An Approach to Middleware Specialization for Cyber Physical Systems", The 2nd International Workshop on Cyber-Physical Systems (WCPS 2009), Co-located with ICDCS 2009, Montreal, Quebec, Canada, IEEE, pp. 73-79, 06/2009.  Download: WCPS-2009.pdf (236.71 KB)
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
Dabholkar, A., and A. Gokhale, "Middleware Specialization for Product-lines using Feature Oriented Reverse Engineering", 7th International Conference on Information Technology : New Generations (ITNG 2010), Las Vegas, NV, USA, IEEE Computer Society, 04/2010.  Download: MNA-ITNG-2010.pdf (180.43 KB)
Dabholkar, A., and A. Gokhale, "Developing and Evaluating a Taxonomy of Modularization Techniques for Middleware Specialization", 2nd OOPSLA Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2008), Nashville, TN, USA, 10/2008.  Download: ACoM-2008.pdf (350.81 KB)
Dabholkar, A., and A. Gokhale, "A Generative Middleware Specialization Process for Distributed Real-time and Embedded Systems", 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011), Newport Beach, CA, USA, IEEE, March 2011.  Download: ISORC-2011.pdf (304.74 KB)
Dabholkar, A., and A. Gokhale, " FORMS: Feature-Oriented Reverse Engineering-based Middleware Specialization for Product-Lines", Journal of Software Special Issue on Middleware and Network Application (JSW 2011), vol. 6, no. 4, 4/2011.  Download: JSW-2010.pdf (381.31 KB)
Dai, L., Y. Cui, and Y. Xue, On Scalability of Proximity-Aware Peer-to-Peer Streaming, : Institute for Software Integrated Systems, January, 2007.  Download: Dai_L_1_0_2007_On_Scalabi.pdf (375.82 KB)
Dai, L., Y. Cao, Y. Cui, and Y. Xue, "On Scalability of Proximity-Aware P2P Streaming", Computer Communications, Elsevier, vol. 32, no. 1, 01/2009.
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.
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems", Proceedings of the 8th International Conference on Intelligent User Interfaces, Miami, FL, ACM, pp. 26-33, 2003.
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.  Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
Davis, J., and T. Bapty, "Interactive User's Interface for a Dynamic Compression System Simulation", AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems: A demonstration abstract", The 8th International Conference on Intelligent User Interfaces, Miami, FL, Association for Computing Machinery, pp. 320, 2003.
Davis, J., "Model Integrated Computing: A Framework for Creating Domain Specific Design Environments", The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), Orlando, FL, July, 2002.  Download: Davis_J_7_0_2002_Model_Inte.pdf (282.01 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.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Davis, J., "A Model Based Data Validation System", Master's Thesis: Vanderbilt University, 1995.  Download: Davis_J_0_0_1995_A_Model_Ba.pdf (532.1 KB)
Debelak, K., L. Howard, Y. Xue, C. Lee, and J. Sztipanovits, "Introducing security in a chemical engineering design course using adaptive online learning", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
Dubey, A., M. Sturm, M. Lehofer, and S. Janos, "Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale", Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, 04/2015.  Download: extendedAbstract.pdf (189.05 KB)
Dubey, A., G. Karsai, A. Gokhale, W. Emfinger, and P. S. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017. Abstract  Download: main.pdf (951.36 KB)