Rank: 2042 based on 71 downloads (last 30 days) and 6 files submitted
photo

Alex Debarros

E-mail
Company/University
The MathWorks
Lat/Long
45.21979, 5.807852

Personal Profile:

 

Watch this Author's files

 

Files Posted by Alex Debarros View all
Updated   File Tags Downloads
(last 30 days)
Comments Rating
03 Nov 2014 Screenshot Launch Polyspace from MATLAB A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB Author: Alex Debarros polyspace scripting 34 0
  • 5.0
5.0 | 1 rating
17 Jan 2014 Screenshot CWE-Bug Finder traceability matrix A document presenting a traceability matrix between CWE and the Polyspace Bug Finder defects Author: Alex Debarros cwe 7 0
22 Nov 2010 Screenshot PolySpace For Editors A tool to integrate PolySpace into your favorite editor Author: Alex Debarros polyspace, integration, ultraedit, notepad 9 0
17 Sep 2010 EmailNotifier A tool to receive an email notification at the end of a PolySpace verification Author: Alex Debarros polyspace email 8 0
17 Sep 2010 Screenshot ImportAOTResults A tool made to import AOT campaign results into a Polyspace verification Author: Alex Debarros polyspace 4 0
Comments and Ratings by Alex Debarros View all
Updated File Comments Rating
25 Mar 2014 Matlab 2048 Matlab implementation of the addictive game 2048 Author: Joren Heit

Cool ! :) I've discovered the game this week, and here it is, a MATLAB version!

09 Jan 2014 Recursive directory listing - Enhanced RDIR Files and directories listing, including recursive and other special features Author: Thomas Vanaret

Comments and Ratings on Alex Debarros' Files
Updated File Comment by Comments Rating
22 Jul 2014 Launch Polyspace from MATLAB A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB Author: Alex Debarros Christian Bard

Contact us