Patrice Chalin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2014

Ensuring that your dart will hit the mark: An introduction to dart contractsPatrice Chalin. iri 2014: 369-377 [doi]

2013

2012

2011

2010

2009

2008

2007

Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?Patrice Chalin. fac, 19(2):139-158, 2007. [doi]

Non-null References by Default in Java: Alleviating the Nullity Annotation BurdenPatrice Chalin, Perry R. James. ECOOP 2007: 227-247 [doi]

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying CompilerPatrice Chalin. ICSE 2007: 23-33 [doi]

An integrated verification environment for JML: architecture and early resultsPatrice Chalin, Perry R. James, George Karabotsos. ESEC/FSE 2007: 47-53 [doi]

Towards a Common Semantic Foundation for Use Cases and Task ModelsDaniel Sinnig, Patrice Chalin, Ferhat Khendek. ENTCS, 183:73-88, 2007. [doi]

Consistency between Task Models and Use CasesDaniel Sinnig, Patrice Chalin, Ferhat Khendek. ehci 2008: 71-88 [doi]

Common Semantics for Use Cases and Task ModelsDaniel Sinnig, Patrice Chalin, Ferhat Khendek. IFM 2007: 579-598 [doi]

Practical Extensions for Task ModelsDaniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek. tamodia 2007: 42-55 [doi]

2006

2005

2004

JML Support for Primitive Arbitrary Precision Numeric Types: Definition and SemanticsPatrice Chalin. jot, 3(6):57-79, 2004. [doi]

2003

Improving JML: For a Safer and More Effective LanguagePatrice Chalin. FM 2003: 440-461 [doi]

1996

Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification LanguagePatrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan. FM 1996: 385-404

1994

Copying, Sharing, and AliasingPeter Grogono, Patrice Chalin. COODBSE 1994: 77-89

1990

Z Specification of an Object ManagerPatrice Chalin, Peter Grogono. FM 1990: 41-71

Sign in or sign up to see more results.

runs on WebDSL