ASTRAL Publications

1999

[KKM 99j]	"journal version of Parallel Refinement Paper" [Postscript]
[KKM 99]	"Parallel Refinement Paper" [Postscript]
[DK 99]	Z. Dang and R.A. Kemmerer. "Using the ASTRAL Model Checker to Analyze Mobile IP". Proceedings of the 21st International Conference on Software Engineering, Los Angeles, CA, May 1999, pp. 132-141. [Postscript]
[KDK 99]	P.Z. Kolano, Z. Dang, and R.A. Kemmerer. "The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment". Annals of Software Engineering, volume 7, 1999. Bussum, The Netherlands: Baltzer Science Publishers. [Postscript]
[Kol 99a]	P.Z. Kolano. "Parallel Refinement Mechanisms". Technical Report TRCS99-06, Computer Science Department, University of California, Santa Barbara, Feb. 1999. [Postscript]
[Kol 99b]	P.Z. Kolano. "The ASTRAL Specifications of Eight Real-Time Systems". Technical Report TRCS99-08, Computer Science Department, University of California, Santa Barbara, Mar. 1999. [Postscript]
[Kol 99c]	P.Z. Kolano. "Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover". Proc. of the 5th Int. AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, Bamberg, Germany, May 1999. Berlin, Germany: Springer-Verlag, pp. 315-333. [Postscript]
[Kol 99d]	P.Z. Kolano. "Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems". Ph.D. Thesis, University of California, Santa Barbara, 1999. [Postscript, tarred/gzipped]

1998

[Kol 98]

P.Z. Kolano. "A Theorem Prover for ASTRAL". Technical Report TRCS98-01, Computer Science Department, University of California, Santa Barbara, Jan. 1998.
[Postscript]

1997

[CGK 97]	A. Coen-Porisini, C. Ghezzi, and R.A. Kemmerer. "Specification of realtime systems using ASTRAL". IEEE Transactions on Software Engineering, Sept. 1997, vol. 23, (no. 9): 572-98.
[DK 97]	Z. Dang and R.A. Kemmerer. "Using the ASTRAL model checker for cryptographic protocol analysis", Proceedings of the DIMACS Workshop on the Design and Formal Verification of Security Protocols, Rutgers University, Aug. 1997. [Postscript]
[KK 97]	R.A. Kemmerer and P.Z. Kolano. "Formally Specifying and Verifying Real-Time Systems". Proc. of the 1st Int. Conf. on Formal Engineering Methods, Hiroshima, Japan, Nov. 1997. Los Alamitos, CA: IEEE Computer Society Press, pp. 112-120. [Postscript]

1996

[CGK 96]	A. Coen-Porisini, C. Ghezzi, and R.A. Kemmerer. "Specifications of Realtime Systems Using ASTRAL". Technical Report TRCS96-30, Computer Science Department, University of California, Santa Barbara, Dec. 1996. [Postscript]
[Kol 96]	P.Z. Kolano. "ASTRAL Software Development Environment User's Manual". Technical Report TRCS96-31, Computer Science Department, University of California, Santa Barbara, July 1996. [Postscript]

1995

[CKM 95]

A. Coen-Porisini, R.A. Kemmerer, and D. Mandrioli. "A formal framework for ASTRAL inter-level proof obligations". Proceedings of the 5th European Software Engineering Conference, Sitges, Spain, 25-28 Sept. 1995. Berlin, Germany: Springer-Verlag, 1995. p. 90-108.

1994

[CKM 94]	A. Coen-Porisini, R.A. Kemmerer, and D. Mandrioli. "A formal framework for ASTRAL intralevel proof obligations". IEEE Transactions on Software Engineering, Aug. 1994, vol. 20, (no. 8): 548-61.
[CSK 94]	A. Coen-Porisini, P. San Pietro, and R.A. Kemmerer. "Formal semantics definition for ASTRAL". Unpublished technical report, Department of Computer Science, University of California, Santa Barbara, 1994.

1993

[CK 93]	A. Coen-Porisini and R.A. Kemmerer. "The composability of ASTRAL realtime specifications". International Symposium on Software Testing and Analysis, Cambridge, MA, USA, 28-30 June 1993. SIGSOFT Software Engineering Notes, July 1993, vol. 18, (no. 3): 128-38. [Postscript]
[CKM 93]	A. Coen-Porisini, R.A. Kemmerer, and D. Mandrioli. "A Formal Framework for ASTRAL Inter-Level Proof Obligations". Technical Report TRCS93-09, Computer Science Department, University of California, Santa Barbara, Dec. 1993. [Postscript]

1992

[CK 92]	A. Coen-Porisini and R.A. Kemmerer. "The Composability of ASTRAL Realtime Specifications". Technical Report TRCS92-25, Computer Science Department, University of California, Santa Barbara, Dec. 1992. [Postscript]
[CKM 92]	A. Coen-Porisini, R.A. Kemmerer, and D. Mandrioli. "Formal Verification of Realtime Systems in ASTRAL". Technical Report TRCS92-22, Computer Science Department, University of California, Santa Barbara, Dec. 1992. [Postscript]

1991

[GK 91a]	C. Ghezzi and R.A. Kemmerer. "ASTRAL: an assertion language for specifying realtime systems". Proceedings of the 3rd European Software Engineering Conference, Milan, Italy, 21-24 Oct. 1991. Edited by: A. van Lamsweerde and A. Fugetta. Berlin, Germany: Springer-Verlag, 1991. p. 122-40. [Postscript]
[GK 91b]	C. Ghezzi and R.A. Kemmerer. "Executing formal specifications: the ASTRAL to TRIO translation approach". Proceedings of the Symposium on Testing, Analysis, and Verification, Victoria, B.C., Canada, Oct. 1991. [Postscript]

Richard Kemmerer / kemm@cs.ucsb.edu

URL: http://www.cs.ucsb.edu/~astral/pub.html
last update: 7-27-99