BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Finland
1 × France
1 × Italy
1 × Vietnam
2 × Germany
3 × United Kingdom
5 × USA
Collaborated with:
D.Sinnig F.Khendek P.R.James P.Grogono J.Hatcliff Robby J.Belt F.Rioux S.Barrett G.Butler K.Torkzadeh T.Radhakrishnan D.Hardin X.Deng
Talks about:
use (6) model (4) check (4) case (4) semant (3) assert (3) verif (3) jml (3) interfac (2) contract (2)

Person: Patrice Chalin

DBLP DBLP: Chalin:Patrice

Contributed to:

ICSE 20132013
HILT 20122012
ECMFA 20112011
SIGAda 20112011
ICST 20102010
SAC 20092009
SEFM 20092009
FM 20082008
SAC 20082008
ECOOP 20072007
ICSE 20072007
IFM 20072007
SEFM 20052005
FME 20032003
FME 19961996
VDM Europe 19901990

Wrote 17 papers:

ICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification
Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
HILT-2012-BeltCHR #ada #automation #contract #using #verification
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
ECMFA-2011-BarrettCB #detection
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.
SIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using
Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface
A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
SAC-2009-JamesC #ml #multi #static analysis
Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
SAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics
LTS semantics for use case models (DS, PC, FK), pp. 365–370.
SEFM-2009-Chalin #verification
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.
FM-2008-ChalinR #fault #ml #performance #runtime #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
SAC-2008-ChalinST #case study #modelling #requirements #transaction
Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
ECOOP-2007-ChalinJ #java
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.
ICSE-2007-Chalin #compilation #evolution #semantics #verification
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.
IFM-2007-SinnigCK #case study #modelling #semantics
Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.
SEFM-2005-Chalin #logic #question #what
Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.
FME-2003-Chalin #effectiveness #ml
Improving JML: For a Safer and More Effective Language (PC), pp. 440–461.
FME-1996-ChalinGR #identification #interface #specification
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language (PC, PG, TR), pp. 385–404.
VDME-1990-ChalinG #specification
Z Specification of an Object Manager (PC, PG), pp. 41–71.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.