Cristiano da Silva Sousa

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Optimization Algorithm

Highly Efficient

Formal Verification

Top Venues

NASA Formal Methods

Publications

Cristiano da Silva Sousa, Artur Mariano, Alberto Proença
A Generic and Highly Efficient Parallel Variant of Boruvka's Algorithm. PDP (2015)
Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
Formal Verification of kLIBC with the WP Frama-C Plug-in. NASA Formal Methods (2014)