ISIS Publications

Export 232 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
Journal Article
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.
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)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
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.
Hasan, S., A. Dubey, G. Karsai, and X. Koutsoukos, "A game-theoretic approach for power systems defense against dynamic cyber-attacks", International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019. Abstract  Download: hasan2019.pdf (519.26 KB)
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.  Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 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.
Sallai, J., B. Kusy, A. Ledeczi, and P. Dutta, "On the Scalability of Routing Integrated Time Synchronization", 3rd European Workshop on Wireless Sensor Networks (EWSN 2006), Zurich, Switzerland, February, 2006.  Download: Sallai_J_2_13_2006_On_the_Sca.pdf (212.99 KB)
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)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi, "Software Composition and Verification for Sensor Networks", Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.  Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Conference Proceedings
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)
Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.  Download: ipsn07-sallai.pdf (2.56 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 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)
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.
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)
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
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)
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)
Leelawong, K., J. Davis, N. Vye, G. Biswas, D. Schwartz, T. Belynne, T. Katzlberger, and J. Bransford, "The effects of feedback in supporting learning by teaching in a teachable agent environment", Keeping Learning Complex: The Proceedings of the Fifth International Conference of the Learning Sciences, Mahwah, NJ, Erlbaum, pp. 245-252, 2002.
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)
Biswas, G., K. Leelawon, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Incorporating self regulated learning techniques into learning by teaching environments", The 26th Annual Meeting of the Cognitive Science Society, Chicago, Erlbaum, pp. 120-125, 2004.
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., 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.
Roy, N., A. Dabholkar, L. Dowdy, and D. Schmidt, "Modeling Software Contention using Colored Petri Nets", Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, USA, 09/2008.  Download: SoftwareContention.pdf (381.37 KB)
Tambe, S., A. Dabholkar, and A. Gokhale, "MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems", 18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2011),, Las Vegas, NV, USA, 04/2011.  Download: MoPED.pdf (1.29 MB)