- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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 Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page