Frédéric Rioux

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Patrice Chalin, Perry R. James, Frédéric Rioux
Reducing the use of nullable types through non-null by default and monotonic non-null. IET Softw. 2 (6) (2008)
Patrice Chalin, Frédéric Rioux
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM (2008)
Frédéric Rioux, Patrice Chalin
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Patrice Chalin, Frédéric Rioux
Non-null references by default in the Java modeling language. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Patrice Chalin, Frédéric Rioux
Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE (2005)
Frédéric Rioux, Patrice Chalin
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV (2005)