Perry R. James

According to our database, Perry R. James authored at least 10 papers between 1998 and 2010.

Collaborative distances:

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

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

Faster and More Complete Extended Static Checking for the Java Modeling Language.

Perry R. James, Patrice Chalin

J. Autom. Reason., 2010

2009

ESC4: a modern caching ESC for Java.

Perry R. James, Patrice Chalin

Proceedings of the SAVCBS'09, 2009

Extended static checking in JML4: benefits of multiple-prover support.

Perry R. James, Patrice Chalin

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

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

JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.

Patrice Chalin, Perry R. James, George Karabotsos

Proceedings of the Verified Software: Theories, 2008

2007

An integrated verification environment for JML: architecture and early results.

Patrice Chalin, Perry R. James, George Karabotsos

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.

Patrice Chalin, Perry R. James

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

1999

Development of an Atomic-Broadcast Protocol Using LOTOS.

Perry R. James, Markus Endler, Marie-Claude Gaudel

Softw. Pract. Exp., 1999

1998

Testing Algebraic Data Types and Processes: A Unifying Theory.

Marie-Claude Gaudel, Perry R. James

Formal Aspects Comput., 1998