Statistics
0 Questions
138 Answers
7 Files
Cody0 Problems
22 Solutions
RANK
278
of 290 080
REPUTATION
308
CONTRIBUTIONS
0 Questions
138 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
37
RANK
5 110 of 19 636
REPUTATION
246
AVERAGE RATING
4.00
CONTRIBUTIONS
7 Files
DOWNLOADS
8
ALL TIME DOWNLOADS
2426
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
1 Public Channel
AVERAGE RATING
50
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Have 2 submissions connected to GitHub
Awarded to Alexandre De Barros on 27 Jun 2023
Your submissions were downloaded 10 or more times in a month
Awarded to Alexandre De Barros on 01 Nov 2019
Publish your first review
Awarded to Alexandre De Barros on 09 Oct 2019
Publish your first submission
Awarded to Alexandre De Barros on 09 Oct 2019
Contribute at least one answer each month for 6 consecutive months
Awarded to Alexandre De Barros on 20 Jul 2017
Answer 3 questions that were unanswered for more than 30 days
Awarded to Alexandre De Barros on 20 Jul 2017
20 of your answers have been accepted
Awarded to Alexandre De Barros on 20 Jul 2017
Provide your first answer ever to someone else's question
Awarded to Alexandre De Barros on 20 Jul 2017
Solve a problem for the first time
Awarded to Alexandre De Barros on 27 Mar 2014
Feeds
Submitted
Polyspace-Access-Utility
Polyspace Access Utility is a bash script for dealing with basic operations when using Polyspace Access: backup, clean-up, usa...
2 månader ago | 2 downloads |
Submitted
Polyspace for AUTOSAR demo
A demo showing how to use the feature "Polyspace for AUTOSAR" introduced in R2018a
nästan 6 år ago | 2 downloads |
Submitted
Launch Polyspace from MATLAB
A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB
mer än 7 år ago | 4 downloads |
Submitted
ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
mer än 7 år ago | 1 download |
Submitted
EmailNotifier
A tool to receive an email notification at the end of a PolySpace verification
mer än 7 år ago | 1 download |
Submitted
PolySpace For Editors
A tool to integrate PolySpace into your favorite editor
mer än 7 år ago | 1 download |
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)