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., 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., 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., 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, 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.
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, , no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011. Abstract  Download: incr_cycle_analysis.pdf (1.08 MB)
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., 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 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., 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., 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., 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. 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.
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., 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., 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., 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., 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.
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, 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., 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., 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, 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)
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. 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, 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
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, "Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System", European Journal on Control, vol. 16, no. 6, pp. 609-623, 2010.
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.
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., 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.
Roselli, R. J., and L. Howard, "Development of online homework problems that provide instant feedback and remediation to students", Annual BMES Conference, Nashville, TN, 2003.
Roselli, R. J., and L. Howard, "Facilitating the design of diagnostic learning modules with CAPE", Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
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.