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. 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., 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., 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., 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.
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., 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., 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