Perry R. James

	2010
9		Perry R. James, Patrice Chalin: Faster and More Complete Extended Static Checking for the Java Modeling Language. J. Autom. Reasoning 44(1-2): 145-174 (2010)
8		Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos: Towards an industrial grade IVE for Java and next generation research platform for JML. STTT 12(6): 429-446 (2010)
	2009
7		Perry R. James, Patrice Chalin: Extended static checking in JML4: benefits of multiple-prover support. SAC 2009: 609-614
	2008
6		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
5		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 Software 2(6): 515-531 (2008)
	2007
4		Patrice Chalin, Perry R. James: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP 2007: 227-247
3		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		Marie-Claude Gaudel, Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Asp. Comput. 10(5-6): 436-451 (1998)

Coauthor Index

1	Patrice Chalin	[3] [4] [5] [6] [7] [8] [9]
2	Markus Endler	[2]
3	Marie-Claude Gaudel	[1] [2]
4	George Karabotsos	[3] [6] [8]
5	Jooyong Lee	[8]
6	Frédéric Rioux	[5]
7	Robby	[8]

Colors in the list of coauthors

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page