Patrice Chalin

	2012
39		Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng: Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309
38		Loren Segal, Patrice Chalin: A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. VSTTE 2012: 130-145
	2011
37		Stephen Barrett, Patrice Chalin, Greg Butler: Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. ECMFA 2011: 329-344
36		Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72
35		Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60
34		Daniel Sinnig, Ferhat Khendek, Patrice Chalin: Partial order semantics for use case and task models. Formal Asp. Comput. 23(3): 307-332 (2011)
	2010
33		Daniel Sinnig, Ferhat Khendek, Patrice Chalin: A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264
32		Patrice Chalin: Engineering a Sound Assertion Semantics for the Verifying Compiler. IEEE Trans. Software Eng. 36(2): 275-287 (2010)
31		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)
30		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
29		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: LTS semantics for use case models. SAC 2009: 365-370
28		Perry R. James, Patrice Chalin: Extended static checking in JML4: benefits of multiple-prover support. SAC 2009: 609-614
27		Patrice Chalin: Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM 2009: 317-324
26		Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189
	2008
25		Patrice Chalin, Frédéric Rioux: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM 2008: 246-261
24		Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh: Capturing business transaction requirements in use case models. SAC 2008: 602-606
23		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
22		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
21		Patrice Chalin, Perry R. James: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP 2007: 227-247
20		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88
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	[26] [37]
2	Jason Belt	[35] [36] [39]
3	Gregory Butler (Greg Butler)	[26] [37]
4	Dermot Cochran	[12]
5	Xianghua Deng	[35] [36] [39]
6	Fintan Fairmichael	[12]
7	Peter Forbrig	[16]
8	Peter Grogono	[1] [2] [3]
9	David Hardin	[35] [36]
10	John Hatcliff	[35] [36] [39]
11	Engelbert Hubbers	[12]
12	Clément Hurlin	[7]
13	Perry R. James	[17] [21] [22] [23] [28] [30] [31]
14	George Karabotsos	[17] [23] [30]
15	Ferhat Khendek	[15] [16] [18] [20] [29] [33] [34]
16	Joseph Kiniry (Joseph R. Kiniry)	[7] [9] [12]
17	Gary T. Leavens	[9]
18	Jooyong Lee	[30]
19	Alan E. Morkan	[12]
20	Martijn Oostdijk	[12]
21	Erik Poll	[9]
22	Thiruvengadam Radhakrishnan	[3]
23	Frédéric Rioux	[6] [10] [11] [22] [25]
24	Robby	[30] [35] [36] [39]
25	Loren Segal	[38]
26	Daniel Sinnig	[15] [16] [18] [20] [24] [26] [29] [33] [34]
27	Kianoush Torkzadeh	[24]
28	Maik Wurdel	[16]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page