| 2009 |
|---|
| 6 | EE | Perry R. James,
Patrice Chalin:
Extended static checking in JML4: benefits of multiple-prover support.
SAC 2009: 609-614 |
| 2008 |
|---|
| 5 | EE | Patrice Chalin,
Perry R. James,
George Karabotsos:
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.
VSTTE 2008: 70-83 |
| 2007 |
|---|
| 4 | EE | Patrice Chalin,
Perry R. James:
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.
ECOOP 2007: 227-247 |
| 3 | EE | Patrice Chalin,
Perry R. James,
George Karabotsos:
An integrated verification environment for JML: architecture and early results.
SAVCBS 2007: 47-53 |
| 1999 |
|---|
| 2 | | Perry R. James,
Markus Endler,
Marie-Claude Gaudel:
Development of an Atomic-Broadcast Protocol Using LOTOS.
Softw., Pract. Exper. 29(8): 699-719 (1999) |
| 1998 |
|---|
| 1 | EE | Marie-Claude Gaudel,
Perry R. James:
Testing Algebraic Data Types and Processes: A Unifying Theory.
Formal Asp. Comput. 10(5-6): 436-451 (1998) |
