14 citations · 21 across the 4 of their papers we have counts for
3 papers · 1 filter
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flavio da Conceição +1
Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs…
Establishing a Search String to Detect Secondary Studies in Software Engineering
Bianca Minetto Napoleao, Katia Romero Felizardo, Erica Ferreira de Souza +4
Context: A tertiary study can be performed to identify related reviews on a topic of interest. However, the elaboration of an appropriate and effective search string to detect seco…
Transformation of UML Behavioral Diagrams to Support Software Model Checking
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and…