Generation of TLM testbenches using mutation testing. - Marcelo Sousa; Alper Sen 001 (CODES+ISSS, 2012)

LLVMVF: A Generic Approach for Verification of Multicore Software. - Marcelo Sousa; Alper Sen 001 (J. Electron. Test., 2013)

Consolidation of queries with user-defined functions. - Marcelo Sousa; Isil Dillig; Dimitrios Vytiniotis; Thomas Dillig; Christos Gkantsidis (PLDI, 2014)

Unfolding-based Partial Order Reduction. - César Rodríguez; Marcelo Sousa; Subodh Sharma 001; Daniel Kroening (CONCUR, 2015)

Cartesian hoare logic for verifying k-safety properties. - Marcelo Sousa; Isil Dillig (PLDI, 2016)

Abstract Interpretation with Unfoldings. - Marcelo Sousa; César Rodríguez; Vijay Victor D'Silva; Daniel Kroening (CAV (2), 2017)

Independence Abstractions and Models of Concurrency. - Vijay Victor D'Silva; Daniel Kroening; Marcelo Sousa (VMCAI, 2017)

Complete Abstractions and Subclassical Modal Logics. - Vijay Victor D'Silva; Marcelo Sousa (VMCAI, 2017)

Quasi-Optimal Partial Order Reduction. - Huyen T. T. Nguyen; César Rodríguez; Marcelo Sousa; Camille Coti; Laure Petrucci (CAV (2), 2018)

Verifying Semantic Conflict-Freedom in Three-Way Program Merges. - Marcelo Sousa; Isil Dillig; Shuvendu K. Lahiri (CoRR, 2018)

Verified three-way program merge. - Marcelo Sousa; Isil Dillig; Shuvendu K. Lahiri (Proc. ACM Program. Lang., 2018)

Abstractions and independence. - Marcelo Sousa (2018)

Quasi-optimal partial order reduction. - Camille Coti; Laure Petrucci; César Rodríguez; Marcelo Sousa (Formal Methods Syst. Des., 2021)