Patrice Chalin

	2010
29		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)
	2009
28		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: LTS semantics for use case models. SAC 2009: 365-370
27		Perry R. James, Patrice Chalin: Extended static checking in JML4: benefits of multiple-prover support. SAC 2009: 609-614
26		Patrice Chalin: Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM 2009: 317-324
25		Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189
	2008
24		Patrice Chalin, Frédéric Rioux: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM 2008: 246-261
23		Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh: Capturing business transaction requirements in use case models. SAC 2008: 602-606
22		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
21		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
20		Patrice Chalin, Perry R. James: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP 2007: 227-247
19		Patrice Chalin: A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ICSE 2007: 23-33
18		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Common Semantics for Use Cases and Task Models. IFM 2007: 579-598
17		Patrice Chalin, Perry R. James, George Karabotsos: An integrated verification environment for JML: architecture and early results. SAVCBS 2007: 47-53
16		Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek: Practical Extensions for Task Models. TAMODIA 2007: 42-55
15		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Towards a Common Semantic Foundation for Use Cases and Task Models. Electr. Notes Theor. Comput. Sci. 183: 73-88 (2007)
14		Patrice Chalin: Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Formal Asp. Comput. 19(2): 139-158 (2007)
	2006
13		Patrice Chalin: Are Practitioners Writing Contracts? RODIN Book 2006: 100-113
12		Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262
11		Patrice Chalin, Frédéric Rioux: Non-null references by default in the Java modeling language. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
10		Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. Electr. Notes Theor. Comput. Sci. 157(2): 119-132 (2006)
	2005
9		Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363
8		Patrice Chalin: Logical Foundations of Program Assertions: What do Practitioners Want?. SEFM 2005: 383-393
7		Joseph R. Kiniry, Patrice Chalin, Clément Hurlin: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160
6		Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV 2005: 193-206
	2004
5		Patrice Chalin: JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. Journal of Object Technology 3(6): 57-79 (2004)
	2003
4		Patrice Chalin: Improving JML: For a Safer and More Effective Language. FME 2003: 440-461
	1996
3		Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan: Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. FME 1996: 385-404
	1994
2		Peter Grogono, Patrice Chalin: Copying, Sharing, and Aliasing. COODBSE 1994: 77-89
	1990
1		Patrice Chalin, Peter Grogono: Z Specification of an Object Manager. VDM Europe 1990: 41-71

Coauthor Index

1	Stephen Barrett	[25]
2	Gregory Butler (Greg Butler)	[25]
3	Dermot Cochran	[12]
4	Fintan Fairmichael	[12]
5	Peter Forbrig	[16]
6	Peter Grogono	[1] [2] [3]
7	Engelbert Hubbers	[12]
8	Clément Hurlin	[7]
9	Perry R. James	[17] [20] [21] [22] [27] [29]
10	George Karabotsos	[17] [22]
11	Ferhat Khendek	[15] [16] [18] [28]
12	Joseph Kiniry (Joseph R. Kiniry)	[7] [9] [12]
13	Gary T. Leavens	[9]
14	Alan E. Morkan	[12]
15	Martijn Oostdijk	[12]
16	Erik Poll	[9]
17	Thiruvengadam Radhakrishnan	[3]
18	Frédéric Rioux	[6] [10] [11] [21] [24]
19	Daniel Sinnig	[15] [16] [18] [23] [25] [28]
20	Kianoush Torkzadeh	[23]
21	Maik Wurdel	[16]

Colors in the list of coauthors