Perry R. James

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

Publications

Perry R. James, Patrice Chalin
Faster and More Complete Extended Static Checking for the Java Modeling Language. J. Autom. Reason. 44 (1-2) (2010)
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Perry R. James, Patrice Chalin
ESC4: a modern caching ESC for Java. SAVCBS (2009)
Perry R. James, Patrice Chalin
Extended static checking in JML4: benefits of multiple-prover support. SAC (2009)
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, Perry R. James, George Karabotsos
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE (2008)
Patrice Chalin, Perry R. James
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP (2007)
Patrice Chalin, Perry R. James, George Karabotsos
An integrated verification environment for JML: architecture and early results. SAVCBS (2007)
Perry R. James, Markus Endler, Marie-Claude Gaudel
Development of an Atomic-Broadcast Protocol Using LOTOS. Softw. Pract. Exp. 29 (8) (1999)
Marie-Claude Gaudel, Perry R. James
Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. 10 (5-6) (1998)