Marcelo Sousa
Marcelo Sousa
explore.dev
Verified email at explore.dev - 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
1012016
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
International Conference on Concurrency Theory, 456--469, 2015
562015
Verified three-way program merge
M Sousa, I Dillig, SK Lahiri
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
24*2018
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
https://arxiv.org/abs/1802.03950, 2018
142018
Generation of TLM testbenches using mutation testing.
M Sousa, A Sen
Proceedings of the 10th International Conference on Hardware/Software …, 2012
132012
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
112014
Abstract Interpretation with Unfoldings
M Sousa, C Rodriguez, V D'Silva, D Kroening
Computer Aided Verification, 2017
92017
Independence Abstractions and Models of Concurrency
V D'Silva, D Kroening, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
52017
LLVMVF: A Generic Approach for Verification of Multicore Software
M Sousa, A Sen
Journal of Electronic Testing 29 (5), 635-646, 2013
32013
Complete Abstractions and Subclassical Modal Logics
V D'Silva, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
12017
Quasi-optimal partial order reduction
C Coti, L Petrucci, C Rodríguez, M Sousa
Formal Methods in System Design, 1-31, 2020
2020
Abstractions and Independence
M Sousa
University of Oxford, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–12