Eduardo Rohde Eras
According to our database1,
Eduardo Rohde Eras
authored at least 4 papers
between 2014 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.
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.
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.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015
2014
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014