Refereed conference publications

P. Graydon, J. Knight, and X. Yin, “Practical Limits on Software Dependability: A Case Study,” Proceedings of the 15^th International Conference on Reliable Software Technologies (Ada-Europe), Valencia, Spain, 2010. (PDF)

P. Graydon and J. Knight, “Software Process Synthesis in Assurance Based Development of Dependable Systems,” Proceedings of the 8^th European Dependable Computing Conference (EDCC), Valencia, Spain, 2010. (PDF)

P. Graydon, J. Knight, and E. Strunk, “Assurance Based Development of Critical Systems,” in Proceedings of the 37^th Annual International Conference on Dependable Systems and Networks, Edinburgh, U.K., 2007. (PDF)

Non-refereed conference publications

P. Graydon, J. Knight, and M. Green, “Certification and Safety Cases,” Proceedings of the 28^th International Systems Safety Conference (ISSC), Minneapolis, Minnesota, 2010. (PDF)

P. Graydon, J. Knight, and K. Wasson, “A Flexible Approach to Authorization of UAS Software,” Proceedings of the 28^th Digital Avionics Systems Conference (DASC), Orlando, Florida, 2009. (PDF)

J. Knight and P. Graydon, “Engineering, Communication, and Safety,” presented at the 12^th Australian Conference on Safety Critical Systems and Software, Adelaide, Australia, 2008. (PDF)

P. Graydon, E. Strunk, M. Aiello, and J. Knight, “A Graduate Seminar in Tools and Techniques,” presented at the Formal Methods in the Teaching Lab workshop at Formal Methods 2006, Hamilton, Ontario, Canada, 2006. (PDF)

Book chapters

P. Graydon, J. Knight, and E. Strunk, “Achieving Dependable Systems By Synergistic Development Of Architectures And Assurance Cases,” in Architecting Dependable Systems IV, R. de Lemos, C. Gacek, and A. Romanovsky, Eds. Springer, 2007.

Other publications

P. Graydon and J. Knight, “Software Process Synthesis in Assurance Based Development,” Technical Report CS-2009-10, Dept. of Computer Science, University of Virginia, October 2009. (PDF)

P. Graydon and J. Knight, “Success Arguments: Establishing Confidence in Software Development,” Technical Report CS-2008-10, Dept. of Computer Science, University of Virginia, July 2008. (PDF)

P. Graydon, “SCRTool and the SCR Specification Language,” in A Survey of Tools for Model Checking and Model-Based Development, Strunk, Aiello, Knight, eds., Technical Report CS-2006-17, Dept. of Computer Science, University of Virginia, June 2006. (PDF)

P. Graydon, Formal Specification of Static Configuration Data, M.S. thesis, University of Virginia, Charlottesville, VA, May 2006. (PDF)