Frédéric Rioux

According to our database, Frédéric Rioux authored at least 4 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.

Patrice Chalin, Frédéric Rioux

Proceedings of the FM 2008: Formal Methods, 2008

2006

Non-null references by default in the Java modeling language.

Patrice Chalin, Frédéric Rioux

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study.

Frédéric Rioux, Patrice Chalin

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005