The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrice Chalin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Grogono, Patrice Chalin
    Copying, Sharing, and Aliasing. [Citation Graph (1, 0)][DBLP]
    COODBSE, 1994, pp:77-89 [Conf]
  2. Patrice Chalin
    Improving JML: For a Safer and More Effective Language. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:440-461 [Conf]
  3. Patrice Chalin, Peter Grogono
    Z Specification of an Object Manager. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:41-71 [Conf]
  4. Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan
    Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:385-404 [Conf]
  5. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
    Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:342-363 [Conf]
  6. Patrice Chalin
    A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:23-33 [Conf]
  7. Patrice Chalin
    Logical Foundations of Program Assertions: What do Practitioners Want?. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:383-393 [Conf]
  8. Frédéric Rioux, Patrice Chalin
    Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:193-206 [Conf]
  9. Patrice Chalin
    Are Practitioners Writing Contracts? [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:100-113 [Conf]
  10. Frédéric Rioux, Patrice Chalin
    Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:119-132 [Journal]
  11. Patrice Chalin
    JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:6, pp:57-79 [Journal]
  12. Patrice Chalin, Perry R. James
    Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:227-247 [Conf]
  13. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Common Semantics for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:579-598 [Conf]
  14. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Towards a Common Semantic Foundation for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:73-88 [Journal]
  15. Patrice Chalin
    Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:139-158 [Journal]

  16. JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. [Citation Graph (, )][DBLP]


  17. Capturing business transaction requirements in use case models. [Citation Graph (, )][DBLP]


  18. LTS semantics for use case models. [Citation Graph (, )][DBLP]


  19. Extended static checking in JML4: benefits of multiple-prover support. [Citation Graph (, )][DBLP]


  20. Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. [Citation Graph (, )][DBLP]


  21. An integrated verification environment for JML: architecture and early results. [Citation Graph (, )][DBLP]


  22. Practical Extensions for Task Models. [Citation Graph (, )][DBLP]


  23. The KOA Remote Voting System: A Summary of Work to Date. [Citation Graph (, )][DBLP]


  24. Merging of Use Case Models: Semantic Foundations. [Citation Graph (, )][DBLP]


  25. A Formal Model for Generating Integrated Functional and User Interface Test Cases. [Citation Graph (, )][DBLP]


  26. JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. [Citation Graph (, )][DBLP]


  27. Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002