Eduardo Rohde Eras

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Wide Acceptance

Reactive Systems

Top Venues

Publications

Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. SAST (2019)
Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior
On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. ICCSA (2) (2019)
Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. ICCSA (4) (2015)
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar
A Formal Verification Tool for UML Behavioral Diagrams. ICCSA (1) (2014)