Old Web
English
Sign In
Acemap
>
authorDetail
>
Georgia Penido Safe
Georgia Penido Safe
Universidade Federal de Minas Gerais
Theoretical computer science
Real-time computing
Heuristics
Runtime verification
Computer science
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Selection of formal verification heuristics for parallel execution
2012
International Journal on Software Tools for Technology Transfer
Georgia Penido Safe
Claudionor José Nunes Coelho
Luiz Filipe M. Vieira
Celina Val
José Augusto Miranda Nacif
Antônio Otávio Fernandes
Show All
Source
Cite
Save
Citations (0)
Um modelo estatístico multivariado para prever o comportamento de heurísticas em verificação formal
2011
Georgia Penido Safe
Show All
Source
Cite
Save
Citations (0)
1