BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dubois:Catherine

Facilitated 1 volumes:

TAP 2009Ed

Contributed to:

SEFM 20142014
FM 20122012
IJCAR 20122012
SEFM 20122012
TAP 20122012
SEFM 20112011
TAP 20082008
POPL 19951995
ESEC 19871987

Wrote 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.

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.