A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections von dos Santos, Luciana Brasil Rebelo, de Santiago Júnior, Valdivino Alexandre, Freitas, Albino Vieira

Volltext

Transformation of UML Behavioral Diagrams to Support Software Model Checking von Brasil Rebelo dos Santos, Luciana, Alexandre de Santiago, Valdivino, Lankalapalli Vijaykumar, Nandamudi

Volltext

Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping von de Sousa Matsumura, Gabriel, dos Santos, Luciana Brasil Rebelo, Conceição, Arlindo Flavio da, Vijaykumar, Nandamudi Lankalapalli

Volltext

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking von Eras, Eduardo Rohde, dos Santos, Luciana Brasil Rebelo, de Santiago Júnior, Valdivino Alexandre, Vijaykumar, Nandamudi Lankalapalli

Volltext

A Systematic Literature Review on prioritizing software test cases using Markov chains von Barbosa, Gerson, de Souza, Érica Ferreira, dos Santos, Luciana Brasil Rebelo, da Silva, Marlon, Balera, Juliana Marino, Vijaykumar, Nandamudi Lankalapalli

Volltext

A Formal Verification Tool for UML Behavioral Diagrams von dos Santos, Luciana Brasil Rebelo, Eras, Eduardo Rohde, de Santiago Júnior, Valdivino Alexandre, Vijaykumar, Nandamudi Lankalapalli

Volltext

Software requirements testing approaches: a systematic literature review von dos Santos, Jemison, Martins, Luiz Eduardo G., de Santiago Júnior, Valdivino A., Povoa, Lucas Venezian, dos Santos, Luciana Brasil R.

Volltext

Transformation of UML Behavioral Diagrams to Support Software Model Checking von Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Vijaykumar, Nandamudi Lankalapalli

Volltext

Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping von Matsumura, Gabriel de Sousa, Santos, Luciana Brasil Rebelo dos, da Conceição, Arlindo Flavio, Vijaykumar, Nandamudi Lankalapalli

Volltext bestellen

Deep Learning-Based Active Fire Detection Using Satellite Imagery von Reis, Cristiano Emanoel Pereira, dos Santos, Luciana Brasil Rebelo, Morelli, Fabiano, Vijaykumar, Nandamudi Lankalapalli

Volltext

Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping von de Sousa Matsumura, Gabriel, Luciana Brasil Rebelo dos Santos, Arlindo Flavio da Conceição, Vijaykumar, Nandamudi Lankalapalli

Volltext