Patrice Chalin

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Topics

Algorithms And Data Structures

Symbolic Execution

Specification Languages

Medical Treatment

Top Venues

NASA Formal Methods

Publications

Patrice Chalin
Ensuring that your dart will hit the mark: An introduction to dart contracts. IRI (2014)
Brian R. Larson, Patrice Chalin, John Hatcliff
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods (2013)
John Hatcliff, Robby, Patrice Chalin, Jason Belt
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE (2013)
Brian R. Larson, John Hatcliff, Patrice Chalin
Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE (2013)
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Jason Belt, Patrice Chalin, John Hatcliff, Robby
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT (2012)
Loren Segal, Patrice Chalin
A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. VSTTE (2012)
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods (2012)
Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin
Requirements specification for apps in medical application platforms. SEHC@ICSE (2012)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods (2011)
Stephen C. Barrett, Patrice Chalin, Greg Butler
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. ECMFA (2011)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Enhancing spark's contract checking facilities using symbolic execution. SIGAda (2011)
Daniel Sinnig, Ferhat Khendek, Patrice Chalin
Partial order semantics for use case and task models. Formal Aspects Comput. 23 (3) (2011)
Patrice Chalin
Engineering a Sound Assertion Semantics for the Verifying Compiler. IEEE Trans. Software Eng. 36 (2) (2010)
Stephen C. Barrett, Greg Butler, Patrice Chalin
Mirador: a synthesis of model matching strategies. IWMCP@ICMT (2010)
Perry R. James, Patrice Chalin
Faster and More Complete Extended Static Checking for the Java Modeling Language. J. Autom. Reason. 44 (1-2) (2010)
Daniel Sinnig, Ferhat Khendek, Patrice Chalin
A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST (2010)
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Patrice Chalin
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM (2009)
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
LTS semantics for use case models. SAC (2009)
Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler
Merging of Use Case Models: Semantic Foundations. TASE (2009)
Perry R. James, Patrice Chalin
ESC4: a modern caching ESC for Java. SAVCBS (2009)
Perry R. James, Patrice Chalin
Extended static checking in JML4: benefits of multiple-prover support. SAC (2009)
Robby, Patrice Chalin
Preliminary design of a unified JML representation and software infrastructure. FTfJP@ECOOP (2009)
Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh
Capturing business transaction requirements in use case models. SAC (2008)
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 Softw. 2 (6) (2008)
Patrice Chalin, Frédéric Rioux
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM (2008)
Patrice Chalin, Perry R. James, George Karabotsos
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE (2008)
Patrice Chalin
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Formal Aspects Comput. 19 (2) (2007)
Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek
Practical Extensions for Task Models. TAMODIA (2007)
Patrice Chalin, Perry R. James
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP (2007)
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
Common Semantics for Use Cases and Task Models. IFM (2007)
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
Consistency between Task Models and Use Cases. EHCI/DS-VIS (2007)
Patrice Chalin
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ICSE (2007)
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
Towards a Common Semantic Foundation for Use Cases and Task Models. Electron. Notes Theor. Comput. Sci. 183 (2007)
Patrice Chalin, Perry R. James, George Karabotsos
An integrated verification environment for JML: architecture and early results. SAVCBS (2007)
Patrice Chalin
Early detection of JML specification errors using ESC/Java2. SAVCBS@FSE (2006)
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)
Frédéric Rioux, Patrice Chalin
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Patrice Chalin
Are Practitioners Writing Contracts? RODIN Book (2006)
Patrice Chalin, Frédéric Rioux
Non-null references by default in the Java modeling language. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO (2005)
Patrice Chalin, Frédéric Rioux
Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE (2005)
Joseph R. Kiniry, Patrice Chalin, Clément Hurlin
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE (2005)
Patrice Chalin
Logical Foundations of Program Assertions: What do Practitioners Want?. SEFM (2005)
Frédéric Rioux, Patrice Chalin
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV (2005)
Patrice Chalin
JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. J. Object Technol. 3 (6) (2004)
Patrice Chalin
Improving JML: For a Safer and More Effective Language. FME (2003)
Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. FME (1996)
Peter Grogono, Patrice Chalin
Copying, Sharing, and Aliasing. COODBSE (1994)
Patrice Chalin, Peter Grogono
Z Specification of an Object Manager. VDM Europe (1990)