Formal Methods Publications

Papers published in: 1999 1998 1997 1996 1995 1994 1993 and earlier


J.P. Sousa and D. Garlan
"Formal Modeling of the Enterprise JavaBeans Component Integration Framework"
Proceedings of World Congress on Formal Methods in the development of Computing Systems. Toulouse, France, November 1999.

H.S. Chadha, J.W. Baugh, Jr., and J.M. Wing
"Formal Specifications of Concurrent Systems"
Advances in Engineering Software, 30(3), 211-224, 1999.


Jeannette M. Wing
"A Symbiotic Relationship Between Formal Methods and Security"
Proceedings from Workshops on Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solution. Technical report CMU-CS-98-188.

Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin
"Reasoning About Implicit Invocation"
Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.

R. Allen, D. Garlan, J. Ivers, and R. Alan
"Formal Modeling and Analysis of Component Integration Frameworks"
Sixth International Symposium on the Foundations of Software Engineering (FSE 6)
November 1998.

M. Vaziri, N. Lynch, J.M. Wing
"Proving the Correctness of a Controller Algorithm for the RAID Level 5 System"
Proceedings of the International Symposium on Fault-Tolerant Computing
June 1998. Also technical report CMU-CS-98-117.

Gary Leavens and Jeannette M. Wing
"Protective Interface Specifications"
Proceedings of TAPSOFT '97 Theory and Practice of Software Development, Seventh International Joint Conference CAAP/FASE, Lecture Notes in Computer Science 1214, April 1997, pp. 520-534. Formal Aspects of Computing, March, 1998.


Darrell Kindred and Jeannette M. Wing
"Closing the Idealization Gap with Theory Generation"
Proceedings of the DIMACS Workshop on Crypotogaphic Protocol Design and Verification, Rutgers, NJ, September, 1997. (extended abstract)

J. Dingel, D. Garlan, S. Jha, and D. Notkin
"Towards a Formal Treatment of Implicit Invocation"
Proceedings of the 1997 Formal Methods Europe Conference, 1997.

Robert J. Allen, David Garlan, and James Ivers
"Formal Modeling and Analysis of Architectural Standards"
Submitted for publication September 1997.

Jeannette M. Wing
"Subtyping for Distributed Object Stores"
Proceedings of the Second IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), University of Kent at Canterbury, July, 1997, pp. 305-318. Extended abstract of invited talk. Also technical report CMU-CS-97-121.

Yu-Chung Ng
"A Nitpick Specification of IPv6."
B.S. in Computer Science, May 1997.

Amy Zaremski and Jeanette Wing
"Specification Matching of Software Components"
ACM Transactions on Software Engineering and Methodology, May 1997.

N. Heintze, Doug Tygar, Jeannette M. Wing, and Hao-Chi Wong
"Formal Modeling and Analysis of the HLA RT."
Proceedings of the 1997 Spring Simulation Interoperability Workshop
Orlando, Florida, March 1997.

Jeannette M. Wing and Mondonna Vaziri-Farahani
"A Case Study in Model Checking Software Systems"
Science of Computer Programming, Vol. 28, 1997, pp. 273-299.


Edmund Clarke and Jeannette M. Wing
"Formal Methods: State of the Art and Future Directions"
ACM Computing Surveys, Vol. 28, No. 4, December 1996, pp. 626-643. Also technical report CMU-CS-96-178.

Darrell Kindred and Jeannette M. Wing
"Fast, Automatic Checking of Security Protocols"
Proceedeings of the USENIX 1996 Workshop on Electronic Commerce
Oakland, CA, November 1996, pp. 41-52.

David Garlan
"Style-Based Refinement for Software Architecture"
Proceedings of the Second International Software Architecture Workshop (ISAW2), October 1996.

Daniel Jackson and Jeannette M. Wing
"Lightweight Formal Methods"
IEEE Computer, April 1996.

Robert Allen and David Garlan
"A Case Study in Architectural Modelling: The AEGIS System"
Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), March 1996.

Jeannette Wing
"Hints to Specifiers"
In N. Dean and M.G. Hinchey (Eds.), Teaching and Learning Formal Methods (Chap. 5, pp. 57-77). Academic Press, 1996. Also technical report CMU-CS-95-118R.


A.M. Zaremski and J.M. Wing
"Specification Matching of Software Components"
Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Oct. 1995.

David Garlan and Norman Delisle
"Formal Specification of an Architecture for a Family of Instrumentation Systems,
Applications of Formal Methods"
In M. Hinchey and J. Bowen (Eds.), International Series in Computer Science. Prentice-Hall, 1995.

D. Jackson
"Structuring Z Specifications with Views"
ACM Transactions on Software Engineering and Methodology, vol.4, no.4, Oct. 1995.
Also technical report CMU-CS-94-126.

D. Garlan
"Making Formal Methods Education Effective for Professional Software Engineers"
Information and Software Technology, June 1995.

D. Jackson
"Problem Decomposition for Reuse"
Technical report CMU-CS-95-108.

Gregory Abowd, Robert Allen, and David Garlan
"Formalizing Style to Understand Descriptions of Software Architecture"
Technical report CMU-CS-95-111.


J.M. Wing and D.C. Steere
"Specifying Weak Sets"
Proceedings of the Conference on Distributed Computing Systems, June 1995, Also technical report CMU-CS-94-194.

L. Mummert, J.M. Wing, and M. Satyanarayanan
"Using Belief to Reason about Cache Coherence"
Proceedings of the Symposium on Principles of Distributed Computing, August 1994.

Robert Allen and David Garlan
"Formalizing Architectural Connection"
Proceedings of the 16th International Conference on Software Engineering (ICSE '94).

Robert Allen
"Formalism and Informalism in Architectural Style: A Case Study"
Proceedings of the First International Workshop on Architectures for Software Systems, April 1995.

Robert Allen and David Garlan
"Formal Connectors"
Technical report CMU-CS-94-115.

Robert Allen and David Garlan
"Beyond Definition/Use: Architectural Interconnection"
Proceedings of the ACM Interface Definition Language Workshop, January 1994.

1993 and earlier

Robert Allen and David Garlan
"Towards Formalized Software Architecture"
Technical report CMU-CS-92-163.

See also: ABLE, Larch, Wright, and Venari Home pages.

Brought to you by the Composable Software Systems Research Group of the School of Computer Science at Carnegie Mellon University.

[Last modified 25-July-2001.
Mail suggestions to the