Scholar

Adenilso Simao

Google Scholar ID: gdT5wnMAAAAJ

University of Sao Paulo

software testingformal methodssoftware engineering

Google Scholar↗

Citations & Impact

All-time

Citations

2,133

H-index

26

i10-index

65

Publications

20

Co-authors

7

list available

Contact

No contact links provided.

Publications

1 items

Active Inference of Extended Finite State Machine Models with Registers and Guards

2026

Cited

0

Resume (English only)

Co-authors

7 total