Concepedia

Thiago C. de Sousa

TC

Statistics

Publications

4

Citations

75

H-Index

4

Active since

2010

Affiliations

Universidade de São Paulo(Current)

Thiago C. de Sousa is an author at Universidade de São Paulo specializing in systems engineering, computer science, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2010–2023

4

Publications

4

Model-based test case generation from UML sequence diagrams using extended finite state machines

Mauricio Rocha, Adenilso Simão, Thiago C. de Sousa · Software Quality Journal · 2021 · 29 citations

Engineering, Verification, Test Data Generation +16

Automatic analysis of requirements consistency with the B method

Thiago C. de Sousa, Jorge Rady de Almeida, Sidney Viana et al. · ACM SIGSOFT Software Engineering Notes · 2010 · 17 citations

Software Maintenance, Engineering, Requirement Modeling +19

Environmental Biofilms from an Urban Community in Salvador, Brazil, Shelter Previously Uncharacterized Saprophytic Leptospira

Priscyla dos Santos Ribeiro, Natália B. Carvalho, Flávia Figueira Aburjaile et al. · Microbial Ecology · 2023 · 16 citations · Full text

Environmental Biofilms, Microbial Ecology, Urban Community +3

A Formal Semantics for Use Case Diagram Via Event-B

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto et al. · Journal of Software · 2017 · 13 citations · Full text

1–4 of 4