Travelled to:1 × Czech Republic
1 × Greece
1 × Italy
1 × USA
1 × United Kingdom
1 × Uruguay
3 × France
Collaborated with:M.Carlier A.Gotlieb R.Rioboo M.Jacquel K.Berkani D.Delahaye F.Rouaix P.Weis P.Ayrault V.Benayoun F.Pessaux V.Donzeau-Gouge P.Facon F.Jean
Talks about:environ (3) verifi (3) test (3) use (3) constraint (2) function (2) theorem (2) proof (2) focal (2) autom (2)
Person: Catherine Dubois
DBLP: Dubois:Catherine
Facilitated 1 volumes:
EdContributed to:
2014
2012
20122012201220112008
1995
1987Wrote 9 papers:
- SEFM-2014-DuboisR #functional #using
- Verified Functional Iterators Using the FoCaLiZe Environment (CD, RR), pp. 317–331.
- FM-2012-CarlierDG #constraints #finite #theorem proving
- A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
- IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification
- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
- SEFM-2012-AyraultBDP #analysis #dependence #ml
- ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.
- TAP-2012-CarlierDG #constraints #design #testing
- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
- SEFM-2011-JacquelBDD #automation #proving #theorem proving #using #verification
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (MJ, KB, DD, CD), pp. 253–268.
- TAP-2008-CarlierD #functional #testing
- Functional Testing in the Focal Environment (MC, CD), pp. 84–98.
- POPL-1995-DuboisRW #morphism #polymorphism
- Generic Polymorphism (CD, FR, PW), pp. 118–129.
- ESEC-1987-Donzeau-GougeDFJ #development #programming
- Development of a Programming Environment for Setl (VDG, CD, PF, FJ), pp. 21–32.