| 2009 |
|---|
| 25 | EE | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
LTS semantics for use case models.
SAC 2009: 365-370 |
| 24 | EE | Perry R. James,
Patrice Chalin:
Extended static checking in JML4: benefits of multiple-prover support.
SAC 2009: 609-614 |
| 2008 |
|---|
| 23 | EE | Patrice Chalin,
Frédéric Rioux:
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.
FM 2008: 246-261 |
| 22 | EE | Patrice Chalin,
Daniel Sinnig,
Kianoush Torkzadeh:
Capturing business transaction requirements in use case models.
SAC 2008: 602-606 |
| 21 | 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 |
|---|
| 20 | EE | Patrice Chalin,
Perry R. James:
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.
ECOOP 2007: 227-247 |
| 19 | EE | Patrice Chalin:
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.
ICSE 2007: 23-33 |
| 18 | EE | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
Common Semantics for Use Cases and Task Models.
IFM 2007: 579-598 |
| 17 | EE | Patrice Chalin,
Perry R. James,
George Karabotsos:
An integrated verification environment for JML: architecture and early results.
SAVCBS 2007: 47-53 |
| 16 | EE | Daniel Sinnig,
Maik Wurdel,
Peter Forbrig,
Patrice Chalin,
Ferhat Khendek:
Practical Extensions for Task Models.
TAMODIA 2007: 42-55 |
| 15 | 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) |
| 14 | EE | Patrice Chalin:
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Formal Asp. Comput. 19(2): 139-158 (2007) |
| 2006 |
|---|
| 13 | EE | Patrice Chalin:
Are Practitioners Writing Contracts?
RODIN Book 2006: 100-113 |
| 12 | 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 |
| 11 | 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) |
| 10 | 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 |
|---|
| 9 | 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 |
| 8 | EE | Patrice Chalin:
Logical Foundations of Program Assertions: What do Practitioners Want?.
SEFM 2005: 383-393 |
| 7 | EE | 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 | 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 |
