Author Info
Name
Affiliation
Papers
VALDIVINO ALEXANDRE DE SANTIAGO JUNIOR
INPE, Lab Associado Computacao & Matemat Apl LAC, Sao Jose Dos Campos, SP, Brazil
5
Collaborators
Citations 
PageRank 
6
8
1.79
Referers 
Referees 
References 
11
139
74
Search Limit
100139
Title
Citations
PageRank
Year
Towards A Wide Acceptance Of Formal Methods To The Design Of Safety Critical Software: An Approach Based On Uml And Model Checking10.372015
Transformation Of Uml Behavioral Diagrams To Support Software Model Checking10.372014
Tool support for generating model-based test cases via web20.352014
Test Case Generation for Critical Systems through a Collaborative Web-Based Tool20.362008
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts20.362008