William F. Ogden

Publication Activity (10 Years)

Years Active: 1968-2013
Publications (10 Years): 0

Top Topics

Formal Specification

Component Based Development

Software Components

Top Venues

Publications

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE (2012)
Joan Krone, William F. Ogden, Murali Sitaraman
Performance analysis based upon complete profiles. SAVCBS@FSE (2006)
Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
Performance specification of software components. SSR (2001)
Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming (1998)
Murali Sitaraman, Bruce W. Weide, William F. Ogden
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. IEEE Trans. Software Eng. 23 (3) (1997)
Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden
Characterizing observability and controllability of software components. ICSR (1996)
George W. Ernst, Raymond J. Hookway, William F. Ogden
Modular Verification of Data Abstractions with Shared Realizations. IEEE Trans. Software Eng. 20 (4) (1994)
Bruce W. Weide, William F. Ogden, Murali Sitaraman
Recasting Algorithms to Encourage Reuse. IEEE Softw. 11 (5) (1994)
William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben
Part I: the RESOLVE framework and discipline: a research synopsis. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden
Modular Verification of Ada Generics. Comput. Lang. 16 (3/4) (1991)
Bruce W. Weide, William F. Ogden, Stuart H. Zweben
Reusable Software Components. Adv. Comput. 33 (1991)
William F. Ogden, Rockford J. Ross, Karl Winklmann
An "Interchange Lemma" for Context-Free Languages. SIAM J. Comput. 14 (2) (1985)
George W. Ernst, Jainendra K. Navlakha, William F. Ogden
Verification of Programs with Procedure-Type Parameter. Acta Informatica 18 (1982)
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
Procedure semantics and language definition. ACM SIGPLAN Notices 15 (6) (1980)
George W. Ernst, William F. Ogden
Specification of Abstract Data Types in Modula. ACM Trans. Program. Lang. Syst. 2 (4) (1980)
William F. Ogden, William E. Riddle, William C. Rounds
Complexity of Expressions Allowing Concurrency. POPL (1978)
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
Structured specification of a Security Kernel. Reliable Software (1975)
Mehdi Jazayeri, William F. Ogden, William C. Rounds
On the Complexity of the Circularity Test for Attribute Grammars. POPL (1975)
Mehdi Jazayeri, William F. Ogden, William C. Rounds
The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. Commun. ACM 18 (12) (1975)
William F. Ogden, William C. Rounds
Compositions of n Tree Transducers STOC (1972)
William F. Ogden
Intercalation Theorems for Stack Languages STOC (1969)
William F. Ogden
A Helpful Result for Proving Inherent Ambiguity. Math. Syst. Theory 2 (3) (1968)