Mikhail Ramalho

According to our database, Mikhail Ramalho authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

ESBMC 1.22 - (Competition Contribution).

Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

SMT-Based Bounded Model Checking of C++ Programs.

Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013