Old Web
English
Sign In
Acemap
>
authorDetail
>
Madiel Conserva Filho
Madiel Conserva Filho
Federal University of Pernambuco
Programming language
Computer science
Automated theorem proving
Toolbox
Finite-state machine
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
Transforming RoboSim Models into UPPAAL
2021
TASE | Theoretical Aspects of Software Engineering
Mingzhuo Zhang
Dehui Du
Augusto Sampaio
Ana Cavalcanti
Madiel Conserva Filho
Menghan Zhang
Show All
Source
Cite
Save
Citations (0)
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
2021
Ana Cavalcanti
Will Barnett
James Baxter
Gustavo Carvalho
Madiel Conserva Filho
Alvaro Miyazawa
Pedro Ribeiro
Augusto Sampaio
Show All
Source
Cite
Save
Citations (0)
1