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: Chalin:Patrice
Contributed to:
2013
2012
2011
2011
2010
2009
2009
20082008
20072007
2007200520031996
1990Wrote 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.