8 papers:
IFM-2013-VekrisLDM #specification #using #verification- Verification of EB3 Specifications Using CADP (DV, FL, CD, RM), pp. 61–76.
DATE-2012-TheelenKW #data flow #model checking- Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.
TACAS-2011-GaravelLMS #analysis #distributed #process- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
FM-2011-BoyerGS #configuration management #protocol #specification #verification- Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP (FB, OG, GS), pp. 103–117.
CAV-2007-GaravelMLS #analysis #distributed #process- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
- TACAS-2003-HermannsJ #analysis #component #dependence #performance #set
- A Set of Performance and Dependability Analysis Components for CADP (HH, CJ), pp. 425–430.
- FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification
- On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
- CAV-1996-FernandezGKMMS #named #protocol #validation #verification
- CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
