- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c30 |      | 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 |
| c29 | | Jason Belt, Patrice Chalin, John Hatcliff, Robby: Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4 |
| c28 | | Loren Segal, Patrice Chalin: A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. VSTTE 2012: 130-145 |
| 2011 | ||
| j10 | | Daniel Sinnig, Ferhat Khendek, Patrice Chalin: Partial order semantics for use case and task models. Formal Asp. Comput. 23(3): 307-332 (2011) |
| c27 | | Stephen Barrett, Patrice Chalin, Greg Butler: Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. ECMFA 2011: 329-344 |
| c26 | | 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 |
| c25 | | Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60 |
| 2010 | ||
| j9 | | 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) |
| j8 | | 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) |
| j7 | | Patrice Chalin: Engineering a Sound Assertion Semantics for the Verifying Compiler. IEEE Trans. Software Eng. 36(2): 275-287 (2010) |
| c24 | | Daniel Sinnig, Ferhat Khendek, Patrice Chalin: A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264 |
| 2009 | ||
| c23 | | |
| c22 | | Perry R. James, Patrice Chalin: Extended static checking in JML4: benefits of multiple-prover support. SAC 2009: 609-614 |
| c21 | | Patrice Chalin: Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM 2009: 317-324 |
| c20 | | Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189 |
| 2008 | ||
| j6 | | 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) |
| c19 | | Patrice Chalin, Frédéric Rioux: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM 2008: 246-261 |
| c18 | | Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh: Capturing business transaction requirements in use case models. SAC 2008: 602-606 |
| c17 | | 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 | ||
| j5 | | 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) |
| j4 | | Patrice Chalin: Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Formal Asp. Comput. 19(2): 139-158 (2007) |
| c16 | | Patrice Chalin, Perry R. James: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP 2007: 227-247 |
| c15 | | Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88 |
| c14 | | Patrice Chalin: A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ICSE 2007: 23-33 |
| c13 | | Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Common Semantics for Use Cases and Task Models. IFM 2007: 579-598 |
| c12 | | Patrice Chalin, Perry R. James, George Karabotsos: An integrated verification environment for JML: architecture and early results. SAVCBS 2007: 47-53 |
| c11 | | Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek: Practical Extensions for Task Models. TAMODIA 2007: 42-55 |
| 2006 | ||
| j3 | | 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) |
| j2 | | Patrice Chalin, Frédéric Rioux: Non-null references by default in the Java modeling language. ACM SIGSOFT Software Engineering Notes 31(2) (2006) |
| c10 | | |
| c9 | | 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 |
| 2005 | ||
| c8 | | 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 |
| c7 | | Patrice Chalin: Logical Foundations of Program Assertions: What do Practitioners Want?. SEFM 2005: 383-393 |
| c6 | | 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 |
| c5 |  | 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 | ||
| j1 | | Patrice Chalin: JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. Journal of Object Technology 3(6): 57-79 (2004) |
| 2003 | ||
| c4 | | |
| 1996 | ||
| c3 | | 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 | ||
| c2 | | |
| 1990 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 19 09:05:47 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page