| |
| 2008 | ||
|---|---|---|
| 4 | EE | Patrice Chalin, Frédéric Rioux: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM 2008: 246-261 |
| 2006 | ||
| 3 | EE | Patrice Chalin, Frédéric Rioux: Non-null references by default in the Java modeling language. ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2 | EE | Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. Electr. Notes Theor. Comput. Sci. 157(2): 119-132 (2006) |
| 2005 | ||
| 1 | Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV 2005: 193-206 | |
| 1 | Patrice Chalin | [1] [2] [3] [4] |