Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. - Frédéric Rioux; Patrice Chalin (WWV, 2005)

Non-null references by default in the Java modeling language. - Patrice Chalin; Frédéric Rioux (ACM SIGSOFT Softw. Eng. Notes, 2006)

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. - Patrice Chalin; Frédéric Rioux (FM, 2008)

Reducing the use of nullable types through non-null by default and monotonic non-null. - Patrice Chalin; Perry R. James; Frédéric Rioux (IET Softw., 2008)