( en | de | ru )

 

Disambiguation of "dos Santos, Luciana Brasil Rebelo"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Verification Tool for UML Behavioral Diagrams.

, , , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 696-711. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim dos Santos

Alberto dos Santos

Daniel dos Santos

Paula dos Santos

Daniel dos Santos

 

Other publications of authors with the same name

A Systematic Literature Review on prioritizing software test cases using Markov chains., , , , , and . Inf. Softw. Technol., (2022)Prioritizing Test Cases with Markov Chains: A Preliminary Investigation., , , , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 219-236. Springer, (2023)Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service., , , , , , , , and . GEOINFO, page 288-297. MCTI/INPE, (2023)Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0., , , , , , , , , and 15 other author(s). WEBIST, page 460-466. SCITEPRESS, (2021)Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.. National Institute for Space Research, São José dos Campos, Brazil, (2015)ndltd.org (oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0).Software inspections: comparing a formal method based with a classical reading methodology., , , , and . Int. J. Comput. Appl. Technol., 59 (4): 296-317 (2019)A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains., , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 179-182. Springer, (2023)A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections., , and . ICCSA (5), volume 10408 of Lecture Notes in Computer Science, page 591-606. Springer, (2017)Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking., , , and . ICCSA (4), volume 9158 of Lecture Notes in Computer Science, page 612-627. Springer, (2015)Transformation of UML Behavioral Diagrams to Support Software Model Checking., , and . FESCA, volume 147 of EPTCS, page 133-142. (2014)