Home

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 
P
Podgursky, B., G. Biswas, and X. Koutsoukos, "Efficient Tracking of Behavior in Complex Hybrid Systems via Hybrid Bond Graphs", Annual Conference of the Prognostics and Health Management Society 2010, Portland, OR, US, 10/2010. Abstract  Download: phmc_10_064.pdf (748.34 KB)
Porter, J., G. Karsai, and J. Sztipanovits, "Towards a time-triggered schedule calculation tool to support model-based embedded software design", ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009. Abstract
Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits, The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis, , Nashville, TN, Vanderbilt University, 09/2010.  Download: ESMoL_TR.pdf (3.99 MB)
Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits, "Online Stability Validation Using Sector Analysis", International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010. Abstract
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits, "Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models", Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits, Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models, , no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011. Abstract  Download: incr_cycle_analysis.pdf (1.08 MB)
Porter, J., and C. Szabo, "Partition Configuration for Real-Time Systems With Dependencies", 21st International Conference on Real-Time Networks and Systems, Sophia Antipolis, France, ACM, pp. 87-96, 10/2013. Abstract
Porter, J., G. Hemingway, N. Kottenstette, H. Nine, C. vanBuskirk, G. Karsai, and J. Sztipanovits, "New Developments in Model-Integrated Development of High-Confidence Software", Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)", Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Potteiger, B., X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)", Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
Potteiger, B., H. Abdel-Aziz, H. Neema, and X. Koutsoukos, "Simulation Based Evaluation of Security and Resilience in Railway Infrastructure (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
Potteiger, B., W. Emfinger, G. Karsai, and X. Koutsoukos, "A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)", Science of Security Quarterly Lablet Meeting, Laurel, MD, 11/2016.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2018.
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, Resilient traffic light control (Poster), , Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
Potteiger, B., S. Ramakrishna, D. Boursinos, and X. Koutsoukos, "Moving Target Defense for Securing Cyber-Physical Systems with Learning Enabled Components (Poster)", Workshop on Computational Cybersecurity in Compromised Environments (C3E), Atlanta, GA, 09/2018.
Potteiger, B., G. Martins, and X. Koutsoukos, "Software and attack centric integrated threat modeling for quantitative risk assessment", Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2017.
Potteiger, B., W. A. Emfinger, H. Neema, X. Kousoukos, C. Y. Tang, and K. Stouffer, "Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed", Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017. Abstract
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster), , Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
Prabhakar, R., "Scheduling In Time Triggered Systems Under Mode Changes", Master's Thesis: Vanderbilt University, December, 2003.  Download: Prabhakar_R_12_0_2003_Scheduling.pdf (1.04 MB)
Pradhan, S., A. Dubey, S. Neema, and A. Gokhale, "Towards a generic computation model for smart city platforms", 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) , pp. 1-6, 2016. Abstract
Pradhan, S., A. Dubey, and A. Gokhale, "Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems", Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Cham, Springer International Publishing, pp. 88–104, 2016. Abstract
Pradhan, S., A. Dubey, T. Levendovszky, P. S. Kumar, W. A. Emfinger, D. Balasubramanian, W. Otte, and G. Karsai, "Achieving resilience in distributed software systems via self-reconfiguration", Journal of Systems and Software, pp. -, 2016. Abstract
Pradhan, S., W. R. Otte, A. Dubey, A. Gokhale, and G. Karsai, Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft, , APRES 2013, ACM SIGBED, 04/2013. Abstract  Download: apres13.pdf (162.07 KB)
Pradhan, S., A. Dubey, W. R. Otte, G. Karsai, and A. Gokhale, Towards a Product Line of Heterogeneous Distributed Applications, , Nashville, Institute for Software Integrated Systems, 4/2015. Abstract  Download: Pradhan_UMRELA_TR.pdf (1.16 MB)
Pradhan, S., A. Dubey, S. Khare, F. Sun, J. Sallai, A. Gokhale, D. Schmidt, M. Lehofer, and M. Sturm, "Poster Abstract: A Distributed and Resilient Platform for City-scale Smart Systems", The First IEEE/ACM Symposium on Edge Computing, Washington DC, 2016.  Download: poster-abstract-distributed.pdf (217.55 KB)
Pradhan, S., W. Otte, A. Dubey, C. Szabo, A. Gokhale, and G. Karsai, Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems, , Nashville, Institute for Software Integrated Systems, 6/2014. Abstract  Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)
Pradhan, S., W. Otte, A. Dubey, A. Gokhale, and G. Karsai, "Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems", 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.  Download: Pradhan_EASe-2014.pdf (1.46 MB)
Pradhan, S., W. Emfinger, A. Dubey, W. Otte, A. Coglio, D. Balasubramanian, A. Gokhale, and G. Karsai, "Establishing secure interactions across distributed applications in satellite clusters", SMC-IT, 2014.  Download: smcit-2014.pdf (965.2 KB)
Pradhan, S., A. Gokhale, W. R. Otte, and G. Karsai, Real-time Fault Tolerant Deployment and Configuration Framework for Cyber Physical Systems, , RTSS-WiP, ACM SIGBED, 12/2012. Abstract  Download: main.pdf (79.96 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)
Q
Qiu, F., and Y. Cui, "An analysis of user behavior in online video streaming", Proceedings of the international workshop on Very-large-scale multimedia corpus, mining and retrieval (VLS-MCMR '10), 2010.
Qiu, F., J. Bai, Y. Cui, and Y. Xue, "Optimal Rate Allocation in Peer-to-Peer Streaming over Wireless Networks", International Conference on Collaboration Technologies and Systems (CTS), 2011.
Qiu, F., and Y. Cui, "A quantitative study of user satisfaction in online video streaming", IEEE Consumer Communications and Networking Conference, 2011.
R
Raj, B., C. Kulkarni, K. Kyusung, and G. Biswas, "Model-Based Avionics Systems Fault Simulation and Detection", American Institute of Aeronautics and Astronautics, AIAA Infotech Aerospace 2010, Atlanta, GA, 04/2010.
van Rheeden, D., B. Brown, J. Price, B. Abbott, G. Willden, K. Chhokra, J. Scott, and T. Bapty, "AUTOMATIC POSITIONING OF UAVS TO OPTIMIZE TDOA GEOLOCATION PERFORMANCE", 23rd Digital Avionics Systems Conference (DASC), DASC 2004, Salt Lake City, Utah, October, 2004.
Riley, D., E. Emeka, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems", Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools), 2011.
Riley, D., E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems", 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011. Abstract
Riley, D., X. Koutsoukos, and K. Riley, "Simulation of Stochastic Hybrid Systems Using Probabilistic Boundary Detection and Adaptive Time Stepping", Simulation Modelling Practice and Theory, vol. 18, no. 9, pp. 1397-1411, 2010.
Riley, D., X. Koutsoukos, and K. Riley, "Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System", European Journal on Control, vol. 16, no. 6, pp. 609-623, 2010.
Robinson, W., M. Alles, J. Scott, T. Bapty, B. Bhuva, B. Bonds, L. Massengill, S. Neema, and R. Schrimpf, "Soft Error Considerations for Multicore Microprocessor Design", International Conference on Integrated Circuit Design & Technology, 05/2007.
Roscoe, R. D., J. Wagster, and G. Biswas, "Using teachable agent feedback to support effective learning-by-teaching", The 30th Annual Meeting of the Cognitive Science Society, Washington, DC, pp. 2381-2386, 2008.
Roselli, R. J., S. B. Gilbert, L. Howard, S. B. Blessing, A. Raut, and P. Pandian, "Integration of an Intelligent Tutoring System with a Web-based Authoring System to Develop Online Homework Assignments with Formative Feedback", Proceedings of the American Society for Engineering Education Annual Conference, Pittsburgh, PA, USA, July, 2008.
Roselli, R. J., L. Howard, and S. Brophy, "Integration of formative assessment into online engineering assignments", Computers in Education, vol. 16, no. 4, pp. 8-17, 2006.
Roselli, R. J., L. Howard, and G. Pap, "Assessment of Diagnostics and Feedback for Online Homework Assignments", Proceeding of the Annual Biomedical Engineering Society (BMES) Annual Conference, Los Angeles, CA, USA, September, 2007.
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.
Roselli, R. J., and L. Howard, "Integration of an Interactive Free Body Diagram Assistant with a Courseware Authoring Package and an Experimental Learning Management System", Proceedings of the American Society for Engineering Education Annual Conference, Nashville, TN, 2003.