Follow
Marcelo Sousa
Marcelo Sousa
Reviewpad
Verified email at reviewpad.com - Homepage
Title
Cited by
Cited by
Year
Cartesian Hoare Logic for Verifying k-Safety Properties
M Sousa, I Dillig
Conference on Programming Language Design and Implementation, 2016
1542016
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
International Conference on Concurrency Theory, 456--469, 2015
722015
Verified three-way program merge
M Sousa, I Dillig, SK Lahiri
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
55*2018
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
https://arxiv.org/abs/1802.03950, 2018
332018
Consolidation of queries with user-defined functions
M Sousa, I Dillig, D Vytiniotis, T Dillig, C Gkantsidis
Conference on Programming Language Design and Implementation, 2014
172014
Generation of TLM testbenches using mutation testing.
M Sousa, A Sen
Proceedings of the 10th International Conference on Hardware/Software …, 2012
172012
Abstract Interpretation with Unfoldings
M Sousa, C Rodriguez, V D'Silva, D Kroening
Computer Aided Verification, 2017
152017
Independence Abstractions and Models of Concurrency
V D'Silva, D Kroening, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
52017
Quasi-optimal partial order reduction
C Coti, L Petrucci, C Rodríguez, M Sousa
Formal Methods in System Design 57, 3-33, 2021
42021
LLVMVF: A Generic Approach for Verification of Multicore Software
M Sousa, A Sen
Journal of Electronic Testing 29 (5), 635-646, 2013
42013
Complete Abstractions and Subclassical Modal Logics
V D'Silva, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
12017
Quasi-optimal partial order reduction
L Petrucci, C Coti, C Rodríguez, M Sousa
Formal Methods in System Design 57 (1), 3-33, 2021
2021
Abstractions and Independence
M Sousa
University of Oxford, 2018
2018
Chitin binding and N-acetyl-BD-Glucosaminidase activities of the Paracoccin frim Paracoccidioides brasiliensis
FBR Almeida, LL Oliveira, MV Sousa, MC Roque-Barreira, ES Hanna
Glycobiology 19 (11), 1350-1351, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–14