Publications

§ Emery, David E.; Mathis, Robert F.; and Nyberg, Karl A. “Automating the Ada Binding Process for Java - How Far Can We Go?’’ Reliable Software Technologies: Proceedings of the Ada Europe 1998 conference, June 1998, Uppsalla, Sweden. § Nyberg, Karl A., (Editor), “The Annotated Ada Reference Manual’’, Third Edition, March 1994. § Nyberg, Karl A. and Engle, Charles B., Jr., “Mandating Compiler Evaluations’’, Invited Paper. Minutes of the Federal Advisory Board on Ada, June 27, 1991. Pittsburgh, PA. § Nyberg, Karl A., “Ada: Sources & Resources”, Third Edition - April 1991. § Nyberg, Karl A., “A Study of Ada's Input-Output Packages”, SEI Special Report. 1990. § Emery, David and Nyberg, Karl A., “Observations on Portable Ada Systems”, in “Ada: the design choice”, Proceedings of the Ada-Europe International Conference, Madrid, Spain, 13-15 June 1989. Cambridge University Press. Also MITRE Technical Paper MTP-282; February 1989, Bedford, MA. § Nyberg, Karl A., “Denial of Service Flaws in SDI Software: An Initial Assessment”, Proceedings of the Fourth Aerospace Computer Security Applications Conference, December 12-16, 1988, Orlando, FL. § Donaldson, Albert L.; McHugh, John; Nyberg, Karl A., “Covert Channels in Trusted LANs”, The 11th NBS/NCSC National Computer Security Conference, October 17-20, 1988, Baltimore, MD. § Preston, David; Nyberg, Karl A.; Mathis, Robert, ``An Investigation Into the Compatibility of Ada and Formal Verification Technology'', 6^th National Conference on Ada Technology: Ada in the Life Cycle, March 14-17, 1988, Arlington, VA. § Lee, JAN and Nyberg, Karl A., “Strategies for Introducing Formal Methods Into the Ada Life Cycle”, SPC-TR-88-002, Version 1.0. Software Productivity Consortium, January 1988, Reston, VA. § Nyberg, Karl A. “Using Representation Clauses as an Operating System Interface,” Ada Letters, Volume VII, Number 4, July - August, 1987; pp. 98-101. § Nyberg, Karl A., “Implementing Curses in Ada”, Proceedings of the 1986 USENIX Winter Conference, January 1986, Denver, CO. § McHugh, John and Nyberg, Karl A., “Adapting the Gypsy Verification System to Ada”, in Proceedings of the First IDA Workshop on Formal Specification and Verification of Ada, Clyde G. Roby, ed., Memorandum Report #M-146, December 1985, Alexandria, VA. § McHugh, John and Nyberg, Karl A., “Ada Verification Using Existing Tools”, IEEE Software Engineering Notes, Special Issue: Proceedings of Verkshop III, August 1985. § Nyberg, Karl A.; Hook, Audrey A.; Kramer, Jack F., “The Status of Verification Technology for the Ada Language”, IDA Paper #P-1859, July 1985, Alexandria, VA.