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 × Spain
1 × USA
Collaborated with:
F.Raimondi G.Brat A.E.Lindsey
Talks about:
verif (3) system (2) model (2) test (2) base (2) livingston (1) distribut (1) techniqu (1) knowledg (1) without (1)

♂ Person: Charles Pecheur

DBLP DBLP: Pecheur:Charles

Facilitated 7 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard
ASE 2012PrCo
ASE 2011PrCo
ASE 2010Ed
ASE 2010GCh
ASE 2010PrCo

Contributed to:

ISSTA 20092009
MBT 20072007
TACAS 20042004
ASE 19991999
ASE 19971997

Wrote 5 papers:

ISSTA-2009-PecheurRB #analysis #formal method #testing
A formal analysis of requirements-based testing (CP, FR, GB), pp. 47–56.
MBT-2007-RaimondiPB #model checking #testing
Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
TACAS-2004-LindseyP #verification
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder (AEL, CP), pp. 357–371.
ASE-1999-Pecheur #clustering #file system #modelling #verification
Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.
ASE-1997-Pecheur #distributed #specification #using #verification
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS (CP), pp. 63–70.

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.