Eduardo Rohde Eras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2014–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICCSA | On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. | Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jnior |
| 2015 | ICCSA | Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. | Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Nandamudi Lankalapalli Vijaykumar |
| 2014 | ICCSA | A Formal Verification Tool for UML Behavioral Diagrams. | Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar |