| 2014 | IRI | Ensuring that your dart will hit the mark: An introduction to dart contracts. | Patrice Chalin |
| 2013 | ICSE | Explicating symbolic execution (xSymExe): an evidence-based verification framework. | John Hatcliff, Robby, Patrice Chalin, Jason Belt |
| 2013 | ICSE | Open source patient-controlled analgesic pump requirements documentation. | Brian R. Larson, John Hatcliff, Patrice Chalin |
| 2012 | ICSE | Requirements specification for apps in medical application platforms. | Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin |
| 2010 | ICST | A Formal Model for Generating Integrated Functional and User Interface Test Cases. | Daniel Sinnig, Ferhat Khendek, Patrice Chalin |
| 2009 | ECOOP | Preliminary design of a unified JML representation and software infrastructure. | Robby, Patrice Chalin |
| 2009 | SAC | Extended static checking in JML4: benefits of multiple-prover support. | Perry R. James, Patrice Chalin |
| 2009 | SAC | LTS semantics for use case models. | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2009 | SEFM | Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. | Patrice Chalin |
| 2009 | TASE | Merging of Use Case Models: Semantic Foundations. | Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler |
| 2008 | FM | JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. | Patrice Chalin, Frdric Rioux |
| 2008 | SAC | Capturing business transaction requirements in use case models. | Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh |
| 2007 | ECOOP | Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. | Patrice Chalin, Perry R. James |
| 2007 | ICSE | A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. | Patrice Chalin |
| 2007 | IFM | Common Semantics for Use Cases and Task Models. | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2005 | SEFM | Logical Foundations of Program Assertions: What do Practitioners Want?. | Patrice Chalin |
| 2003 | FM | Improving JML: For a Safer and More Effective Language. | Patrice Chalin |
| 1996 | FM | Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. | Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan |
| 1990 | FM | Z Specification of an Object Manager. | Patrice Chalin, Peter Grogono |