Travelled to:2 × Germany
2 × USA
Collaborated with:B.Nicolescu C.Bellon P.Cheynet M.Rebaudengo M.S.Reorda M.Violante A.Liothin S.Sadier G.Saucier F.Grillot M.Issenman
Talks about:experiment (2) automat (2) test (2) microprocessor (1) transform (1) asynchron (1) function (1) approach (1) softwar (1) program (1)
Person: Raoul Velazco
DBLP: Velazco:Raoul
Contributed to:
20032001
19841982Wrote 4 papers:
- DATE-2003-NicolescuV #approach #detection #fault #tool support
- Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
- DATE-2001-CheynetNVRRV #automation #evaluation #program transformation #safety
- System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.
- DAC-1984-BellonV #functional
- Taking into account asynchronous signals in functional test of complex circuits (CB, RV), pp. 490–496.
- DAC-1982-BellonLSSVGI #automation #generative #source code
- Automatic generation of microprocessor test programs (CB, AL, SS, GS, RV, FG, MI), pp. 566–573.