Felipe Rodrigues Monteiro Sousa

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Software Environment

Formal Verification

Bounded Model Checking

Main Contribution

Top Venues

Publications

Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). CoRR (2015)
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt framework. GCCE (2015)
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
SMT-Based Bounded Model Checking of C++ Programs. ECBS (2013)
Felipe Rodrigues Monteiro Sousa, Thais Helena Chaves de Castro
WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning. COMPSAC (2012)