| 2008 |
|---|
| 19 | EE | Patrice Chalin,
Daniel Sinnig,
Kianoush Torkzadeh:
Capturing business transaction requirements in use case models.
SAC 2008: 602-606 |
| 2007 |
|---|
| 18 | EE | Patrice Chalin,
Perry R. James:
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.
ECOOP 2007: 227-247 |
| 17 | EE | Patrice Chalin:
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.
ICSE 2007: 23-33 |
| 16 | EE | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
Common Semantics for Use Cases and Task Models.
IFM 2007: 579-598 |
| 15 | EE | Daniel Sinnig,
Maik Wurdel,
Peter Forbrig,
Patrice Chalin,
Ferhat Khendek:
Practical Extensions for Task Models.
TAMODIA 2007: 42-55 |
| 14 | EE | 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) |
| 13 | EE | Patrice Chalin:
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Formal Asp. Comput. 19(2): 139-158 (2007) |
| 2006 |
|---|
| 12 | EE | Patrice Chalin:
Are Practitioners Writing Contracts?
RODIN Book 2006: 100-113 |
| 11 | EE | 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 |
| 10 | EE | Patrice Chalin,
Frédéric Rioux:
Non-null references by default in the Java modeling language.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 9 | EE | 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 |
|---|
| 8 | EE | 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 |
| 7 | EE | Patrice Chalin:
Logical Foundations of Program Assertions: What do Practitioners Want?.
SEFM 2005: 383-393 |
| 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 | EE | Patrice Chalin:
JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.
Journal of Object Technology 3(6): 57-79 (2004) |
| 2003 |
|---|
| 4 | EE | 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 |
