Testing Algebraic Data Types and Processes: A Unifying Theory. - Marie-Claude Gaudel; Perry R. James (Formal Aspects Comput., 1998)

Development of an Atomic-Broadcast Protocol Using LOTOS. - Perry R. James; Markus Endler; Marie-Claude Gaudel (Softw. Pract. Exp., 1999)

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. - Patrice Chalin; Perry R. James (ECOOP, 2007)

An integrated verification environment for JML: architecture and early results. - Patrice Chalin; Perry R. James; George Karabotsos (SAVCBS, 2007)

JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. - Patrice Chalin; Perry R. James; George Karabotsos (VSTTE, 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)

Extended static checking in JML4: benefits of multiple-prover support. - Perry R. James; Patrice Chalin (SAC, 2009)

ESC4: a modern caching ESC for Java. - Perry R. James; Patrice Chalin (SAVCBS, 2009)

Faster and More Complete Extended Static Checking for the Java Modeling Language. - Perry R. James; Patrice Chalin (J. Autom. Reason., 2010)

Towards an industrial grade IVE for Java and next generation research platform for JML. - Patrice Chalin; Robby; Perry R. James; Jooyong Lee; George Karabotsos (Int. J. Softw. Tools Technol. Transf., 2010)