Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda,
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda,
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
Padalkar, S., G. Karsai, and J. Sztipanovits,
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
Pettet, G., S. Nannapaneni, B. Stadnick, A. Dubey, and G. Biswas,
"Incident Analysis and Prediction Using Clustering And Bayesian Network",
IEEE Conference on Smart City Innovations, San Francisco Bay Area, USA, IEEE, 08/2017.
Abstract
Download: IEEE-SCI-R-33.pdf (365.1 KB)
Pirjamali, R., R. Summers, J. Sztipanovits, and E. Carson,
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
Pirjamali, R., E. Carson, and R. Summers,
"Intelligent Patient Monitoring Systems",
Research Memorandum, Centre for Measurement {\&} Information in Medicine, MIM/RNP-ERC-RS/14, The City University, London, February, 1993.
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., 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., 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)
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., 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,
Resilient traffic light control (Poster),
, Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
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., 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., 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)