L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT), 7(3):212--232, June 2005. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) Self-citation (Burdy) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In T. Arts and 16 M. Pavlova et al. W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 03), volume 80 of ENTCS. Elsevier, 2003.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) Self-citation (Poll) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In Th. Arts and W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 03), volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 73--89. Elsevier, 2003.
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) Self-citation (Burdy) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In T. Arts and 15 W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 03), volume 80 of ENTCS. Elsevier, 2003.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) Self-citation (Poll) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In Th. Arts and W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 03), volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 73--89. Elsevier, 2003.
Reasoning about Card Tears and Transactions in Java Card - Hubbers, Poll (2003) Self-citation (Poll) (Correct)
No context found.
Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K., Poll, E.: An overview of JML tools and applications. In Arts, T., Fokkink, W., eds.: Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03). Volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS)., Elsevier (2003) 73--89
Reasoning about Card Tears and Transactions in Java Card - Hubbers, Poll Self-citation (Poll) (Correct)
No context found.
Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K., Poll, E.: An overview of JML tools and applications. In Arts, T., Fokkink, W., eds.: Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03). Volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS)., Elsevier (2003) 73--89
Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2004) (11 citations) Self-citation (Rustan Leino) (Correct)
No context found.
Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. An overview of JML tools and applications. In Thomas Arts and Wan Fokkink, editors, Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03), volume 80 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
Exception safety for C# - Leino, Schulte (2004) Self-citation (Leino) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," in Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available from jmlspecs.org.
Bridging the Gap Between Web Application Firewalls.. - Desmet, Piessens.. (2006) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT), 7(3):212--232, June 2005.
Static Verification of Indirect Data Sharing in.. - Desmet, Piessens.. (2006) (Correct)
No context found.
Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT) 7(3) (2005) 212--232
Designing Voting Machines for Verification - Naveen Sastry Tadayoshi (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. R. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT), 7(3):212-- 232, June 2005.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci., 80, 2003.
Inferring Object Invariants (Extended Abstract) - Chang, Leino (2005) (Correct)
No context found.
Burdy, L., Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M. Leino and E. Poll, An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer (2005).
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci., 80, 2003.
Factorising Temporal Specifications - Huisman, Trentelman (2005) (Correct)
No context found.
Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K. & Poll, E. (2003), An overview of JML tools and applications, in T. Arts &W. Fokkink, eds, `Formal Methods for Industrial Critical Systems (FMICS 2003)', Vol. 80 of ENTCS, Elsevier.
Reasoning about Side-Effect Free Erlang Code in a.. - Chugunov (2004) (Correct)
No context found.
Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, and Erik Poll. An 103 overview of jml tools and applications. In Thomas Arts and Wan Fokkink, editors, Electronic Notes in Theoretical Computer Science, volume 80. Elsevier, 2003.
Strengthening Eiffel Contracts Using Models - Schoeller (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J.R. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. Technical Report R0309, NIII, 2003.
Deductive Runtime Certification - Arkoudas, Rinard (2004) (Correct)
No context found.
Lilian Burdy et al. An overview of JML tools and applications. In Thomas Arts and Wan Fokkink, editors, Electronic Notes in Theoretical Computer Science, volume 80. Elsevier, 2003.
Formal Methods for Smart Cards: an experience report - Breunesse, Catano, Huisman, .. (2003) (2 citations) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In Formal Methods for Industrial Critical Systems (FMICS 03), ENTCS, 2003.
Runtime Assertion Checking Using JML - Roy Patrick Tan (2003) (Correct)
No context found.
L.Burdy,Y.Cheon,D.Cok,M.Ernst,J.Kiniry,G.T. Leavens,K.Rustan,M.Leino,andE.Poll.An overview of JML tools and applications. In Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), volume 80, pages 73--89. Elsevier, 2003.
On-the-Fly Formal Testing of a Smart Card Applet - van Weelden, Frantzen.. (2004) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J.R. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In Th. Arts and W. Fokkink, editors, Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 73--89. Elsevier, June 2003. 17
Checking Strong Specifications Using an Extensible .. - Robby.. (2003) (1 citation) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. In Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003.
Formal Methods for Smart Cards: An Experience Report - Breunesse, Cataño.. (2004) (2 citations) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, and E. Poll. An overview of JML tools and applications. In Th. Arts and W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS'03), number 80 in ENTCS. Elsevier, Amsterdam, 2003. www.elsevier.nl/locate/entcs/volume80.html.
A Temporal Logic of Nested Calls and Returns - Alur, Etessami, Madhusudan (2004) (4 citations) (Correct)
No context found.
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, R. Leino, and E. Poll. An overview of JML tools and applications. In Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems, pages 75-89, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC