Eduardo Rohde Eras

According to our database, Eduardo Rohde Eras authored at least 4 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.

Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos

Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019

On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.

Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior

Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2015

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 Júnior, Nandamudi Lankalapalli Vijaykumar

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

A Formal Verification Tool for UML Behavioral Diagrams.

Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014